Searched defs:sum (Results 1 - 12 of 12) sorted by last modified time

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/proof-tests/
H A Dword_abs_cases.c86 int sum(int *a, unsigned n) { function
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dreturn_fl2.c13 volatile float sum; local
24 volatile float sum; local
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Ddlmalloc.c2821 size_t sum = 0; local
2890 size_t sum = mfree; local
/seL4-l4v-10.1.1/HOL4/src/real/
H A DrealScript.sml2107 val sum = Lib.with_flag (boolLib.def_suffix, "") Define` value
[all...]
/seL4-l4v-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/HOL4/examples/formal-languages/regular/
H A DRegexp_Type.sml1300 fun sum [] = 0 function
/seL4-l4v-10.1.1/HOL4/examples/
H A Ddpll.sml175 fun sum x y z = halfsum (halfsum x y) z; function
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml3724 val sum = WF_sum n value

Completed in 130 milliseconds