flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: upd…

…ate to version b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe
runtimeverification · Sep 20, 2023 · f05d0f8 · f05d0f8
1 parent 2544ae6
commit f05d0f8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
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/ca1971761cfdbc0814b57bae9f11191e60881dd2";
+      url = "github:runtimeverification/hs-backend-booster/b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe";
       # 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
+2 −2		cabal.project
+1 −1		deps/haskell-backend_release
+3 −3		flake.lock
+67 −30		library/Booster/JsonRpc.hs
+1 −0		package.yaml
+1 −1		stack.yaml
+6 −6		stack.yaml.lock
+1 −0		test/rpc-integration/resources/logTiming.kore
+5 −1		test/rpc-integration/runDirectoryTest.sh
+113 −0		test/rpc-integration/test-logTiming/response-c.json
+1 −0		test/rpc-integration/test-logTiming/state-c.execute
+31 −0		test/rpc-integration/test-logTiming/test.sh
+71 −31		tools/booster/Proxy.hs
+6 −1		tools/rpc-client/RpcClient.hs