| /seL4-l4v-master/HOL4/tools/ |
| H A D | unquote-init.sml | 30 val filename = FileSys.tmpName()^".hol" value
|
| /seL4-l4v-master/HOL4/examples/real-to-float/ |
| H A D | daisyLib.sml | 10 val filename = output_filename ^ ".scala" value
|
| /seL4-l4v-master/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-master/HOL4/help/src-sml/ |
| H A D | Parsspec.sml | 68 val filename = OS.Path.joinDirFile {dir=dir, file = basefile} value
|
| /seL4-l4v-master/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-master/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-master/HOL4/developers/ |
| H A D | prehol.sml | 242 val filename = FileSys.tmpName()^".hol" value
|
| /seL4-l4v-master/HOL4/examples/acl2/lisp/ |
| H A D | a2ml.lisp | |
| /seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | lisp_correctnessScript.sml | 472 val filename = "../bin/verified_code.s" value
|
| /seL4-l4v-master/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-master/HOL4/tools/Holmake/poly/ |
| H A D | BuildCommand.sml | 165 val filename = tgt_toString (filestr_to_tgt (fromFile file)) value
[all...] |
| /seL4-l4v-master/HOL4/examples/machine-code/graph/ |
| H A D | file_readerLib.sml | 28 val filename = "/tmp/hol_commit" value
226 val filename value
[all...] |
| /seL4-l4v-master/l4v/tools/c-parser/standalone-parser/ |
| H A D | main.sml | 129 val filename = ref "" value
|
| /seL4-l4v-master/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
|
| /seL4-l4v-master/HOL4/src/TeX/ |
| H A D | EmitTeX.sml | 684 val filename = Path.concat(path, prefix_escape name ^ ".tex") value
808 val filename = Path.concat(dir, tex_suffix file) value
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | winbasicio.cpp | 558 static Handle openWinFile(TaskData *taskData, Handle filename, openMode mode, bool isAppend, bool isBinary) argument
873 Handle fullPath(TaskData *taskData, Handle filename) argument
901 Handle modTime(TaskData *taskData, Handle filename) argument
926 Handle fileSize(TaskData *taskData, Handle filename) argument
[all...] |
| H A D | basicio.cpp | 215 static Handle open_file(TaskData *taskData, Handle filename, int mode, int access, int isPosix) argument
647 Handle fullPath(TaskData *taskData, Handle filename) argument
669 Handle modTime(TaskData *taskData, Handle filename) argument
682 Handle fileSize(TaskData *taskData, Handle filename) argument
|
| /seL4-l4v-master/HOL4/src/1/ |
| H A D | selftest.sml | 557 val filename = OS.FileSys.tmpName () value
|