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

Co-authored-by: devops <[email protected]>
runtimeverification · Feb 20, 2024 · 9a50e78 · 9a50e78
1 parent 845bca1
commit 9a50e78
Show file tree

Hide file tree

Showing 5 changed files with 13 additions and 13 deletions.
diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
@@ -1 +1 @@
-27d80c2303f0850a2fd79971b4eb3413b9865087
+54a1eb9c4278460b69b19d72280db54108f2d467
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/e320d4b9dfe9fefa713311c99794ea5ba1950af1";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/ac6908d0ca26f194802c72f66f200e7079139f1b";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/27d80c2303f0850a2fd79971b4eb3413b9865087";
+      url = "github:runtimeverification/hs-backend-booster/54a1eb9c4278460b69b19d72280db54108f2d467";
       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
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		27d80c2303f0850a2fd79971b4eb3413b9865087
		54a1eb9c4278460b69b19d72280db54108f2d467
+2 −2		.github/workflows/release.yml
+1 −1		.github/workflows/test.yml
+1 −1		deps/k_release
+1 −0		kore/app/rpc/Main.hs
+1 −1		kore/src/Kore/Attribute/Overload.hs
+18 −14		kore/src/Kore/JsonRpc.hs
+5 −5		kore/test/Test/Kore/Attribute/Overload.hs
+2 −2		test/issue-1665/test.k
+2 −2		test/issue-1916/test.k
+1 −16		test/issue-2378/test-spec.k.out.golden
+7 −7		test/issue-3508/definition.kore
+1 −2		test/map/map-iteration/test-1-spec.k
+1 −3		test/overloads/simple-lists/broken-spec.k.out.golden
+8 −8		test/regression-c/test-smoke-definition.kore
+2 −2		test/regression-evm/test-dsvalue-peek-pass-rough-definition.kore
+0 −2		test/regression-evm/test-dsvalue-peek-pass-rough.sh
+2 −2		test/regression-evm/test-flipper-addu48u48-fail-rough-definition.kore
+0 −2		test/regression-evm/test-flipper-addu48u48-fail-rough.sh
+2 −2		test/regression-evm/test-functional-definition.kore
+0 −2		test/regression-evm/test-functional.sh
+2 −2		test/regression-evm/test-lemmas-definition.kore
+0 −2		test/regression-evm/test-lemmas.sh
+2 −2		test/regression-evm/test-storagevar03-definition.kore
+0 −2		test/regression-evm/test-storagevar03.sh
+2 −2		test/regression-evm/test-sum-to-n-definition.kore
+0 −2		test/regression-evm/test-sum-to-n.sh
+2 −2		test/regression-evm/test-totalSupply-definition.kore
+0 −2		test/regression-evm/test-totalSupply.sh
+12 −12		test/regression-wasm/test-locals-vdefinition.kore
+12 −12		test/regression-wasm/test-loops-vdefinition.kore
+12 −12		test/regression-wasm/test-memory-vdefinition.kore
+12 −12		test/regression-wasm/test-simple-arithmetic-vdefinition.kore
+12 −12		test/regression-wasm/test-wrc20-vdefinition.kore
+2 −4		test/remove-destination/test-1-spec.k.out.golden
+1 −1		test/save-proofs/test-1-spec.k
+18 −14		test/save-proofs/test-1-spec.k.save-proofs.kore.golden
+2 −2		test/save-proofs/test-2-spec.k
+2 −2		test/set/set-iteration/test-1-spec.k
+2 −2		test/set/set-iteration/test-2-spec.k
+2 −2		test/set/set-iteration/test.k
+3 −1		test/simplification/Makefile
+0 −1,994		test/simplification/a-spec.k.out.golden
+2 −6		test/simplify-rhs/test-1-repl-script-spec.k.out.golden
+1 −1		test/tiny/a-to-c-spec.k
+2 −2		test/tiny/mixed-claims-spec.k
+1 −1		test/unification2/test-spec.k
+1 −1		cabal.project
+1 −1		deps/haskell-backend_release
+1 −0		dev-tools/kore-rpc-dev/Server.hs
+4 −4		flake.lock
+1 −1		flake.nix
+1 −0		library/Booster/Syntax/ParsedKore/Internalise.hs
+1 −1		stack.yaml
+5 −5		stack.yaml.lock
+2 −2		test/rpc-integration/resources/foundry-bug-report.haskell.kore
+2 −2		test/rpc-integration/resources/foundry-bug-report.llvm.kore
+1 −0		tools/booster/Server.hs