| /seL4-l4v-10.1.1/HOL4/Manual/Tools/ |
| H A D | polyscripter.sml | 343 val fname = String.substring(line, 6, size line - 7) (* for \n at end *) value
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
| H A D | funCall.sml | 613 val (fname, ftype, f_ir as (ins,ir0,outs), defs) = sfl2ir prog; value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw2/ |
| H A D | defunctionalize.sml | 135 val (fname, args) = dest_comb fdecl value
398 val (fname, args) = dest_comb fdecl value
504 val (fname, args) = dest_comb fdecl value
[all...] |
| H A D | regAlloc.sml | 573 let val (fname, fbody) = dest_eq (concl def) value
664 val (fname, fbody) = dest_eq (concl def) value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/ |
| H A D | compilerLib.sml | 233 val fname = Absyn.dest_ident (fst (Absyn.dest_app (fst (Absyn.dest_eq absyn)))) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibTerm.sml | 344 fun fname tok = not (mem tok avoid) andalso not (!var_string tok) function
|
| /seL4-l4v-10.1.1/HOL4/src/pfl/ |
| H A D | index.sml | 215 let val (fname,ty) = dest_var fvar value
224 let val (fname,ty) = dest_var fvar value
311 val (fname,ty) = dest_var fvar value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
| H A D | graph_specsLib.sml | 258 val fname = fst (dest_call_tag tag) value
|
| H A D | derive_specsLib.sml | 457 val fname = ts |> el 2 value
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
| H A D | muddy.c | 339 char *fname; local
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/c_output/ |
| H A D | c_outputLib.sml | 29 val (fname, l) = dest_type t; value
44 val (fname, l) = dest_type t value
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | Holmake_tools.sml | 716 val fname = fromFile f value
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bdd.h | 705 inline int bdd_fnprintdot(char* fname, const bdd &r) argument
708 inline int bdd_fnsave(char *fname, const bdd &r) argument
714 inline int bdd_fnload(char *fname, bdd &r) argument
|
| /seL4-l4v-10.1.1/HOL4/src/emit/ |
| H A D | EmitML.sml | 521 val fname = fst(dest_const f) value
623 val fname = case constrname of value
765 val (fname, args) = caml_strip_comb (lhs (hd els)) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | term_pp.sml | 963 val fname = valOf (overloading_of_term overload_info f) value
1309 val {fname,fprec,f} = fterm value
1646 val fname = atom_name f value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/ |
| H A D | sexp.sml | 267 val (fname,fty) = dest_var f value
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
| H A D | sexp.sml | 244 val (fname,fty) = dest_var f value
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | sexp.sml | 244 val (fname,fty) = dest_var f value
|