| /seL4-l4v-10.1.1/HOL4/src/boss/ml_evaluation/ |
| H A D | Lift.sml | 50 val args = snd(dest_type ty) value
62 let val args = genargs C value
|
| /seL4-l4v-10.1.1/HOL4/src/datatype/equiv/ |
| H A D | EquivType.sml | 223 val args = wargs (butlast ntyl) value
|
| /seL4-l4v-10.1.1/HOL4/src/integer/ |
| H A D | intSimps.sml | 214 val args = intSyntax.strip_mult t value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | LVTermNetFunctor.sml | [all...] |
| H A D | ParseDatatype.sml | 287 val args = parse_hargs G qb value
|
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | SharingTables.sml | 125 val args = map (fn i => Map.find(tymap, i)) Args value
|
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | graph-refine.py | 33 args = target_objects.load_target_args () variable
|
| H A D | trace_refute.py | 634 args = target_objects.load_target_args () variable
636 args = [arg for arg in args if not arg.startswith ('prev:')] variable
639 args = [arg for arg in args if not arg.startswith ('instance:')] variable
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/ |
| H A D | tailrecLib.sml | 115 val (args,body) = dest_pabs step_fun value
|
| /seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/poly/ |
| H A D | holfoot_command_line.sml | 179 val args = CommandLine.arguments (); value
237 val args = orgargs; value
268 val args = ((Lib.pluck (fn x => x = "-h") orgargs);print_help full;[]) value
270 val args = ((Lib.pluck (fn x => x = "-hi") args);print_interactive_help();[]) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/unification/triangular/first-order/ |
| H A D | unifDefScript.sml | 113 val args = #2 (strip_comb (lhs c)) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
| H A D | ffi.c | 443 ffi_closure_win64_inner (ffi_closure *closure, void *args) { argument
472 ffi_closure_SYSV_inner (ffi_closure *closure, void **respp, void *args) argument
495 ffi_closure_WIN32_inner (ffi_closure *closure, void **respp, void *args) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | reals.cpp | 394 static Handle powerOf(TaskData *mdTaskData, Handle args) argument
[all...] |
| H A D | timing.cpp | 177 static Handle timing_dispatch_c(TaskData *taskData, Handle args, Handle code) argument
[all...] |
| H A D | exporter.cpp | 613 Handle exportNative(TaskData *taskData, Handle args) argument
643 Handle exportPortable(TaskData *taskData, Handle args) argument
[all...] |
| H A D | polyffi.cpp | 184 Handle poly_ffi(TaskData *taskData, Handle args, Handle code) argument
492 callbackEntryPt(ffi_cif *cif, void *ret, void* args[], void *data) argument
568 poly_ffi(TaskData *taskData, Handle args, Handle code) argument
[all...] |
| H A D | process_env.cpp | 167 static Handle process_env_dispatch_c(TaskData *mdTaskData, Handle args, Handle code) argument
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
| H A D | CODETREE_REMOVE_REDUNDANT.sml | 285 val args = map (fn (c, t) => (cleanCode(c, [UseGeneral]), t)) argList value
[all...] |
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tools/ |
| H A D | release.py | 126 args = parser.parse_args() variable
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | Holmake_types.sml | 261 val args = argtokenize value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
| H A D | exportLib.sml | 110 val (args,ty) = tm |> rator |> rand |> listSyntax.dest_list value
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | metis.sml | 107 val args = CommandLine.arguments () value
|
| /seL4-l4v-10.1.1/HOL4/help/src-sml/ |
| H A D | ParseDoc.sml | 332 val args = tokens (Char.isSpace \/ equal #",") value
341 val args = trimws (List.map db_out (paragraphs (markup ss))) value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | metis.sml | 107 val args = CommandLine.arguments () value
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
| H A D | ANF.sml | 124 let val (args,t) = value
[all...] |