Opam repository now featuring Jasmin compiler
The Jasmin compiler is now part of the opam repository.
Once you have a working opam
, just run opam install jasmin
to get the Jasmin compiler installed.
Note that this only installs the compiler (including termination & safety checker, constant-time verifier, reference interpreter…) and no EasyCrypt library nor Coq proofs.
The Jasmin compiler remains available in nixpkgs.