Skip to content

Commit

Permalink
Update dependency: deps/haskell-backend_release (#4558)
Browse files Browse the repository at this point in the history
Co-authored-by: devops <[email protected]>
  • Loading branch information
rv-jenkins and devops authored Aug 2, 2024
1 parent 72ee1ab commit 2afa840
Show file tree
Hide file tree
Showing 4 changed files with 7 additions and 7 deletions.
2 changes: 1 addition & 1 deletion deps/haskell-backend_release
Original file line number Diff line number Diff line change
@@ -1 +1 @@
v0.1.51
v0.1.57
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 = {
llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.69";
haskell-backend = {
url = "github:runtimeverification/haskell-backend/v0.1.51";
url = "github:runtimeverification/haskell-backend/v0.1.57";
inputs.rv-utils.follows = "llvm-backend/rv-utils";
inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
};
Expand Down
2 changes: 1 addition & 1 deletion haskell-backend/src/main/native/haskell-backend
Submodule haskell-backend updated 82 files
+68 −40 booster/library/Booster/CLOptions.hs
+3 −1 booster/library/Booster/Definition/Ceil.hs
+51 −26 booster/library/Booster/JsonRpc.hs
+27 −28 booster/library/Booster/Pattern/ApplyEquations.hs
+22 −2 booster/library/Booster/Pattern/Match.hs
+67 −77 booster/library/Booster/Pattern/Rewrite.hs
+1 −2 booster/library/Booster/SMT/Base.hs
+46 −34 booster/library/Booster/SMT/Interface.hs
+2 −2 booster/library/Booster/SMT/LowLevelCodec.hs
+23 −18 booster/library/Booster/SMT/Runner.hs
+1 −1 booster/package.yaml
+73,985 −0 booster/test/rpc-integration/resources/implies-issue-3941.kore
+2,685 −0 booster/test/rpc-integration/resources/implies.kore
+5,381 −0 booster/test/rpc-integration/resources/implies2.kore
+11 −0 booster/test/rpc-integration/test-implies-issue-3941/response-001.booster-dev
+7,065 −0 booster/test/rpc-integration/test-implies-issue-3941/response-001.json
+1 −0 booster/test/rpc-integration/test-implies-issue-3941/state-001.send
+1 −0 booster/test/rpc-integration/test-implies/response-0->1.json
+25 −0 booster/test/rpc-integration/test-implies/response-0->T.booster-dev
+1 −0 booster/test/rpc-integration/test-implies/response-0->T.json
+11 −0 booster/test/rpc-integration/test-implies/response-X->0.booster-dev
+86 −0 booster/test/rpc-integration/test-implies/response-X->0.json
+25 −0 booster/test/rpc-integration/test-implies/response-X->T.booster-dev
+62 −0 booster/test/rpc-integration/test-implies/response-X->T.json
+1 −0 booster/test/rpc-integration/test-implies/response-X->X.json
+1 −0 booster/test/rpc-integration/test-implies/response-fail-0->X.json
+96 −0 booster/test/rpc-integration/test-implies/response-fail-X->Y.booster-dev
+1 −0 booster/test/rpc-integration/test-implies/response-fail-X->Y.json
+1 −0 booster/test/rpc-integration/test-implies/state-0->1.send
+1 −0 booster/test/rpc-integration/test-implies/state-0->T.send
+1 −0 booster/test/rpc-integration/test-implies/state-X->0.send
+1 −0 booster/test/rpc-integration/test-implies/state-X->T.send
+1 −0 booster/test/rpc-integration/test-implies/state-X->X.send
+1 −0 booster/test/rpc-integration/test-implies/state-fail-0->X.send
+1 −0 booster/test/rpc-integration/test-implies/state-fail-X->Y.send
+41 −0 booster/test/rpc-integration/test-implies2/README.md
+530 −0 booster/test/rpc-integration/test-implies2/response-antecedent-bottom.booster-dev
+479 −0 booster/test/rpc-integration/test-implies2/response-antecedent-bottom.json
+9 −0 booster/test/rpc-integration/test-implies2/response-consequent-constraint.booster-dev
+463 −0 booster/test/rpc-integration/test-implies2/response-consequent-constraint.json
+416 −0 booster/test/rpc-integration/test-implies2/response-constant-subst.booster-dev
+406 −0 booster/test/rpc-integration/test-implies2/response-constant-subst.json
+9 −0 booster/test/rpc-integration/test-implies2/response-refutation-1.booster-dev
+522 −0 booster/test/rpc-integration/test-implies2/response-refutation-1.json
+9 −0 booster/test/rpc-integration/test-implies2/response-refutation-3.booster-dev
+422 −0 booster/test/rpc-integration/test-implies2/response-refutation-3.json
+9 −0 booster/test/rpc-integration/test-implies2/response-refutation-4.booster-dev
+550 −0 booster/test/rpc-integration/test-implies2/response-refutation-4.json
+369 −0 booster/test/rpc-integration/test-implies2/response-trivial.json
+380 −0 booster/test/rpc-integration/test-implies2/response-variable-subst.booster-dev
+370 −0 booster/test/rpc-integration/test-implies2/response-variable-subst.json
+449 −0 booster/test/rpc-integration/test-implies2/state-antecedent-bottom.send
+410 −0 booster/test/rpc-integration/test-implies2/state-consequent-constraint.send
+335 −0 booster/test/rpc-integration/test-implies2/state-constant-subst.send
+492 −0 booster/test/rpc-integration/test-implies2/state-refutation-1.send
+392 −0 booster/test/rpc-integration/test-implies2/state-refutation-3.send
+520 −0 booster/test/rpc-integration/test-implies2/state-refutation-4.send
+339 −0 booster/test/rpc-integration/test-implies2/state-trivial.send
+317 −0 booster/test/rpc-integration/test-implies2/state-variable-subst.send
+28 −0 booster/test/rpc-integration/test-questionmark-vars/README.md
+225 −0 booster/test/rpc-integration/test-questionmark-vars/response-one-ques-substitution.booster-dev
+235 −0 booster/test/rpc-integration/test-questionmark-vars/response-one-ques-substitution.json
+185 −0 booster/test/rpc-integration/test-questionmark-vars/state-one-ques-substitution.execute
+13 −9 booster/tools/booster/Server.hs
+47 −53 booster/unit-tests/Test/Booster/Pattern/ApplyEquations.hs
+1 −0 booster/unit-tests/Test/Booster/Pattern/InternalCollections.hs
+15 −0 booster/unit-tests/Test/Booster/Pattern/MatchEval.hs
+12 −0 booster/unit-tests/Test/Booster/Pattern/MatchImplies.hs
+12 −0 booster/unit-tests/Test/Booster/Pattern/MatchRewrite.hs
+41 −18 booster/unit-tests/Test/Booster/Pattern/Rewrite.hs
+1 −1 booster/unit-tests/Test/Booster/SMT/LowLevel.hs
+8 −0 booster/unit-tests/Test/Booster/Util.hs
+1 −1 deps/k_release
+17 −11 dev-tools/booster-dev/Server.hs
+9 −6 dev-tools/kore-rpc-dev/Server.hs
+1 −1 dev-tools/package.yaml
+1 −1 kore-rpc-types/kore-rpc-types.cabal
+1 −1 kore/kore.cabal
+1 −1 package/debian/changelog
+1 −1 package/version
+1 −1 scripts/booster-integration-tests.sh
+20 −6 scripts/performance-tests-kevm.sh

0 comments on commit 2afa840

Please sign in to comment.