Skip to content

Commit

Permalink
Update dependency: deps/haskell-backend_release (#4675)
Browse files Browse the repository at this point in the history
Co-authored-by: devops <[email protected]>
Co-authored-by: Jost Berthold <[email protected]>
  • Loading branch information
3 people authored Oct 29, 2024
1 parent 8f64fca commit 1dc2611
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.92
v0.1.94
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.103";
haskell-backend = {
url = "github:runtimeverification/haskell-backend/v0.1.92";
url = "github:runtimeverification/haskell-backend/v0.1.94";
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 58 files
+53 −29 booster/library/Booster/JsonRpc.hs
+11 −0 booster/library/Booster/Pattern/Bool.hs
+395 −142 booster/library/Booster/Pattern/Rewrite.hs
+11 −1 booster/library/Booster/Pattern/Util.hs
+8 −1 booster/library/Booster/SMT/Interface.hs
+1 −1 booster/package.yaml
+1 −3 booster/test/rpc-integration/resources/3934-smt.kompile
+202 −0 booster/test/rpc-integration/resources/remainder-predicates.k
+4 −0 booster/test/rpc-integration/resources/remainder-predicates.kompile
+60 −7 booster/test/rpc-integration/resources/use-path-condition-in-equations.k
+2,316 −0 booster/test/rpc-integration/test-3934-smt/response-003.booster-dev
+3,546 −1 booster/test/rpc-integration/test-3934-smt/response-004.json
+2,236 −0 booster/test/rpc-integration/test-3934-smt/response-005.booster-dev
+2,205 −0 booster/test/rpc-integration/test-3934-smt/response-007.booster-dev
+11,524 −0 booster/test/rpc-integration/test-3934-smt/response-008.booster-dev
+232 −2 booster/test/rpc-integration/test-a-to-f/response-branching.booster-dev
+400 −0 booster/test/rpc-integration/test-a-to-f/response-branching.kore-rpc-dev
+1 −0 booster/test/rpc-integration/test-issue3764-vacuous-branch/README.md
+37,811 −0 booster/test/rpc-integration/test-issue3764-vacuous-branch/response-branch-after-one.booster-dev
+37,801 −0 booster/test/rpc-integration/test-issue3764-vacuous-branch/response-branch-in-zero.booster-dev
+1 −0 booster/test/rpc-integration/test-issue3764-vacuous-branch/state-suspected-vacuous.json
+14,966 −0 booster/test/rpc-integration/test-issue3764-vacuous-branch/suspected-vacuous-state.json
+3 −0 booster/test/rpc-integration/test-remainder-predicates/README.md
+779 −0 booster/test/rpc-integration/test-remainder-predicates/response-test1.booster-dev
+692 −0 booster/test/rpc-integration/test-remainder-predicates/response-test1.json
+779 −0 booster/test/rpc-integration/test-remainder-predicates/response-test11.booster-dev
+692 −0 booster/test/rpc-integration/test-remainder-predicates/response-test11.json
+97 −0 booster/test/rpc-integration/test-remainder-predicates/response-test2.booster-dev
+936 −0 booster/test/rpc-integration/test-remainder-predicates/response-test2.json
+97 −0 booster/test/rpc-integration/test-remainder-predicates/response-test3.booster-dev
+936 −0 booster/test/rpc-integration/test-remainder-predicates/response-test3.json
+97 −0 booster/test/rpc-integration/test-remainder-predicates/response-test4.booster-dev
+1,006 −0 booster/test/rpc-integration/test-remainder-predicates/response-test4.json
+97 −0 booster/test/rpc-integration/test-remainder-predicates/response-test5.booster-dev
+1,065 −0 booster/test/rpc-integration/test-remainder-predicates/response-test5.json
+97 −0 booster/test/rpc-integration/test-remainder-predicates/response-test6.booster-dev
+1,405 −0 booster/test/rpc-integration/test-remainder-predicates/response-test6.json
+87 −0 booster/test/rpc-integration/test-remainder-predicates/state-test1.execute
+87 −0 booster/test/rpc-integration/test-remainder-predicates/state-test11.execute
+87 −0 booster/test/rpc-integration/test-remainder-predicates/state-test2.execute
+87 −0 booster/test/rpc-integration/test-remainder-predicates/state-test3.execute
+87 −0 booster/test/rpc-integration/test-remainder-predicates/state-test4.execute
+87 −0 booster/test/rpc-integration/test-remainder-predicates/state-test5.execute
+87 −0 booster/test/rpc-integration/test-remainder-predicates/state-test6.execute
+132 −0 booster/test/rpc-integration/test-use-path-condition-in-equations/response-test3.json
+132 −0 booster/test/rpc-integration/test-use-path-condition-in-equations/response-test4.json
+87 −0 booster/test/rpc-integration/test-use-path-condition-in-equations/state-test3.execute
+87 −0 booster/test/rpc-integration/test-use-path-condition-in-equations/state-test4.execute
+1 −1 booster/tools/booster/Proxy.hs
+128 −20 booster/unit-tests/Test/Booster/Pattern/Rewrite.hs
+1 −1 deps/k_release
+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
+2 −2 scripts/booster-integration-tests.sh
+21 −5 scripts/performance-tests-kontrol.sh

0 comments on commit 1dc2611

Please sign in to comment.