Searched refs:version (Results 451 - 475 of 687) sorted by relevance

<<11121314151617181920>>

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dwindows_specific.cpp2 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 DCOPIER.sml6 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_CODEGEN_CONSTANT_FUNCTIONS.sml6 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DBASE_PARSE_TREE.sml6 License version 2.1 as published by the Free Software Foundation.
H A DBaseParseTreeSig.sml6 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DClipboard.sml7 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/isabelle/src/HOL/SPARK/Manual/document/
H A Dintro.tex9 distribution. An open-source version of the \SPARK{} tool suite is available
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DForeignMemory.sml8 License version 2.1 as published by the Free Software Foundation.
H A DFinalPolyML.sml2 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 Dintro.tex9 distribution. An open-source version of the \SPARK{} tool suite is available
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dio.tex5 % the GNU General Public License version 2. Note that NO WARRANTY is provided.
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_stepLib.sml1261 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 DExpansionScript.sml270 (* a shorter version of `expands_cases` with only 3 branches *)
360 (* the version for easier use *)
385 (* the version for easier use *)
H A DUniqueSolutionsScript.sml727 (* 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 DWeakEQScript.sml89 (* 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 Dconfig.sub9 # 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 Dltmain.sh15 # 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 Dconfig.sub9 # 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 Dltmain.sh15 # 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 DDrule.sml1160 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 Dguide.tex145 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 DsortingScript.sml206 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 DBmark.sml252 * the "non-commented-out version"
/seL4-l4v-10.1.1/HOL4/examples/dev/booth/
H A DboothDevScript.sml8 to differentiate them from their original version
/seL4-l4v-10.1.1/HOL4/examples/fun-op-sem/for/
H A Dfor_nd_semScript.sml11 A simpler version of this language can be found in forScript.sml.

Completed in 256 milliseconds

<<11121314151617181920>>