| /seL4-l4v-10.1.1/HOL4/tools/ |
| H A D | unquote-init.sml | 30 val filename = FileSys.tmpName()^".hol" value
|
| /seL4-l4v-10.1.1/HOL4/examples/real-to-float/ |
| H A D | daisyLib.sml | 10 val filename = output_filename ^ ".scala" value
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | problems2tptp.sml | 46 val filename = name ^ ".tptp" value
47 val filename = value
|
| H A D | metis.sml | 229 val filename = "-" value
353 val filename = mkTptpFilename inc value
[all...] |
| H A D | selftest.sml | 1136 val filename = "tptp/" ^ f ^ ".tptp" value
|
| H A D | Useful.sml | 789 val filename = OS.Path.joinDirFile {dir = dir, file = file} value
|
| /seL4-l4v-10.1.1/HOL4/help/src-sml/ |
| H A D | Parsspec.sml | 68 val filename = OS.Path.joinDirFile {dir=dir, file = basefile} value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | problems2tptp.sml | 46 val filename = name ^ ".tptp" value
47 val filename = value
|
| H A D | metis.sml | 229 val filename = "-" value
353 val filename = mkTptpFilename inc value
[all...] |
| H A D | selftest.sml | 1136 val filename = "tptp/" ^ f ^ ".tptp" value
|
| H A D | Useful.sml | 789 val filename = OS.Path.joinDirFile {dir = dir, file = file} value
|
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | Main.C | 46 static void parse_DIMACS(char* filename, Solver& S) { argument
|
| H A D | Proof.C | 340 bool Proof::save(cchar* filename) argument
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | lisp_correctnessScript.sml | 472 val filename = "../bin/verified_code.s" value
|
| /seL4-l4v-10.1.1/HOL4/developers/ |
| H A D | prehol.sml | 242 val filename = FileSys.tmpName()^".hol" value
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/ |
| H A D | a2ml.lisp | |
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/zc2hs/ |
| H A D | zc2hs.cpp | 63 void parse_DIMACS(Proof& P, vec<vec<Lit> >& roots, char* filename, parsed_clauses* pclauses, argument
195 void parse_zChaff(char * filename, int& numclauses, argument
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/ |
| H A D | BuildCommand.sml | 156 val filename = addPath [] (fromFile file) value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
| H A D | file_readerLib.sml | 28 val filename = "/tmp/hol_commit" value
205 val filename = get_filename ".elf.txt"; value
[all...] |
| /seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/ |
| H A D | main.sml | 133 val filename = ref "" value
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | selftest.sml | 553 val filename = OS.FileSys.tmpName () value
|
| /seL4-l4v-10.1.1/HOL4/src/TeX/ |
| H A D | EmitTeX.sml | 661 val filename = Path.concat(path, prefix_escape name ^ ".tex") value
785 val filename = Path.concat(dir, tex_suffix file) value
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
| H A D | muddy.c | 337 EXTERNML value mlbdd_bdd_fnprintset(value filename, value r) /* ML */ argument
354 EXTERNML value mlbdd_bdd_fnprintdot(value filename, value r) /* ML */ argument
368 EXTERNML value mlbdd_bdd_fnsave(value filename, value r) /* ML */ argument
375 EXTERNML value mlbdd_bdd_fnload(value filename) /* ML */ argument
|