Searched defs:round (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DRealStringCvt.sml72 and round = toLargeInt IEEEReal.TO_NEAREST value
108 val round : real -> int =Real.round; value
/seL4-l4v-master/HOL4/polyml/basis/
H A DRealSignature.sml100 val round : real -> Int.int value
H A DReal.sml211 and round = value
600 val round : real -> int =Real.round; value
H A DReal32.sml195 and round = value
/seL4-l4v-master/seL4/manual/parts/
H A Dbootup.tex
/seL4-l4v-master/HOL4/src/float/
H A DieeeScript.sml230 val round = TotalDefn.Define `(round(X:num#num) (To_nearest) (x:real) = value
[all...]
/seL4-l4v-master/HOL4/examples/dev/sw/
H A DregAllocation.sml219 fun round (inS, outS)= function
335 fun round n = function
360 let fun round n = function
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/
H A DregAllocation.sml219 fun round (inS, outS)= function
335 fun round n = function
360 let fun round n = function
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/
H A DregAllocation.sml219 fun round (inS, outS)= function
335 fun round n = function
360 let fun round n = function
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A Dcore_decompilerLib.sml567 fun round (input, get_assert, triple_refl) = function
659 val round = round (inp, get_assert, triple_refl) value
/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sig711 val round: BitsN.nbit -> (IEEEReal.rounding_mode option) value
H A Driscv.sml2319 fun round rnd = function
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sml12824 val round = value
12879 val round = value
[all...]

Completed in 279 milliseconds