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

…ate to version 303d568ed2a6bbe0b7d71d9df65b22b43b0c39ba
runtimeverification · Oct 10, 2023 · 5093cad · 5093cad
1 parent f7dc682
commit 5093cad
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/cdc83446c302961cd6abd2bca8c3e73dde8f6eab";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/ec1da250a8da41dc6b9aeb7786cd4093d3584225";
+      url = "github:runtimeverification/hs-backend-booster/303d568ed2a6bbe0b7d71d9df65b22b43b0c39ba";
       # 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
+4 −4		flake.lock
+1 −1		flake.nix
+2 −2		library/Booster/JsonRpc.hs
+25 −24		library/Booster/JsonRpc/Utils.hs
+7 −5		library/Booster/Syntax/Json/Externalise.hs
+18 −27		library/Booster/Syntax/Json/Internalise.hs
+9 −9		library/Booster/Syntax/ParsedKore/Internalise.hs
+16 −6		library/Booster/Syntax/ParsedKore/Parser.y
+2 −0		package.yaml
+1 −1		stack.yaml
+8 −8		stack.yaml.lock
+393 −400		test/jsonrpc-examples/expected/[email protected]
+390 −397		test/jsonrpc-examples/expected/[email protected]
+519 −479		test/parser/bool.kore.json
+390 −374		test/parser/list.kore.json
+261 −245		test/parser/nat.kore.json
+44 −42		test/parser/test-issue-94-2.kore.json
+17 −15		test/parser/test-pattern-3.kore.json
+17 −15		test/parser/test-pattern-4.kore.json
+1 −1		test/rpc-integration/test-diamond/response-infeasible-branching.booster-dev
+393 −453		test/rpc-integration/test-foundry-bug-report/response-007.json
+393 −453		test/rpc-integration/test-foundry-bug-report/response-009.json
+393 −453		test/rpc-integration/test-foundry-bug-report/response-011.json
+393 −453		test/rpc-integration/test-foundry-bug-report/response-013.json
+193 −223		test/rpc-integration/test-foundry-bug-report/response-015.json
+2 −2		unit-tests/Test/Booster/Syntax/Json.hs