Searched refs:download (Results 1 - 15 of 15) sorted by relevance
/seL4-l4v-10.1.1/isabelle/Admin/Windows/Cygwin/ |
H A D | setup_server | 12 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 D | setup_server | 12 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 D | preface.tex | 39 links to the download area and to documentation and other information.
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Tutorial/document/ |
H A D | preface.tex | 39 links to the download area and to documentation and other information.
|
/seL4-l4v-10.1.1/isabelle/src/Doc/Sledgehammer/document/ |
H A D | root.tex | 16 \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 D | root.tex | 16 \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 D | HolQbf.tex | 36 \url{http://www.cprover.org/qbv/download.html}. After installation,
|
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/ |
H A D | HolQbf.tex | 36 \url{http://www.cprover.org/qbv/download.html}. After installation,
|
H A D | HolSat.tex | 121 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 D | QbfCertificate.sml | 7 http://www.cprover.org/qbv/download/qbcformat.pdf).
|
/seL4-l4v-10.1.1/HOL4/Manual/Interaction/ |
H A D | HOL-interaction.tex | 48 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 D | root.tex | 159 %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 D | root.tex | 159 %an official Isabelle package, you can download the Isabelle-aware Kodkodi package
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | configure | 3549 You can download and install GNU coreutils to get an 'rm' implementation
|
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | configure | 3534 You can download and install GNU coreutils to get an 'rm' implementation
|
Completed in 225 milliseconds