| /seL4-l4v-10.1.1/HOL4/src/simp/src/ |
| H A D | Traverse.sml | 223 fun check r = case !r of NONE => () function
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | parse_glob.sml | 109 fun check s = function
|
| H A D | internal_functions.sml | 210 fun check s = function
248 fun check p = function
|
| /seL4-l4v-10.1.1/HOL4/tools/ |
| H A D | configure-mosml.sml | 107 fun check p = function
|
| /seL4-l4v-10.1.1/HOL4/tools-poly/ |
| H A D | smart-configure.sml | 137 fun check p = function
|
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | graph-refine.py | 17 import check namespace
|
| H A D | debug.py | 18 import check namespace
|
| H A D | trace_refute.py | 17 import check namespace
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/model/ |
| H A D | x64AssemblerLib.sml | 190 fun check false _ _ = NONE function
|
| /seL4-l4v-10.1.1/HOL4/examples/misc/ |
| H A D | wardScript.sml | 215 fun check (p1, (_, (res1, _)), s1) (p2, (_, (res2, _)), s2) = function
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | polystring.cpp | 154 int check = WideCharToMultiByte(codePage, 0, buffer, (int)buffLen, result->chars, outputLen, NULL, NULL); local
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Waiting.sml | 117 fun check ((parm,model),z) = function
|
| H A D | ElementSet.sml | 312 and check (elt,acc) = function
|
| H A D | metis.sml | 132 fun check () = function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Waiting.sml | 117 fun check ((parm,model),z) = function
|
| H A D | ElementSet.sml | 312 and check (elt,acc) = function
|
| H A D | metis.sml | 132 fun check () = function
|
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | Solver.h | 209 inline void check(bool expr) { assert(expr); } function
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibSolver.sml | 261 fun check () = check_meter (!slice) function
|
| H A D | mlibTermorder.sml | 419 fun check eqns = function
|
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/zc2hs/ |
| H A D | zc2hs.cpp | 457 bool check = false; // verify the proof if true local
|
| /seL4-l4v-10.1.1/HOL4/src/integer/ |
| H A D | IntDP_Munge.sml | 496 fun check(t, free_p) = function
|
| /seL4-l4v-10.1.1/HOL4/src/n-bit/ |
| H A D | bitstringLib.sml | 52 fun check P err thm = function
|
| /seL4-l4v-10.1.1/HOL4/src/num/arith/src/ |
| H A D | numSimps.sml | 447 fun check tm = let function
|
| /seL4-l4v-10.1.1/HOL4/src/num/ |
| H A D | numLib.sml | 46 val check = assert (fn tm => type_of tm = N) value
|