flake.nix, haskell-backend/src/main/native/haskell-backend: update to…

… version 3779155b609ae78c928d7b47c541b9b6ca969181
runtimeverification · Jan 29, 2024 · 20ea591 · 20ea591
1 parent 044a946
commit 20ea591
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/flake.nix b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    haskell-backend.url = "github:runtimeverification/haskell-backend/de63565944540344cba242343500f1a61ece45c5";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/3779155b609ae78c928d7b47c541b9b6ca969181";
     booster-backend = {
       url = "github:runtimeverification/hs-backend-booster/a956edb011001aaf1296c3bbf004498427df7263";
       inputs.nixpkgs.follows = "haskell-backend/nixpkgs";

diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
+4 −4		kore/src/Kore/Log/DebugRewriteTrace.hs
+4 −11		kore/src/Kore/Reachability/Claim.hs
+18 −9		kore/src/Kore/Rewrite.hs
+13 −14		kore/src/Kore/Rewrite/Result.hs
+45 −50		kore/src/Kore/Rewrite/RewriteStep.hs
+2 −9		kore/src/Kore/Rewrite/Step.hs
+80 −100		kore/test/Test/Kore/Rewrite/RewriteStep.hs