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

Co-authored-by: devops <[email protected]>
runtimeverification · Jan 12, 2024 · 278296b · 278296b
1 parent fe731b9
commit 278296b
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
@@ -1 +1 @@
-6dd78c2adbc325f823809dab085617a83d5f8ec7
+a673bb55858eced177f21f331e29db96323c5af0
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     haskell-backend.url = "github:runtimeverification/haskell-backend/ca05f14b7957fec9f2a5ab3444cae01c5a76f12f";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/6dd78c2adbc325f823809dab085617a83d5f8ec7";
+      url = "github:runtimeverification/hs-backend-booster/a673bb55858eced177f21f331e29db96323c5af0";
       inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
       inputs.haskell-backend.follows = "haskell-backend";
       inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix";

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 @@
		6dd78c2adbc325f823809dab085617a83d5f8ec7
		a673bb55858eced177f21f331e29db96323c5af0
+74 −0		library/Booster/Builtin.hs
+96 −75		library/Booster/Pattern/ApplyEquations.hs
+6 −6		library/Booster/Pattern/Util.hs
+31 −4		library/Booster/Syntax/Json/Internalise.hs
+1 −0		test/rpc-integration/resources/internalise-symbols.kore
+1 −0		test/rpc-integration/resources/simplify.k
+1 −1		test/rpc-integration/resources/simplify.kompile
+0 −2,806		test/rpc-integration/resources/simplify.kore
+10 −8		test/rpc-integration/runDirectoryTest.sh
+90 −0		test/rpc-integration/test-internalise-symbols/response-incorrect-argument-length.json
+22 −0		test/rpc-integration/test-internalise-symbols/response-incorrect-argument-sort.json
+81 −0		test/rpc-integration/test-internalise-symbols/state-incorrect-argument-length.execute
+21 −0		test/rpc-integration/test-internalise-symbols/state-incorrect-argument-sort.execute
+15 −0		test/rpc-integration/test-simplify/response-if-then-else-arity-error.json
+37 −0		test/rpc-integration/test-simplify/response-if-then-else-eval.json
+37 −0		test/rpc-integration/test-simplify/response-if-then-else-false.json
+91 −0		test/rpc-integration/test-simplify/response-if-then-else-indeterminate.json
+16 −0		test/rpc-integration/test-simplify/response-if-then-else-sort-error.json
+37 −0		test/rpc-integration/test-simplify/response-if-then-else-true.json
+315 −0		test/rpc-integration/test-simplify/response-with-logging.json
+53 −0		test/rpc-integration/test-simplify/state-if-then-else-arity-error.simplify
+78 −0		test/rpc-integration/test-simplify/state-if-then-else-eval.simplify
+62 −0		test/rpc-integration/test-simplify/state-if-then-else-false.simplify
+85 −0		test/rpc-integration/test-simplify/state-if-then-else-indeterminate.simplify
+62 −0		test/rpc-integration/test-simplify/state-if-then-else-sort-error.simplify
+62 −0		test/rpc-integration/test-simplify/state-if-then-else-true.simplify
+16 −0		test/rpc-integration/test-subsorts/state-not-subsort.execute
+1 −0		tools/booster/Proxy.hs