| /seL4-l4v-master/HOL4/examples/ARM/v7/ |
| H A D | arm_encoderLib.sml | 89 fun check (f,m) b = (b () orelse raise ERR f (term_to_string m); I); function
[all...] |
| /seL4-l4v-master/HOL4/examples/HolCheck/ |
| H A D | lzConv.sml | 1593 val check = assert boolSyntax.is_exists1 value
|
| H A D | lzPairRules.sml | 342 then let fun check V tm = function
|
| /seL4-l4v-master/HOL4/examples/acl2/lisp/ |
| H A D | check-file.lisp | [all...] |
| /seL4-l4v-master/HOL4/examples/acl2/ml/ |
| H A D | encodeLib.sml | 45 fun check value t = function
1476 val check = check_function (get_encode_function target) t value
1487 val check = check_function get_map_function t value
1497 val check = check_function get_all_function t value
1508 val check = check_function (get_decode_function target) t value
1551 val check = check_function (get_detect_function target) t value
[all...] |
| H A D | functionEncodeLib.sml | 2807 fun check x = function
|
| H A D | polytypicLib.sml | 480 let fun check h = function
|
| /seL4-l4v-master/HOL4/examples/elliptic/ |
| H A D | Useful.sml | 86 fun check () = function
609 fun check s = assert (String.isPrefix p s) (Error "dest_prefix") function
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/m0/model/ |
| H A D | m0AssemblerLib.sml | 126 fun check (add, label, line) x ast = function
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/m0/step/ |
| H A D | m0_stepLib.sml | 1053 fun check (l, s) thm = function
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/x64/model/ |
| H A D | x64AssemblerLib.sml | 190 fun check false _ _ = NONE function
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | Int32.sml | 34 fun check i = function
[all...] |
| /seL4-l4v-master/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-master/HOL4/src/1/ |
| H A D | Conv.sml | 2228 val check = assert boolSyntax.is_exists1 value
|
| H A D | Pmatch.sml | 516 fun check d = function
|
| H A D | Prim_rec.sml | 1346 fun check [] = true function
|
| /seL4-l4v-master/HOL4/src/HolQbf/ |
| H A D | QbfCertificate.sml | 178 fun check t dict (VALID (exts,lits)) = let function
|
| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | Main.C | 205 bool check = false; local
|
| H A D | Solver.h | 209 inline void check(bool expr) { assert(expr); } function
|
| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/ |
| H A D | zc2hs.cpp | 457 bool check = false; // verify the proof if true local
|
| /seL4-l4v-master/HOL4/src/coretypes/ |
| H A D | PairRules.sml | 343 fun check V tm = function
|
| /seL4-l4v-master/HOL4/src/datatype/theory_tests/ |
| H A D | ndatatype_ind0Script.sml | 32 fun check (tac, t) = (tac([], t) before ignore (save_thm( function
|
| /seL4-l4v-master/HOL4/src/integer/ |
| H A D | OmegaMLShadow.sml | 422 fun check ((f,d),a) = let function
|
| H A D | intSimps.sml | 251 fun check tm = function
|
| /seL4-l4v-master/HOL4/src/list/src/ |
| H A D | ListConv1.sml | 150 val check = assert(equal "LENGTH" o #Name o dest_const) value
|