| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | Main.C | 203 char* result = NULL; local
|
| /seL4-l4v-10.1.1/HOL4/src/HolSmt/ |
| H A D | SmtLib_Parser.sml | 559 val result = parse_benchmark get_token value
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibParser.sml | 44 val (result, rest) = parser input value
51 val (result, rest) = parser input value
90 val (result,input) = parser input value
|
| /seL4-l4v-10.1.1/HOL4/src/num/reduce/src/ |
| H A D | Arithconv.sml | 43 let val result = c t value
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | ParseDatatype.sml | 231 val result = value
357 val result = termsepby1 ";" base_tokens.BT_EOI (parse_g G phrase_p) qb value
|
| H A D | TermParse.sml | 40 val result = pt (new_buffer q, initial_pstack) value
|
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | DB.sml | 239 val result = Map.find(thymap, toLower name) value
|
| H A D | SharingTables.sml | 100 val (result, idtable', table') = value
|
| /seL4-l4v-10.1.1/HOL4/src/q/ |
| H A D | selftest.sml | 17 val result = value
343 let val result = value
356 val result = testquiet value
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | ReadHMF.sml | 98 val (result, rest) = position (str dchar) (ss s') value
|
| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/mlyacclib/ |
| H A D | MLY_base-sig.sml | 214 type result type
269 type result type
311 type result type
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/unicode-grep/ |
| H A D | ugrep.sml | 290 val result = do_dirs opts true args value
|
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | graph-refine.py | 356 result = main (args) variable
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/ |
| H A D | ppc_Lib.sml | 213 val result = prove(goal, value
218 val result = REWRITE_RULE [GSYM AND_IMP_INTRO] result value
|
| H A D | prog_ppcLib.sml | 174 val result = prove(tm, value
199 val result = value
213 val result = value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/ |
| H A D | x86_Lib.sml | 281 val result = prove(goal, value
289 val result = REWRITE_RULE [GSYM AND_IMP_INTRO] result value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
| H A D | x64_Lib.sml | 270 val result = prove(goal, value
278 val result = REWRITE_RULE [GSYM AND_IMP_INTRO] result value
|
| /seL4-l4v-10.1.1/HOL4/examples/pgcl/src/ |
| H A D | wpTools.sml | 105 val result = hd (snd (vc_solve (([var],[]),[query]))) value
|
| /seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/tools/ |
| H A D | tuerk_tacticsLib.sml | 19 val result = mk_eq(newLBody, newRBody) value
34 val result = mk_eq(newLBody, newRBody) value
184 val result = DISCH (concl thm) thm_t; value
185 val result = MP result thm value
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/milawa-prover/ |
| H A D | milawa_initScript.sml | 293 val result = value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ia64/ |
| H A D | ffi.c | 139 float result; local
146 double result; local
153 __float80 result; local
497 float result; local
511 double result; local
527 __float80 result; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
| H A D | ffi.c | 446 void *result; local
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | mpoly.cpp | 163 POLYUNSIGNED result = 0; local
|
| H A D | objsize.cpp | 379 Handle result = Make_arbitrary_precision(taskData, process.total_length); local
394 Handle result = Make_arbitrary_precision(taskData, process.total_length); local
413 Handle result = Make_arbitrary_precision(taskData, process.total_length); local
|
| H A D | polystring.cpp | 62 PolyStringObject *result = (PolyStringObject *)(alloc(mdTaskData, 1, F_BYTE_OBJ)); local
76 PolyStringObject *result = (PolyStringObject *)(alloc(mdTaskData, WORDS(buffLen) + 1, F_BYTE_OBJ)); local
305 Handle result = alloc_and_save(mdTaskData, (len + sizeof(PolyWord)-1)/sizeof(PolyWord) + 1, F_BYTE_OBJ); local
[all...] |