Searched refs:version (Results 351 - 375 of 687) sorted by relevance

<<11121314151617181920>>

/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/
H A Dintro.tex108 Moscow ML version 2.01 (January 2004)
244 Moscow ML version 2.01 (January 2004)
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DcommonTools.sml221 (* my own version of ELIM_TULPED_QUANT_CONV *)
232 (* my own version of pairTools.ELIM_TUPLED_QUANT_CONV that fixes the "impreciseness" (see comments in pairTools) *)
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A DMakefile.in184 *) (install-info --version) >/dev/null 2>&1;; \
354 libpolymain_la_LDFLAGS = -static -version-info 0:0
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfig.guess9 # 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").
29 # You can get the latest version of this script from:
45 -v, --version print version number, then exit
49 version="\
66 --version | -v )
67 echo "$version" ; exit ;;
220 # kernel version informatio
[all...]
H A Ddepcomp10 # the Free Software Foundation; either version 2, or (at your option)
11 # any later version.
35 Usage: depcomp [--help] [--version] PROGRAM [ARGS]
329 # tcc (Tiny C Compiler) understand '-MD -MF file' since version 0.9.26
330 # FIXME: That version still under development at the moment of writing.
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_REMOVE_REDUNDANT.sml7 version 2.1 of the License, or (at your option) any later version.
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DPRINT_PARSETREE.sml7 version 2.1 of the License, or (at your option) any later version.
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DBitmap.sml7 License version 2.1 as published by the Free Software Foundation.
373 BITMAPINFOHEADER but some other version of it), the number of
H A DFontBase.sml7 License version 2.1 as published by the Free Software Foundation.
H A DGdiBase.sml7 License version 2.1 as published by the Free Software Foundation.
H A DRegion.sml7 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/
H A Dpresent.scala51 List(HTML.title(title + " (" + Distribution.version + ")")),
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DTextIO.sml7 License version 2.1 as published by the Free Software Foundation.
202 (* Replace the StreamIO from ImpIO by our version. *)
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfig.guess9 # 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").
29 # You can get the latest version of this script from:
45 -v, --version print version number, then exit
49 version="\
66 --version | -v )
67 echo "$version" ; exit ;;
220 # kernel version informatio
[all...]
H A Ddepcomp10 # the Free Software Foundation; either version 2, or (at your option)
11 # any later version.
35 Usage: depcomp [--help] [--version] PROGRAM [ARGS]
329 # tcc (Tiny C Compiler) understand '-MD -MF file' since version 0.9.26
330 # FIXME: That version still under development at the moment of writing.
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/
H A Dpresent.scala51 List(HTML.title(title + " (" + Distribution.version + ")")),
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_stepScript.sml2604 (\(version,cpsr).
2605 if version < 6 /\ ~aligned(address,4) /\ ~cpsr.J /\ ~cpsr.T
3584 let align_dp opc n mode1 version rn C =
3585 if version >= 7 then (* aligned_bx result *)
3646 else (* version < 6, aligned (result,4) *)
3786 (\version.
3787 condT (version <> 6)
3793 (if version >= 7 then
3795 else (* version < 6 *)
3817 (\version
[all...]
/seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/model/
H A Darm_stepScript.sml2605 (\(version,cpsr).
2606 if version < 6 /\ ~aligned(address,4) /\ ~cpsr.J /\ ~cpsr.T
3585 let align_dp opc n mode1 version rn C =
3586 if version >= 7 then (* aligned_bx result *)
3647 else (* version < 6, aligned (result,4) *)
3787 (\version.
3788 condT (version <> 6)
3794 (if version >= 7 then
3796 else (* version < 6 *)
3818 (\version
[all...]
/seL4-l4v-10.1.1/HOL4/examples/computability/lambda/
H A DchurchDBScript.sml638 cnsub - the computable version of nsub, which has defining equations
1051 cciDB : the encoded/computing version of ciDB
1082 ccDB : the encoded version of cDB
1298 Computable version of bnf_of, bringing us pretty well all the way to
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DrulesScript.sml417 (* Rules for Conditions (projective function version) *)
439 (* Rules for Stack (projective function version) *)
554 (* Rules for Conditions (vector version) *)
578 (* Rules for Stack (vector version) *)
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DAlgebra.sml3 (* Copyright (c) 2006 Joe Hurd, distributed under the GNU GPL version 2 *)
H A DParser.sml3 (* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
H A DUseful.sig3 (* Copyright (c) 2001-2005 Joe Hurd, distributed under the GNU GPL version 2 *)
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/lambek/
H A DCutFreeScript.sml12 (* as published by the Free Software Foundation; either version 2.1 *)
13 (* of the License, or (at your option) any later version. *)
1057 (* original statements in the Coq version *)
1102 (* original statements in the Coq version *)
/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/mos-count/
H A Dclock.ml4 % DESCRIPTION : Defines predicates for a very simple version of %

Completed in 376 milliseconds

<<11121314151617181920>>