Skip to content

Commit

Permalink
Update dependency: deps/hs-backend-booster_release (#3907)
Browse files Browse the repository at this point in the history
Co-authored-by: devops <[email protected]>
Co-authored-by: Samuel Balco <[email protected]>
  • Loading branch information
3 people authored Jan 18, 2024
1 parent 30fbef2 commit ddc549b
Show file tree
Hide file tree
Showing 4 changed files with 7 additions and 7 deletions.
2 changes: 1 addition & 1 deletion deps/hs-backend-booster_release
Original file line number Diff line number Diff line change
@@ -1 +1 @@
6067fee77da53ac357ce5d17ad34e4639070804a
60beeb07af3f89e65d116c45559fc34dbc55afb3
8 changes: 4 additions & 4 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
inputs = {
haskell-backend.url = "github:runtimeverification/haskell-backend/ca05f14b7957fec9f2a5ab3444cae01c5a76f12f";
booster-backend = {
url = "github:runtimeverification/hs-backend-booster/6067fee77da53ac357ce5d17ad34e4639070804a";
url = "github:runtimeverification/hs-backend-booster/60beeb07af3f89e65d116c45559fc34dbc55afb3";
inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
inputs.haskell-backend.follows = "haskell-backend";
inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix";
Expand Down
2 changes: 1 addition & 1 deletion hs-backend-booster/src/main/native/hs-backend-booster
Submodule hs-backend-booster updated 35 files
+1 −0 .gitignore
+9 −0 README.md
+1 −0 flake.nix
+20 −4 library/Booster/JsonRpc.hs
+11 −2 library/Booster/Pattern/ApplyEquations.hs
+9 −2 library/Booster/Pattern/Rewrite.hs
+17 −0 scripts/Count.hs
+60 −0 scripts/booster-analysis.sh
+4 −0 scripts/integration-tests.sh
+28 −2 scripts/performance-tests-kevm.sh
+130 −0 scripts/run-with-tarball.sh
+34 −0 test/rpc-integration/resources/condition-filtering.k
+2,823 −0 test/rpc-integration/resources/condition-filtering.kore
+24 −0 test/rpc-integration/test-condition-filtering/README.md
+1 −0 test/rpc-integration/test-condition-filtering/params-s1-x0.json
+1 −0 test/rpc-integration/test-condition-filtering/params-s1x-and-x-is-0.json
+1 −0 test/rpc-integration/test-condition-filtering/params-s2x-and-px.json
+3 −0 test/rpc-integration/test-condition-filtering/params-single-step.json
+97 −0 test/rpc-integration/test-condition-filtering/response-s1-x0.json
+132 −0 test/rpc-integration/test-condition-filtering/response-s1x-and-x-is-0.json
+139 −0 test/rpc-integration/test-condition-filtering/response-s2x-and-px.json
+87 −0 test/rpc-integration/test-condition-filtering/s1-x0.json
+128 −0 test/rpc-integration/test-condition-filtering/s1x-and-x-is-0.json
+135 −0 test/rpc-integration/test-condition-filtering/s2x-and-px.json
+1 −0 test/rpc-integration/test-condition-filtering/state-s1-x0.execute
+1 −0 test/rpc-integration/test-condition-filtering/state-s1x-and-x-is-0.execute
+1 −0 test/rpc-integration/test-condition-filtering/state-s2x-and-px.execute
+4 −2 test/rpc-integration/test-substitutions/README.md
+339 −0 test/rpc-integration/test-substitutions/response-circular-equations.booster-dev
+168 −0 test/rpc-integration/test-substitutions/response-concrete-substitution.booster-dev
+240 −0 test/rpc-integration/test-substitutions/response-symbolic-bottom-predicate.booster-dev
+168 −0 test/rpc-integration/test-substitutions/response-symbolic-substitution.booster-dev
+183 −0 test/rpc-integration/test-substitutions/response-symbolic-two-substitutions.booster-dev
+28 −63 test/rpc-integration/test-substitutions/response-symbolic-two-substitutions.json
+91 −0 test/rpc-integration/test-substitutions/response-unsupported-predicate.booster-dev

0 comments on commit ddc549b

Please sign in to comment.