Searched defs:signed (Results 1 - 5 of 5) sorted by last modified time

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DLargeWord.sml190 val signed = toLargeIntX x value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8.sml5213 val signed = (BitsN.fromBitstring([S'0],1)) = (BitsN.B(0x1,1)) value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sml10058 val signed = value
19403 val signed = value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/elliptic/c_output/
H A Dc_outputLib.sml243 val (signed, operator) = value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_parserLib.sml2698 (let val (signed,half) = case opt value
[all...]

Completed in 177 milliseconds