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

… version ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
runtimeverification · Dec 20, 2023 · 7b1d658 · 7b1d658
1 parent 4e8b770
commit 7b1d658
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/a5847301404583e16d55cd4d051b8e605d704fbc";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/ca05f14b7957fec9f2a5ab3444cae01c5a76f12f";
     booster-backend = {
       url = "github:runtimeverification/hs-backend-booster/4ab3fc365696125d4d87c86bed9c766d90b2e7ae";
       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 −1		docs/2022-07-18-JSON-RPC-Server-API.md
+1 −0		kore-rpc-types/src/Kore/JsonRpc/Types.hs
+6 −3		kore/src/Kore/Exec.hs
+17 −2		kore/src/Kore/Internal/SideCondition.hs
+6 −0		kore/src/Kore/JsonRpc.hs
+1 −0		kore/src/Kore/ModelChecker/Step.hs
+4 −1		kore/src/Kore/Reachability/Claim.hs
+6 −3		kore/src/Kore/Rewrite.hs
+25 −1		kore/src/Kore/Rewrite/RewriteStep.hs
+59 −0		kore/src/Kore/Simplify/Ceil.hs
+1 −0		kore/test/Test/Kore/Builtin/Builtin.hs
+2 −0		kore/test/Test/Kore/Exec.hs
+2 −1		kore/test/Test/Kore/Rewrite.hs
+1 −0		kore/test/Test/Kore/Rewrite/RewriteStep.hs