Searched defs:diff (Results 1 - 21 of 21) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/
H A DSet.sig7 val diff : ''a list * ''a list -> ''a list value
H A DSet.sml15 fun diff (s1, s2) = List.filter (fn x => not (mem (x, s2))) s1 function
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dhardware.c65 uint64_t diff = new_ticks - old_ticks; local
/seL4-l4v-10.1.1/seL4/src/
H A Dutil.c86 int diff; local
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dapply-total-order.lisp
H A Drecords.lisp
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A DbackgroundLib.sig8 val diff : ''a list -> ''a list -> ''a list value
H A DbackgroundLib.sml30 fun diff xs ys = filter (fn x => not (mem x ys)) xs function
/seL4-l4v-10.1.1/HOL4/src/real/
H A DDiff.sml72 fun diff tm = function
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DtranslateLib.sml30 let val diff = length (y::ys) - length (x::xs) value
H A DtranslateScript.sml265 val diff = Time.toMilliseconds (Time.-(end_t,start)) value
274 val diff = Time.toMilliseconds (Time.-(end_t,start)) value
H A DpolytypicLib.sml689 val diff = op_set_diff (fn a => fn b => concl a = concl b) next thms value
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DYices.sml479 fun diff dict1 dict2 = function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DfolTools.sml142 val diff = n - length ds value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A Dreg_allocLib.sml42 fun diff xs ys = filter (fn y => not (mem y ys)) xs function
/seL4-l4v-10.1.1/HOL4/src/floating-point/
H A Dbinary_ieeeLib.sml71 val diff = Arbrat.abs o Arbrat.- value
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DInduction.sml328 val diff = op_set_diff aconv value
H A DDefn.sml139 val diff = Lib.op_set_diff Term.aconv V2 V1 value
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/extract/
H A Dlisp_extractLib.sml370 fun diff xs ys = filter (fn x => not (mem x ys)) xs function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml76 fun diff xs ys = filter (fn x => not (mem x ys)) xs function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8.sml1316 val diff = BitsN.toBitstring(BitsN.-(S,R)) value

Completed in 258 milliseconds