Searched refs:doit (Results 1 - 25 of 32) sorted by relevance

12

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A DpostfixOps.c23 void doit(void) function
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dinstall-sh51 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 Dinstall-sh51 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 DintLib.sml19 fun doit (s, t) = function
24 List.app doit operators
28 fun doit (s, t) = function
33 List.app doit operators
H A DCooperSyntax.sml42 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 DIntDP_Munge.sml176 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 Dmlton-cparser.sml11 val _ = Main.doit (CommandLine.arguments())
H A Dmlton-tokenizer.sml11 val _ = Main.doit (CommandLine.arguments())
H A Dtokenizer.sml76 structure Main = struct fun doit args = handle_args [] args end function
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A Dselftest.sml96 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 DTraverse.sml82 fun doit (context, thms) = let function
107 doit
/seL4-l4v-10.1.1/HOL4/src/1/
H A Dmp_then.sml84 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 Dparse_glob.sml84 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 DQFRead.sml57 fun doit () = function
60 else (pull(); doit())
63 (doit, eof)
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/
H A Ddoit29 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 Dpyobjc-tc.c25 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 Dx64_compilerLib.sml20 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 Dbuildcline.sml75 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 DSub_and_cond.sml164 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 DcompilerLib.sml20 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 Dparse_type.sml157 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 DmlibArbnum.sml403 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 DnumLib.sml395 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 DOldPP.sml181 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 DArbnumcore.sml518 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

Completed in 216 milliseconds

12