Bump versions

lorenzleutgeb · May 20, 2022 · f091b2b · f091b2b
1 parent f531640
commit f091b2b
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -8,7 +8,7 @@
       inputs.nixpkgs.follows = "nixpkgs";
     };
     examples = {
-      url = "github:lorenzleutgeb/atlas-examples/v0.2.3";
+      url = "github:lorenzleutgeb/atlas-examples/v0.2.4";
       flake = false;
     };
     gradle2nix = {

diff --git a/src/test/resources/examples b/src/test/resources/examples
+3 −3		CoinSearchTree.ml
+1 −13		RandSplayTreeMatrix/P12C12.ml
+1 −13		RandSplayTreeMatrix/P12C13.ml
+1 −13		RandSplayTreeMatrix/P12C23.ml
+1 −13		RandSplayTreeMatrix/P13C12.ml
+1 −13		RandSplayTreeMatrix/P13C13.ml
+1 −13		RandSplayTreeMatrix/P13C23.ml
+0 −12		RandSplayTreeMatrix/P23C12.ml
+0 −12		RandSplayTreeMatrix/P23C13.ml
+0 −12		RandSplayTreeMatrix/P23C23.ml
+0 −12		RandSplayTreeMatrix/generate.sh