Use alt-ergo 2.5

formosa-crypto · Mar 15, 2024 · cbddab1 · cbddab1
1 parent df4c64f
commit cbddab1
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 82 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -33,6 +33,7 @@ jobs:
     - name: Update OPAM & EasyCrypt dependencies
       run: |
         opam update
+        opam pin alt-ergo 2.5.2
         opam pin add -n easycrypt easycrypt
         opam install --deps-only easycrypt
     - name: Compile & Install EasyCrypt

diff --git a/config/alt-ergo.nix b/config/alt-ergo.nix
diff --git a/easycrypt.project b/easycrypt.project
@@ -1,7 +1,7 @@
 [general]
 timeout = 30
 
-provers = Alt-Ergo@2.4
+provers = Alt-Ergo@2.5
 provers = [email protected]
 provers = [email protected]
 

diff --git a/shell.nix b/shell.nix
@@ -1,7 +1,7 @@
 { pkgs ?
     import (fetchTarball {
-      url = https://github.com/NixOS/nixpkgs/archive/53fbe41cf76b6a685004194e38e889bc8857e8c2.tar.gz;
-      sha256 = "sha256:1fyc4kbhv7rrfzya74yprvd70prlcsv56b7n0fv47kn7rznvvr2b";
+      url = https://github.com/NixOS/nixpkgs/archive/51063ed4f2343a59fdeebb279bb81d87d453942b.tar.gz;
+      sha256 = "sha256:0my8bdc7js7gdcl8z8ik49sl9gccqz39xg8q335sharf5qxq13ww";
     }) {}
 , full ? true
 }:
@@ -30,7 +30,7 @@ let
     ocamlPackages = oc;
     why3 = why;
   };
-  altergo = callPackage ./config/alt-ergo.nix { ocamlPackages = oc; } ;
+  altergo = alt-ergo.override { ocamlPackages = oc; } ;
 in
 
 mkShell ({