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

Co-authored-by: devops <[email protected]> Co-authored-by: Samuel Balco <[email protected]>
runtimeverification · Jan 24, 2024 · 74bded8 · 74bded8
1 parent d6aeff9
commit 74bded8
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 @@
-f295a6a99b9cf6e8ebc33f553373fa41c1270f90
+a956edb011001aaf1296c3bbf004498427df7263
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/25f07c8b37b85bf19c8ec0894b60a51cb5e73842";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/de63565944540344cba242343500f1a61ece45c5";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/f295a6a99b9cf6e8ebc33f553373fa41c1270f90";
+      url = "github:runtimeverification/hs-backend-booster/a956edb011001aaf1296c3bbf004498427df7263";
       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 @@
		f295a6a99b9cf6e8ebc33f553373fa41c1270f90
		a956edb011001aaf1296c3bbf004498427df7263
+1 −1		cabal.project.freeze
+36 −4		docs/2022-07-18-JSON-RPC-Server-API.md
+21 −1		docs/profiling.md
+2 −0		kore-rpc-types/src/Kore/JsonRpc/Error.hs
+2 −1		kore-rpc-types/src/Kore/JsonRpc/Types.hs
+1 −0		kore/src/Kore/BugReport.hs
+2 −2		kore/src/Kore/IndexedModule/IndexedModule.hs
+104 −47		kore/src/Kore/JsonRpc.hs
+2 −1		test/rpc-server/add-module/add/params.json
+1 −1		test/rpc-server/add-module/add/response.golden
+7 −0		test/rpc-server/runTests.py
+1 −1		cabal.project
+1 −1		deps/haskell-backend_release
+4 −4		flake.lock
+1 −1		flake.nix
+71 −34		library/Booster/JsonRpc.hs
+0 −3		library/Booster/Syntax/ParsedKore/Internalise.hs
+3 −0		package.yaml
+1 −1		stack.yaml
+6 −6		stack.yaml.lock
+1 −1		test/rpc-integration/test-foundry-bug-report/response-004.json
+1 −1		test/rpc-integration/test-foundry-bug-report/response-005.json
+1 −1		test/rpc-integration/test-foundry-bug-report/state-004.send
+1 −1		test/rpc-integration/test-foundry-bug-report/state-005.send
+1 −0		test/rpc-integration/test-module-addition/params-03-add-new-module.json
+1 −1		test/rpc-integration/test-module-addition/response-03-add-new-module.json
+12 −6		tools/rpc-client/RpcClient.hs