Searched refs:files (Results 1 - 25 of 175) sorted by relevance

1234567

/seL4-l4v-master/HOL4/examples/hardware/hol88/MISC/
H A Dinit.ml1 % Load in patched files %
/seL4-l4v-master/l4v/proof/
H A DMakefile50 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 DMLY_stream.sml5 * 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 DMLY_lrtable.sml10 * 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 DMLY_join.sml5 * 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 DMLY_parser1.sml5 * 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 DRunTests.sml113 (* 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 DQbfTrace.sml12 4 - moreover, temporary files (for communication with the QBF solver) are
/seL4-l4v-master/HOL4/developers/
H A Dcomparelogs.sml13 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 Disabelle_vfs.scala78 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 Disabelle_vfs.scala78 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 Dpostinstall5 bash /etc/postinstall/base-files-mketc.sh.done
/seL4-l4v-master/l4v/isabelle/Admin/Windows/Cygwin/isabelle/
H A Dpostinstall5 bash /etc/postinstall/base-files-mketc.sh.done
/seL4-l4v-master/HOL4/src/postkernel/
H A DTheoryReader.sig12 allows <nm>Theory.sml files to then bind SML identifiers corresponding to
/seL4-l4v-master/isabelle/src/Pure/Tools/
H A Dscala_project.scala80 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 Dscala_project.scala80 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 Dmake_imported_acl2_theory.ml7 3. Slurps in the ML files in imported_acl2_books.
/seL4-l4v-master/isabelle/src/HOL/TPTP/TPTP_Parser/
H A Dmake_tptp_parser27 source files tptp.lex and tptp.yacc.
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/
H A Dmake_tptp_parser27 source files tptp.lex and tptp.yacc.
/seL4-l4v-master/l4v/spec/
H A DMakefile41 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 DParseDoc.sig30 returns a set of all the .doc files. The doc files are stored in
/seL4-l4v-master/l4v/misc/
H A Disa-common.mk66 # 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 DsmlRedirect.sml4 (* 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 Dinternal_functions.sig60 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 DHelp.sig43 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).

Completed in 325 milliseconds

1234567