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

Co-authored-by: devops <[email protected]>
runtimeverification · Sep 28, 2023 · 0faa59e · 0faa59e
1 parent c8bdd77
commit 0faa59e
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 @@
-b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe
+6c2f5ab988e2c5f98b1cdeb04b8a5787d8a7c566
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -4,7 +4,7 @@
     nixpkgs.url = "nixpkgs/nixos-23.05";
     haskell-backend.url = "github:runtimeverification/haskell-backend/63397c713d21322434d572281c1407d929a1189e";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe";
+      url = "github:runtimeverification/hs-backend-booster/6c2f5ab988e2c5f98b1cdeb04b8a5787d8a7c566";
       # NB booster-backend will bring in another dependency on haskell-backend,
       # but the two are not necessarily the same (different more often than not).
       # We get two transitive dependencies on haskell-nix.

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 @@
		b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe
		6c2f5ab988e2c5f98b1cdeb04b8a5787d8a7c566
+10 −2		library/Booster/JsonRpc.hs
+5 −5		library/Booster/Pattern/Rewrite.hs
+9 −0		...ation/test-diamond/params-mutual-constraints-terminal-log-fallbacks-and-failed-and-successful-rewrites.json
+8 −0		test/rpc-integration/test-diamond/params-mutual-constraints-terminal-log-fallbacks-and-failed-rewrites.json
+7 −0		test/rpc-integration/test-diamond/params-mutual-constraints-terminal-log-fallbacks.json
+408 −0		...ion/test-diamond/response-mutual-constraints-terminal-log-fallbacks-and-failed-and-successful-rewrites.json
+299 −0		test/rpc-integration/test-diamond/response-mutual-constraints-terminal-log-fallbacks-and-failed-rewrites.json
+290 −0		test/rpc-integration/test-diamond/response-mutual-constraints-terminal-log-fallbacks.json
+0 −8		test/rpc-integration/test-logTiming/response-c.json
+1 −1		test/rpc-integration/test-logTiming/test.sh
+108 −50		tools/booster/Proxy.hs
+52 −30		unit-tests/Test/Booster/Pattern/Rewrite.hs