Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
09 March 2024, 04:34:05 UTC
Revision 15f07518a16d758df59b59fc0cb532cf1d265fcf authored by Pierre-Yves Strub on 01 December 2023, 15:12:27 UTC, committed by Pierre-Yves Strub on 01 December 2023, 16:15:50 UTC 
Allows selecting a prover by its version number.
 
Syntax is name@version. The selected prover is the prover with name
`name` and with the lowest version that is greater (or equal) than
`version`.

For example, if Z3 4.8.0, Z3 4.8.2 & Z3 4.12.2 are installed, Z3@4.8
selects Z3 4.8.2.
1 parent 27edb8a
Raw File
Tip revision: 15f07518a16d758df59b59fc0cb532cf1d265fcf authored by Pierre-Yves Strub on 01 December 2023, 15:12:27 UTC
Allows selecting a prover by its version number.
Tip revision: 15f0751
dune-project 
(lang dune 3.6)
(using menhir 2.0)
(using dune_site 0.1)

(wrapped_executables false)

(name easycrypt)

(generate_opam_files true)

(package
 (name easycrypt)
 (sites (lib theories) (libexec commands))
 (depends
  (ocaml (>= 4.08.0))
  (batteries (>= 3))
  (camlp-streams (>= 5))
  camlzip
  (dune (>= 3.6))
  dune-build-info
  dune-site
  (ocaml-inifiles (>= 1.2))
  (pcre (>= 7))
  (why3 (and (>= 1.6.0) (< 1.8)))
  yojson
  (zarith (>= 1.10))
))
back to top