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

…ate to version 4ddf92ea7857e43857e1aeef38bb4c3c3d4b898a
runtimeverification · Sep 12, 2023 · ac0a514 · ac0a514
1 parent f25dff1
commit ac0a514
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/d677fe6bfc7305a3b515a7e99d78998ff7c370e3";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/8aac6e3852e522867610a294f8e8b07867f120d6";
+      url = "github:runtimeverification/hs-backend-booster/4ddf92ea7857e43857e1aeef38bb4c3c3d4b898a";
       # 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
+36 −38		library/Booster/JsonRpc.hs
+324 −286		test/rpc-integration/resources/diamond.kore
+13 −0		test/rpc-integration/resources/diamond/test.k
+8 −0		test/rpc-integration/test-a-to-f/params-terminal-rule-with-logging.json
+251 −0		test/rpc-integration/test-a-to-f/response-terminal-rule-with-logging.json
+74 −0		test/rpc-integration/test-a-to-f/state-terminal-rule-with-logging.json
+4 −0		test/rpc-integration/test-diamond/params-mutual-constraints-stuck.json
+8 −0		test/rpc-integration/test-diamond/params-mutual-constraints-terminal.json
+111 −0		test/rpc-integration/test-diamond/response-mutual-constraints-stuck.booster-dev
+233 −0		test/rpc-integration/test-diamond/response-mutual-constraints-stuck.json
+118 −0		test/rpc-integration/test-diamond/response-mutual-constraints-stuck.kore-rpc-dev
+111 −0		test/rpc-integration/test-diamond/response-mutual-constraints-terminal.booster-dev
+218 −0		test/rpc-integration/test-diamond/response-mutual-constraints-terminal.json
+119 −0		test/rpc-integration/test-diamond/response-mutual-constraints-terminal.kore-rpc-dev
+90 −0		test/rpc-integration/test-diamond/state-mutual-constraints-stuck.execute
+90 −0		test/rpc-integration/test-diamond/state-mutual-constraints-terminal.execute
+137 −67		tools/booster/Proxy.hs