/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | postfixOps.c | 23 void doit(void) function
|
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | install-sh | 51 doit=${DOITPROG-} 52 doit_exec=${doit:-exec} 430 { test -z "$chowncmd" || $doit $chowncmd "$dst"; } && 431 { test -z "$chgrpcmd" || $doit $chgrpcmd "$dst"; } && 433 test -z "$chmodcmd" || $doit $chmodcmd $mode "$dst"; } || exit 1 450 # errors from the above "$doit $cpprog $src $dsttmp" command. 452 { test -z "$chowncmd" || $doit $chowncmd "$dsttmp"; } && 453 { test -z "$chgrpcmd" || $doit $chgrpcmd "$dsttmp"; } && 454 { test -z "$stripcmd" || $doit $stripcmd "$dsttmp"; } && 455 { test -z "$chmodcmd" || $doit [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | install-sh | 51 doit=${DOITPROG-} 52 doit_exec=${doit:-exec} 430 { test -z "$chowncmd" || $doit $chowncmd "$dst"; } && 431 { test -z "$chgrpcmd" || $doit $chgrpcmd "$dst"; } && 433 test -z "$chmodcmd" || $doit $chmodcmd $mode "$dst"; } || exit 1 450 # errors from the above "$doit $cpprog $src $dsttmp" command. 452 { test -z "$chowncmd" || $doit $chowncmd "$dsttmp"; } && 453 { test -z "$chgrpcmd" || $doit $chgrpcmd "$dsttmp"; } && 454 { test -z "$stripcmd" || $doit $stripcmd "$dsttmp"; } && 455 { test -z "$chmodcmd" || $doit [all...] |
/seL4-l4v-10.1.1/HOL4/src/integer/ |
H A D | intLib.sml | 19 fun doit (s, t) = function 24 List.app doit operators 28 fun doit (s, t) = function 33 List.app doit operators
|
H A D | CooperSyntax.sml | 42 fun doit posp acc tm = let function 45 doit posp (doit posp acc r) l 49 doit (not posp) acc t0 52 doit true [] 57 fun doit posp acc tm = let function 60 doit posp (doit posp acc r) l 64 doit (not posp) acc t0 67 doit tru [all...] |
H A D | IntDP_Munge.sml | 176 val doit = preprocess THENC DP value 178 if null fvs then doit tm 184 EQT_INTRO (SPECL fvs (EQT_ELIM (doit newtm)))
|
/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/ |
H A D | mlton-cparser.sml | 11 val _ = Main.doit (CommandLine.arguments())
|
H A D | mlton-tokenizer.sml | 11 val _ = Main.doit (CommandLine.arguments())
|
H A D | tokenizer.sml | 76 structure Main = struct fun doit args = handle_args [] args end function
|
/seL4-l4v-10.1.1/HOL4/src/simp/src/ |
H A D | selftest.sml | 96 fun doit t = (QCONV (SIMP_CONV bool_ss [Pa_th, Once rwt_th]) t, function 105 doit 114 fun doit t = QCONV (SIMP_CONV pure_ss [Once rwt_th]) t function 120 doit 129 fun doit t = QCONV (SIMP_CONV bool_ss [Once rwt_th]) t function 135 doit 144 fun doit t = QCONV (SIMP_CONV bool_ss []) t function 147 infloop_protect "Congruence for conditional expressions" check doit t 154 val doit = QCONV (SIMP_CONV (bool_ss ++ combinSimps.COMBIN_ss) value 158 infloop_protect "SimpL on operator returning non-boolean" check doit 166 val doit = QCONV (SIMP_CONV (bool_ss ++ SatisfySimps.SATISFY_ss) []) value 175 val doit = ASM_SIMP_TAC bool_ss [] value 199 val doit = QCONV (SIMP_CONV bool_ss [ASSUME TF, ASSUME FT]) value 209 val doit = QCONV (SIMP_CONV (bool_ss ++ CONJ_ss) []) value [all...] |
H A D | Traverse.sml | 82 fun doit (context, thms) = let function 107 doit
|
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | mp_then.sml | 84 fun doit (n:int) = function 86 else m (conj (el n)) (fn _ => doit (n + 1)) t 88 doit 1 98 fun doit ps n = function 102 NONE => doit pats (n + 1) 110 (fn _ => doit rest n) 113 doit pats 1
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | parse_glob.sml | 84 fun doit c = function 99 oncurrent doit 139 fun doit c = function 146 oncurrent doit 149 fun doit c = function 154 oncurrent doit sb 160 fun doit c = function 166 oncurrent doit 170 fun doit c = function 179 oncurrent doit [all...] |
H A D | QFRead.sml | 57 fun doit () = function 60 else (pull(); doit()) 63 (doit, eof)
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/ |
H A D | doit | 29 cd round-trip ; ./doit clean ; cd .. ; \ 71 ./doit 73 # Note that round-trip/doit does its own success/failure printing
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | pyobjc-tc.c | 25 int doit(int o, char* s, Point p, Rect r, int last) function 108 ffi_call(&cif, FFI_FN(doit), &result, values);
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/ |
H A D | x64_compilerLib.sml | 20 fun doit tm = function 23 ABS_CONV doit) tm 25 (RATOR_CONV doit THENC RAND_CONV doit) tm 27 in doit end
|
/seL4-l4v-10.1.1/HOL4/tools/ |
H A D | buildcline.sml | 75 fun doit ires (wn,t) = function 89 NONE => {update = doit (OK dflt)} 90 | SOME i_s => {update = doit (readInt i_s)}), "int")
|
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/ |
H A D | Sub_and_cond.sml | 164 fun doit t = function 176 find_elim (p o RAND_CONV) x ORELSEC doit t 226 fun doit t = function 236 find_celim (p o RAND_CONV) x ORELSEC doit t
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/ |
H A D | compilerLib.sml | 20 fun doit tm = function 23 ABS_CONV doit) tm 25 (RATOR_CONV doit THENC RAND_CONV doit) tm 27 in doit end
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | parse_type.sml | 157 fun doit (t,locn) = function 163 TypeIdent s => doit (t,locn) 164 | TypeSymbol s => doit (t,locn)
|
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibArbnum.sml | 403 fun doit f n = if Int.<=(n, 0) then () else (doit_until_success f ; 404 doit f (Int.-(n,1))) 406 doit do_test n
|
/seL4-l4v-10.1.1/HOL4/src/num/ |
H A D | numLib.sml | 395 fun doit (s, t) = Parse.temp_remove_ovl_mapping s (losety (dest_thy_const t)) function 397 app (ignore o doit) operators
|
/seL4-l4v-10.1.1/HOL4/src/portableML/ |
H A D | OldPP.sml | 181 fun doit s = let function 185 (output_stack := []; ofn ("\n"); doit(String.extract(s,1,NONE))) 193 doit
|
/seL4-l4v-10.1.1/HOL4/src/portableML/mosml/ |
H A D | Arbnumcore.sml | 518 fun doit f n = if Int.<=(n, 0) then () else (doit_until_success f ; 519 doit f (Int.-(n,1))) 521 doit do_test n
|