/seL4-l4v-master/HOL4/examples/hardware/hol88/MISC/ |
H A D | init.ml | 1 % Load in patched files %
|
/seL4-l4v-master/l4v/proof/ |
H A D | Makefile | 50 CBaseRefine CRefine SimplExportAndRefine : c-kernel design-spec ASpec-files 52 # Preprocess the kernel's source code and bitfield theory files. 62 ASpec-files: .FORCE 63 cd ../spec && make ASpec-files 64 .PHONY: ASpec-files
|
/seL4-l4v-master/HOL4/tools/mlyacc/mlyacclib/ |
H A D | MLY_stream.sml | 5 * Changed the names of the files in mlyacclib because I want these files 8 * you need to have the files in mlyacclib available too.)
|
H A D | MLY_lrtable.sml | 10 * Changed the names of the files in mlyacclib because I want these files 13 * you need to have the files in mlyacclib available too.)
|
H A D | MLY_join.sml | 5 * Changed the names of the files in mlyacclib because I want these files 8 * you need to have the files in mlyacclib available too.)
|
H A D | MLY_parser1.sml | 5 * Changed the names of the files in mlyacclib because I want these files 8 * you need to have the files in mlyacclib available too.)
|
/seL4-l4v-master/HOL4/polyml/Tests/ |
H A D | RunTests.sml | 113 (* Get the list of files and sort them. It's easier to see if the files 117 fun getFiles files = 119 NONE => files 122 then getFiles(f::files) 123 else getFiles files 125 val files = getFiles [] value 138 val fileList = qs(files, []) 143 | runDir (f::files, fails) = 147 then (print "Passed\n"; runDir(files, fail [all...] |
/seL4-l4v-master/HOL4/src/HolQbf/ |
H A D | QbfTrace.sml | 12 4 - moreover, temporary files (for communication with the QBF solver) are
|
/seL4-l4v-master/HOL4/developers/ |
H A D | comparelogs.sml | 13 fun mkquiet {bequiet, diffsort, files, averages} = 14 {bequiet = true, diffsort = diffsort, files = files, averages = averages} 15 fun mkdiff {bequiet, diffsort, files, averages} = 16 {bequiet = bequiet, diffsort = true, files = files, averages = averages} 17 fun mkaverages {bequiet, diffsort, files, averages} = 18 {bequiet = bequiet, diffsort = diffsort, files = files, averages = true} 25 \ -d Sort results in order of the differences (only with two files)\ [all...] |
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/ |
H A D | isabelle_vfs.scala | 78 val files = _listFiles(vfs_session, parent, component) 79 if (files == null) null 80 else files.find(_.getPath == url) getOrElse null
|
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | isabelle_vfs.scala | 78 val files = _listFiles(vfs_session, parent, component) 79 if (files == null) null 80 else files.find(_.getPath == url) getOrElse null
|
/seL4-l4v-master/isabelle/Admin/Windows/Cygwin/isabelle/ |
H A D | postinstall | 5 bash /etc/postinstall/base-files-mketc.sh.done
|
/seL4-l4v-master/l4v/isabelle/Admin/Windows/Cygwin/isabelle/ |
H A D | postinstall | 5 bash /etc/postinstall/base-files-mketc.sh.done
|
/seL4-l4v-master/HOL4/src/postkernel/ |
H A D | TheoryReader.sig | 12 allows <nm>Theory.sml files to then bind SML identifiers corresponding to
|
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | scala_project.scala | 80 val files = isabelle_files() 82 for (file <- files if file.endsWith(".scala")) { 94 for (file <- files if file.endsWith(".jar")) 112 compile files( 131 -L make symlinks to original scala files
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | scala_project.scala | 80 val files = isabelle_files() 82 for (file <- files if file.endsWith(".scala")) { 94 for (file <- files if file.endsWith(".jar")) 112 compile files( 131 -L make symlinks to original scala files
|
/seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
H A D | make_imported_acl2_theory.ml | 7 3. Slurps in the ML files in imported_acl2_books.
|
/seL4-l4v-master/isabelle/src/HOL/TPTP/TPTP_Parser/ |
H A D | make_tptp_parser | 27 source files tptp.lex and tptp.yacc.
|
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ |
H A D | make_tptp_parser | 27 source files tptp.lex and tptp.yacc.
|
/seL4-l4v-master/l4v/spec/ |
H A D | Makefile | 41 ASpec: ASpec-files design-spec 43 ASpec-files: $(ASPEC_VERSION_FILE) $(GIT_ROOT_FILE) $(ASPEC_GITREV_FILE) 62 # Preprocess the kernel's source code and bitfield theory files. 72 # Sets up the c-parser grammar files
|
/seL4-l4v-master/HOL4/help/src-sml/ |
H A D | ParseDoc.sig | 30 returns a set of all the .doc files. The doc files are stored in
|
/seL4-l4v-master/l4v/misc/ |
H A D | isa-common.mk | 66 # Some targets within this Makefile depend on files, which are managed 70 # whenever a target depends on files managed by a subproject. For this
|
/seL4-l4v-master/HOL4/src/AI/sml_inspection/ |
H A D | smlRedirect.sml | 4 (* facilities in the SML Basis Library. Implements a stack of output files. *) 47 is not empty on exit, so you can close all open output files
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | internal_functions.sig | 60 against files in the current hierarchy (i.e., relative file names 61 are assessed against the current directory). The list of all files 62 that match are returned. If the pattern doesn't match any files,
|
/seL4-l4v-master/HOL4/tools-poly/poly/ |
H A D | Help.sig | 43 searched for help files. The directories are searched in order, 47 index files. Setting `indexfiles' affects subsequent invocations 48 of `help'. (Every invocation of `help' reads the index files anew).
|