Skip to content

Commit

Permalink
flake.nix, haskell-backend/src/main/native/haskell-backend: update to…
Browse files Browse the repository at this point in the history
… version v0.1.38
  • Loading branch information
rv-jenkins committed Jul 16, 2024
1 parent 0cbda30 commit f7f5794
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion haskell-backend/src/main/native/haskell-backend
Submodule haskell-backend updated 24 files
+58 −11 booster/library/Booster/Pattern/ApplyEquations.hs
+1 −1 booster/package.yaml
+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
+38 −261 booster/test/rpc-integration/test-issue3764-vacuous-branch/response-branch-after-one.json
+38 −261 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
+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

0 comments on commit f7f5794

Please sign in to comment.