Searched refs:download (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-10.1.1/isabelle/Admin/Windows/Cygwin/
H A Dsetup_server12 function download() function
21 download "$CYGWIN_MAIN/setup-x86.exe"
22 download "$CYGWIN_MAIN/setup-x86_64.exe"
23 download "$CYGWIN_MIRROR/x86/setup.xz" "x86"
24 download "$CYGWIN_MIRROR/x86/setup.xz.sig" "x86"
25 download "$CYGWIN_MIRROR/x86_64/setup.xz" "x86_64"
26 download "$CYGWIN_MIRROR/x86_64/setup.xz.sig" "x86_64"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/Windows/Cygwin/
H A Dsetup_server12 function download() function
21 download "$CYGWIN_MAIN/setup-x86.exe"
22 download "$CYGWIN_MAIN/setup-x86_64.exe"
23 download "$CYGWIN_MIRROR/x86/setup.xz" "x86"
24 download "$CYGWIN_MIRROR/x86/setup.xz.sig" "x86"
25 download "$CYGWIN_MIRROR/x86_64/setup.xz" "x86_64"
26 download "$CYGWIN_MIRROR/x86_64/setup.xz.sig" "x86_64"
/seL4-l4v-10.1.1/isabelle/src/Doc/Tutorial/document/
H A Dpreface.tex39 links to the download area and to documentation and other information.
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Tutorial/document/
H A Dpreface.tex39 links to the download area and to documentation and other information.
/seL4-l4v-10.1.1/isabelle/src/Doc/Sledgehammer/document/
H A Droot.tex16 \newcommand\download{\url{https://isabelle.in.tum.de/components/}}
166 \item[\labelitemi] Alternatively, you can download the Isabelle-aware CVC3,
167 CVC4, E, SPASS, Vampire, and Z3 binary packages from \download. Extract the
751 \download. Sledgehammer has been tested with versions 2.2 and 2.4.1.
756 prebuilt CVC4 package from \download. Sledgehammer has been tested with version
763 install the prebuilt E package from \download. Sledgehammer has been tested with
776 \texttt{epclextract} executables, or use the prebuilt E package from \download.
821 \download. Sledgehammer requires version 3.8ds or above.
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Sledgehammer/document/
H A Droot.tex16 \newcommand\download{\url{https://isabelle.in.tum.de/components/}}
166 \item[\labelitemi] Alternatively, you can download the Isabelle-aware CVC3,
167 CVC4, E, SPASS, Vampire, and Z3 binary packages from \download. Extract the
751 \download. Sledgehammer has been tested with versions 2.2 and 2.4.1.
756 prebuilt CVC4 package from \download. Sledgehammer has been tested with version
763 install the prebuilt E package from \download. Sledgehammer has been tested with
776 \texttt{epclextract} executables, or use the prebuilt E package from \download.
821 \download. Sledgehammer requires version 3.8ds or above.
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A DHolQbf.tex36 \url{http://www.cprover.org/qbv/download.html}. After installation,
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A DHolQbf.tex36 \url{http://www.cprover.org/qbv/download.html}. After installation,
H A DHolSat.tex121 The ZChaff SAT solver has a proof production mode and is supported by {\tt{HolSatLib}}. However, the ZChaff end user license is not compatible with the \HOL{} license, so we are unable to distribute it with \HOL{}. If you wish to use ZChaff, download and unpack it in the directory {\tt src/HolSat/sat\_solvers/} under the main \HOL{} directory, and compile it with proof production mode enabled (which is not the default). This should create a binary {\tt zchaff} in the directory {\tt src/HolSat/sat\_solvers/zchaff/}. ZChaff can now be used as the external proof engine instead of MiniSat, by using the HolSatLib functions described above, prefixed with a ``{\tt Z}'', e.g., {\tt ZSAT\_PROVE}.
/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A DQbfCertificate.sml7 http://www.cprover.org/qbv/download/qbcformat.pdf).
/seL4-l4v-10.1.1/HOL4/Manual/Interaction/
H A DHOL-interaction.tex48 The text assumes that the reader has HOL4 installed. You can download and install HOL4 following the instructions on \url{https://hol-theorem-prover.org}.
/seL4-l4v-10.1.1/isabelle/src/Doc/Nitpick/document/
H A Droot.tex159 %an official Isabelle package, you can download the Isabelle-aware Kodkodi package
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Nitpick/document/
H A Droot.tex159 %an official Isabelle package, you can download the Isabelle-aware Kodkodi package
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure3549 You can download and install GNU coreutils to get an 'rm' implementation
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure3534 You can download and install GNU coreutils to get an 'rm' implementation

Completed in 225 milliseconds