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

/seL4-l4v-master/l4v/tools/autocorres/tests/proof-tests/
H A Dword_abs_cases.c111 int sum(int *a, unsigned n) function
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A DbackgroundLib.sig15 val sum : int list -> int value
H A DbackgroundLib.sml41 val sum = foldl (op +) 0 value
/seL4-l4v-master/HOL4/examples/
H A Ddpll.sml175 fun sum x y z = halfsum (halfsum x y) z; function
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86/
H A Dx86_encodeLib.sml46 fun sum [] = Arbint.zero | sum (i::is) = Arbint.+(i,sum is) function
/seL4-l4v-master/seL4/src/kernel/
H A Dsporadic.c101 ticks_t sum = refill_head(sc)->rAmount; local
/seL4-l4v-master/seL4/src/machine/
H A Dcapdl.c112 ticks_t sum = REFILL_HEAD(sc).rAmount; local
/seL4-l4v-master/HOL4/src/metis/
H A DmlibSupport.sml147 let val sum = foldl (fn (fm,x) => sat_mod_fm m fm n + x) 0.0 fms value
157 val sum = foldl (fn (wmod,x) => sat_wmod_fm wmod fm n + x) 0.0 wmods value
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86_64/
H A Dx64_encodeLib.sml46 fun sum [] = Arbint.zero | sum (i::is) = Arbint.+(i,sum is) function
/seL4-l4v-master/HOL4/src/AI/proof_search/
H A DpsMCTS.sml230 val (sum,vis) = value
[all...]
/seL4-l4v-master/HOL4/src/AI/
H A DaiLib.sml1235 let val sum = sum_real l in value
1242 let val sum = Real.fromInt (length l) in value
1247 let val sum = sum_real (map snd dis) in value
/seL4-l4v-master/HOL4/src/real/
H A DrealScript.sml2198 val sum = Lib.with_flag (boolLib.def_suffix, "") Define` value
[all...]
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml3724 val sum = WF_sum n value

Completed in 125 milliseconds