Searched defs:loop (Results 1 - 25 of 81) sorted by relevance

1234

/seL4-l4v-master/HOL4/tools/
H A Dunquote-init.sml14 fun loop() = function
H A Dconfigure-mosml.sml54 fun loop last = let function
/seL4-l4v-master/l4v/tools/autocorres/tests/proof-tests/
H A Dwhile_loop_vars_preserved.c7 unsigned loop(unsigned dog, unsigned cat, unsigned mouse, unsigned horse) function
/seL4-l4v-master/l4v/tools/autocorres/tests/examples/
H A Dcondition_guard.c51 void loop(int *p) function
/seL4-l4v-master/HOL4/tools/quote-filter/
H A Dquote-filter.sml49 fun loop() = function
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DResolution.sig49 val loop : resolution -> decision value
H A DResolution.sml113 fun loop res = function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DResolution.sig49 val loop : resolution -> decision value
H A DResolution.sml113 fun loop res = function
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dverbose.sml150 fun loop i = function
H A Dcoreutils.sml92 let fun loop i = if i = nonterms then nil function
H A Dhdr.sml123 fun loop (nil,r) = r function
H A Dmkprstruct.sml58 fun loop n = if n=256 then () function
H A Dshrink.sml93 fun loop (a :: nil) = a function
135 let fun loop (index,nil) = nil function
140 local fun loop (( function
154 fun loop (elem :: r, dest :: s) = function
[all...]
/seL4-l4v-master/HOL4/src/HolSat/
H A DminisatParse.sml83 fun loop acc len = function
111 fun loop idx' acc = function
H A DdimacsTools.sml347 let fun loop src (acc,svm) = function
365 let fun loop src (acc,svm,sva) = function
/seL4-l4v-master/HOL4/src/coretypes/
H A DpairLib.sml56 fun loop tm vs = function
/seL4-l4v-master/HOL4/src/floating-point/native/
H A Dnative_ieeeLib.sml38 fun loop a i x = function
/seL4-l4v-master/HOL4/examples/l3-machine-code/lib/
H A DL3.sml101 fun loop i = function
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/decompiler/
H A Dm0_core_decompLib.sml111 and loop looped opc e s = value
/seL4-l4v-master/HOL4/src/1/
H A DwlogLib.sml30 fun loop l conj_thm thm = function
/seL4-l4v-master/HOL4/src/portableML/
H A DRedblackmap.sml28 and loop LEAF = raise NotFound function
108 let fun loop stack acc = function
119 let fun loop stac function
192 let fun loop LEAF = LEAF function
204 let fun loop LEAF = LEAF function
[all...]
/seL4-l4v-master/HOL4/src/simp/src/
H A DTraverse.sml281 fun loop tm = let function
/seL4-l4v-master/HOL4/developers/
H A Dprehol.sml226 fun loop() = function
/seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/poly/
H A Dholfoot_command_line.sml122 fun loop () = let function

Completed in 132 milliseconds

1234