/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | windows_specific.cpp | 2 Title: Operating Specific functions: Windows version. 8 License version 2.1 as published by the Free Software Foundation. 700 case 1050: // Get version data 712 Handle version = SAVE(C_string_to_Poly(taskData, osver.szCSDVersion)); local 718 DEREFHANDLE(resVal)->Set(4, version->Word()); 841 The Windows version of this is more complicated than the Unix version because
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
H A D | COPIER.sml | 6 License version 2.1 as published by the Free Software Foundation.
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
H A D | CODETREE_CODEGEN_CONSTANT_FUNCTIONS.sml | 6 License version 2.1 as published by the Free Software Foundation.
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
H A D | BASE_PARSE_TREE.sml | 6 License version 2.1 as published by the Free Software Foundation.
|
H A D | BaseParseTreeSig.sml | 6 License version 2.1 as published by the Free Software Foundation.
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | Clipboard.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
/seL4-l4v-10.1.1/isabelle/src/HOL/SPARK/Manual/document/ |
H A D | intro.tex | 9 distribution. An open-source version of the \SPARK{} tool suite is available
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | ForeignMemory.sml | 8 License version 2.1 as published by the Free Software Foundation.
|
H A D | FinalPolyML.sml | 2 Title: Nearly final version of the PolyML structure 8 License version 2.1 as published by the Free Software Foundation. 30 This is the version of the PolyML structure that can be compiled after we 774 given and not a case-insensitive version of it. This avoids 803 (* Construct suffixes with the architecture and version number in so 804 we can compile architecture- and version-specific code. *) 910 and get the extended version. *)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/SPARK/Manual/document/ |
H A D | intro.tex | 9 distribution. An open-source version of the \SPARK{} tool suite is available
|
/seL4-l4v-10.1.1/seL4/manual/parts/ |
H A D | io.tex | 5 % the GNU General Public License version 2. Note that NO WARRANTY is provided.
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
H A D | arm_stepLib.sml | 1261 Unsupported for version < 6 (may give unpredictable results): 1274 when UInt rm in {1,2,3,5,6,7,9,10,11,13,14} for version = 4 1275 and UInt rm in {2,6,10,13} for version >= 5
|
/seL4-l4v-10.1.1/HOL4/examples/CCS/ |
H A D | ExpansionScript.sml | 270 (* a shorter version of `expands_cases` with only 3 branches *) 360 (* the version for easier use *) 385 (* the version for easier use *)
|
H A D | UniqueSolutionsScript.sml | 727 (* The EPS version of WEAK_UNIQUE_SOLUTION_LEMMA. 728 NOTE: the WEAK_TRANS version cannot be derived, because of the missing of SG in the middle. 976 (* The EPS version of OBS_UNIQUE_SOLUTION_LEMMA. 977 NOTE: the WEAK_TRANS version cannot be derived, because of the missing of SG in the middle. 2236 (* This is a stronger version of previous theorem: conclusion is `OBS_CONGR P Q`
|
H A D | WeakEQScript.sml | 89 (* A slightly different version of EPS induction theorem *) 339 (* The weak version of RREFIX *) 346 (* The weak version of SUM1 *) 364 (* The weak version of SUM2 *) 684 (* next version
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | config.sub | 9 # the Free Software Foundation; either version 3 of the License, or 10 # (at your option) any later version. 25 # of the GNU General Public License, version 3 ("GPLv3"). 35 # You can get the latest version of this script from: 63 -v, --version print version number, then exit 67 version="\ 83 --version | -v ) 84 echo "$version" ; exit ;; 196 # Don't forget version i [all...] |
H A D | ltmain.sh | 15 # the Free Software Foundation; either version 2 of the License, or 16 # (at your option) any later version. 66 # Set a version string for this script. 78 # the Free Software Foundation; either version 3 of the License, or 79 # (at your option) any later version. 179 # Search for either a program that responds to --version with output 203 case `"$_G_path_prog" --version 2>&1` in 383 EXIT_MISMATCH=63 # $? = 63 is used to indicate version mismatch to missing. 1335 # Note this deviates from the version comparison in automake 1338 # version format [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | config.sub | 9 # the Free Software Foundation; either version 3 of the License, or 10 # (at your option) any later version. 25 # of the GNU General Public License, version 3 ("GPLv3"). 35 # You can get the latest version of this script from: 63 -v, --version print version number, then exit 67 version="\ 83 --version | -v ) 84 echo "$version" ; exit ;; 196 # Don't forget version i [all...] |
H A D | ltmain.sh | 15 # the Free Software Foundation; either version 2 of the License, or 16 # (at your option) any later version. 66 # Set a version string for this script. 78 # the Free Software Foundation; either version 3 of the License, or 79 # (at your option) any later version. 179 # Search for either a program that responds to --version with output 203 case `"$_G_path_prog" --version 2>&1` in 383 EXIT_MISMATCH=63 # $? = 63 is used to indicate version mismatch to missing. 1335 # Note this deviates from the version comparison in automake 1338 # version format [all...] |
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | Drule.sml | 1160 meet the specification. Is that really a problem? Notice that this version 1282 * version of PART_MATCH which allows substituting in assumptions * 1560 The current version attempts to keep variable names constant. This 1563 Non renaming version (also courtesy of JRH!!) 1906 This version deleted for HOL 1.12 (see below) [TFM 91.01.17] 1938 New RES_CANON for version 1.12. [TFM 90.12.07]
|
/seL4-l4v-10.1.1/HOL4/Manual/Guide/ |
H A D | guide.tex | 145 specifically, the documentation is designed to be typeset with \LaTeX\ version 146 2.09 of 7 Dec 1989, based on \TeX, the C version 3.0. Building the 147 documentation also requires the `{\tt makeindex}' program (portable version 336 be able to understand the \TeX\ psfig macros. We supply a version of 465 may, of course, be omitted until a final typeset version, complete with index, 1585 version of the library documentation. It should include at least the following
|
/seL4-l4v-10.1.1/HOL4/src/sort/ |
H A D | sortingScript.sml | 206 inductive version of the permutation constant. Instead, I do a bunch 515 A packaged version of PART. Most theorems about PARTITION 1165 (* QSORT3 - A stable version of QSORT (James Reynolds - 10/2010) *)
|
/seL4-l4v-10.1.1/HOL4/examples/bmark/ |
H A D | Bmark.sml | 252 * the "non-commented-out version"
|
/seL4-l4v-10.1.1/HOL4/examples/dev/booth/ |
H A D | boothDevScript.sml | 8 to differentiate them from their original version
|
/seL4-l4v-10.1.1/HOL4/examples/fun-op-sem/for/ |
H A D | for_nd_semScript.sml | 11 A simpler version of this language can be found in forScript.sml.
|