| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | NetServDB.sml | 8 License version 2.1 as published by the Free Software Foundation.
|
| H A D | UnixSock.sml | 8 License version 2.1 as published by the Free Software Foundation.
|
| H A D | WordSignature.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
| H A D | PrimIO.sml | 8 version 2.1 of the License, or (at your option) any later version.
229 (* No blocking version exists - try using block and the
230 synthesised non-blocking version. *)
414 (* No blocking version exists - try using block and the
415 synthesised non-blocking version. *)
|
| /seL4-l4v-10.1.1/HOL4/polyml/ |
| H A D | exportPoly.sml | 8 License version 2.1 as published by the Free Software Foundation.
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
| H A D | parser1.sml | 4 but it is wastes space in the release version.
|
| /seL4-l4v-10.1.1/HOL4/developers/ |
| H A D | prehol.sml | 169 ^Globals.release^" "^Lib.int_to_string(Globals.version)^build_stamp
214 * A version of "use" that filters quotations. The native MoscowML version *
|
| /seL4-l4v-10.1.1/HOL4/examples/Crypto/Serpent/Reference/ |
| H A D | Serpent_Reference_KeyScheduleScript.sml | 52 A version with mainly bit shifts, rotation and bitwise operation has been tried,
92 (*this is the key used in the optimized version*)
97 (*this is the key used in the reference version*)
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/ |
| H A D | protocol.scala | 288 version <- JSON.long(doc, "version")
290 } yield (Url.absolute_file(uri), lang, version, text)
310 version <- JSON.long(doc, "version")
312 } yield (Url.absolute_file(uri), version, changes)
341 sealed case class TextDocumentEdit(file: JFile, version: Long, edits: List[TextEdit])
345 "textDocument" -> JSON.Object("uri" -> Url.print_file(file), "version" -> version),
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/ |
| H A D | protocol.scala | 288 version <- JSON.long(doc, "version")
290 } yield (Url.absolute_file(uri), lang, version, text)
310 version <- JSON.long(doc, "version")
312 } yield (Url.absolute_file(uri), version, changes)
341 sealed case class TextDocumentEdit(file: JFile, version: Long, edits: List[TextEdit])
345 "textDocument" -> JSON.Object("uri" -> Url.print_file(file), "version" -> version),
|
| /seL4-l4v-10.1.1/HOL4/src/coretypes/pair-Manual/ |
| H A D | description.tex | 41 The pair library contains a version of every standard \HOL\ function
214 Note that it is always possible to use the paired version
215 of an inference rule in place of the standard version.
238 short example that exhibits the bug and the version number of the
240 The constant \mbox{\tt pair\_version} contains the version number of the pair
|
| /seL4-l4v-10.1.1/HOL4/src/pattern_matches/ |
| H A D | patternMatchesLib.sig | 174 (* There is also a more generic version that
370 (* A simplified version of PMATCH_CASE_SPLIT_CONV that
385 it needs to get the current version of the default db,
504 the fast version with the power of the slow one.
573 (* A generalised version that allows specifying additional
588 also a version that returns an exhaustiveness statement of the
|
| /seL4-l4v-10.1.1/HOL4/Manual/Description/ |
| H A D | HolQbf.tex | 33 \ml{HolQbfLib} has been tested with (the x86 Linux version of) Squolem
34 2.02 (release date 2010-11-10). This is Squolem's latest version at
141 (parts of) the QDIMACS standard, version 1.1 (released on December~21,
|
| /seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/ |
| H A D | HolQbf.tex | 33 \ml{HolQbfLib} has been tested with (the x86 Linux version of) Squolem
34 2.02 (release date 2010-11-10). This is Squolem's latest version at
138 (parts of) the QDIMACS standard, version 1.1 (released on December~21,
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
| H A D | Makefile.am | 53 src/tile/ffitarget.h src/tile/tile.S libtool-version \
260 libffi_la_LDFLAGS = -no-undefined -version-info `grep -v '^\#' $(srcdir)/libtool-version` $(LTLDFLAGS) $(AM_LTLDFLAGS)
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
| H A D | TYPETREESIG.sml | 10 version 2.1 of the License, or (at your option) any later version.
136 generalised version. *)
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/AES/word8/ |
| H A D | MultScript.sml | 65 (* Iterative version *)
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | Stream.sml | 3 (* Copyright (c) 2001-2004 Joe Hurd, distributed under the GNU GPL version 2 *)
|
| /seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/computer/ |
| H A D | computer.ml | 14 % part of the verification procedure. The final version of the %
|
| /seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/ |
| H A D | mk_Luis.ml | 142 First we delete the version of LUIS_THM stored in the current theory. %
|
| /seL4-l4v-10.1.1/HOL4/examples/ind_def/ |
| H A D | monosetScript.sml | 60 now we define our own version EVERY, putting the arguments in a
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Path.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
| /seL4-l4v-10.1.1/HOL4/src/HolSmt/ |
| H A D | Z3_Proof.sml | 21 that the most recent Z3 version (2.11) uses. I have applied Z3
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibPatricia.sml | 7 (* License version 2, as published by the Free Software Foundation. *)
|
| /seL4-l4v-10.1.1/HOL4/src/num/arith/src/ |
| H A D | Exists_arith.sml | 92 (* normalised version. *)
|