Update dependency: deps/haskell-backend_release (#4517)

Co-authored-by: devops <[email protected]> Co-authored-by: Jost Berthold <[email protected]>
runtimeverification · Jul 17, 2024 · c373e13 · c373e13
1 parent a3838ba
commit c373e13
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.32
+v0.1.40
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
+2 −2		booster/library/Booster/CLOptions.hs
+58 −11		booster/library/Booster/Pattern/ApplyEquations.hs
+25 −14		booster/library/Booster/Pattern/Rewrite.hs
+7 −3		booster/library/Booster/SMT/Interface.hs
+12 −7		booster/library/Booster/SMT/Runner.hs
+2 −1		booster/package.yaml
+1,701 −1,271		booster/test/llvm-integration/LLVM.hs
+10 −10		booster/test/llvm-integration/definition/llvm.k
+37 −0		booster/test/rpc-integration/resources/simplify-smt.k
+3,483 −0		booster/test/rpc-integration/resources/simplify-smt.kore
+3 −2		booster/test/rpc-integration/resources/use-path-condition-in-equations.k
+104 −271		booster/test/rpc-integration/test-issue3764-vacuous-branch/response-branch-after-one.json
+104 −271		booster/test/rpc-integration/test-issue3764-vacuous-branch/response-branch-in-zero.json
+18 −0		booster/test/rpc-integration/test-simplify-smt/response-unevaluated-0-1.json
+26 −0		booster/test/rpc-integration/test-simplify-smt/response-unevaluated-1-1.json
+140 −0		booster/test/rpc-integration/test-simplify-smt/response-unevaluated-X-Y-both-lt-0.json
+35 −0		booster/test/rpc-integration/test-simplify-smt/response-unevaluated-X-Y.json
+18 −0		booster/test/rpc-integration/test-simplify-smt/response-unevaluated-X-Y.kore-rpc-dev
+29 −0		booster/test/rpc-integration/test-simplify-smt/state-unevaluated-0-1.simplify
+29 −0		booster/test/rpc-integration/test-simplify-smt/state-unevaluated-1-1.simplify
+133 −0		booster/test/rpc-integration/test-simplify-smt/state-unevaluated-X-Y-both-lt-0.simplify
+29 −0		booster/test/rpc-integration/test-simplify-smt/state-unevaluated-X-Y.simplify
+4 −4		booster/test/rpc-integration/test-use-path-condition-in-equations/response-test2.json
+56 −26		booster/tools/booster/Proxy.hs
+5 −5		booster/tools/booster/Server.hs
+25 −6		booster/tools/rpc-client/RpcClient.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
+1 −1		scripts/performance-tests-kontrol.sh