Update dependency: deps/hs-backend-booster_release (#4053)

Co-authored-by: devops <[email protected]> Co-authored-by: Jost Berthold <[email protected]>
runtimeverification · Feb 28, 2024 · 0331485 · 0331485
1 parent 9350ca3
commit 0331485
Show file tree

Hide file tree

Showing 6 changed files with 14 additions and 14 deletions.
diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
@@ -1 +1 @@
-4fdae08e0af9099cf8c671821471a77d5a4a7b17
+a3d89c2f3af1ccbe56ca88d25bcf6c697c333c21
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -1,9 +1,9 @@
 {
   description = "K Framework";
   inputs = {
-    haskell-backend.url = "github:runtimeverification/haskell-backend/fa0d3b2809154e4c01c0ab62660f757a8fc31dfb";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/62a3e13dc5c681a536271b834b11098aae9bce35";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/4fdae08e0af9099cf8c671821471a77d5a4a7b17";
+      url = "github:runtimeverification/hs-backend-booster/a3d89c2f3af1ccbe56ca88d25bcf6c697c333c21";
       inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
       inputs.haskell-backend.follows = "haskell-backend";
       inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix";

diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster
diff --git a/k-distribution/tests/regression-new/set-symbolic-tests/inset-11-spec.k.out b/k-distribution/tests/regression-new/set-symbolic-tests/inset-11-spec.k.out
@@ -8,12 +8,12 @@
     false
   #Equals
     X:MyId in SET
-    SetItem ( Z:MyId )
   }
 #And
   {
     false
   #Equals
     Z:MyId in SET
+    SetItem ( X:MyId )
   }
 [Error] Prover: backend terminated because the configuration cannot be rewritten further. See output for more details.
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		4fdae08e0af9099cf8c671821471a77d5a4a7b17
		a3d89c2f3af1ccbe56ca88d25bcf6c697c333c21
+2 −1		kore/kore.cabal
+2 −1		stack.yaml
+7 −0		stack.yaml.lock
+1 −0		test/imp/max-inconsistent-prelude-spec.k.out.golden
+0 −1		test/imp/run-stepf-repl-script-spec.k
+0 −12		test/imp/run-stepf-repl-script-spec.k.out.golden
+0 −5		test/imp/run-stepf-repl-script-spec.k.repl
+4 −4		test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden
+902 −898		test/regression-c/test-smoke100.sh.out.golden
+3 −0		test/rpc-server/Makefile
+1 −1		test/simplification/Makefile
+1 −0		test/simplification/a-spec.k.out.golden
+2 −2		.github/workflows/test.yml
+4 −4		.github/workflows/update-deps.yml
+1 −1		cabal.project
+326 −0		cabal.project.freeze
+1 −1		deps/haskell-backend_release
+4 −4		flake.lock
+1 −1		flake.nix
+3 −1		scripts/update-haskell-backend.sh
+2 −1		stack.yaml
+12 −5		stack.yaml.lock
+10 −10		test/rpc-integration/test-collectiontest/response-from-12.json
+165 −165		test/rpc-integration/test-foundry-bug-report/response-002.json
+31 −31		test/rpc-integration/test-foundry-bug-report/response-003.json
+196 −196		test/rpc-integration/test-foundry-bug-report/response-006.json
+372 −372		test/rpc-integration/test-foundry-bug-report/response-007.json
+196 −196		test/rpc-integration/test-foundry-bug-report/response-008.json
+372 −372		test/rpc-integration/test-foundry-bug-report/response-009.json
+196 −196		test/rpc-integration/test-foundry-bug-report/response-010.json
+396 −396		test/rpc-integration/test-foundry-bug-report/response-011.json
+201 −201		test/rpc-integration/test-foundry-bug-report/response-012.json
+396 −396		test/rpc-integration/test-foundry-bug-report/response-013.json
+201 −201		test/rpc-integration/test-foundry-bug-report/response-014.json
+198 −198		test/rpc-integration/test-foundry-bug-report/response-015.json
+358 −358		test/rpc-integration/test-foundry-bug-report/response-016.json
+4 −4		test/rpc-integration/test-imp/response-sum.json
+41 −41		test/rpc-integration/test-vacuous/response-vacuous-but-rewritten.json
+41 −41		test/rpc-integration/test-vacuous/response-vacuous-without-rewrite.json