Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update dependency: deps/haskell-backend_release #4319

Merged
merged 34 commits into from
May 16, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
34 commits
Select commit Hold shift + click to select a range
4a8ec40
deps/haskell-backend_release: Set Version fcaae2871deda2090f4707dd09a…
May 7, 2024
4c6864b
flake.nix, haskell-backend/src/main/native/haskell-backend: update to…
May 7, 2024
07ee082
flake.lock: update
May 7, 2024
fb14fee
deps/haskell-backend_release: Set Version eb0ec7690fb6e7beaacb4a5cdbd…
May 7, 2024
d4204db
flake.nix, haskell-backend/src/main/native/haskell-backend: update to…
May 7, 2024
a7677f5
flake.lock: update
May 7, 2024
3dad5cd
Merge remote-tracking branch 'origin/develop' into _update-deps/runti…
May 7, 2024
ff56a00
deps/haskell-backend_release: Set Version 538d079599c85f5789b2a4d8d8d…
May 7, 2024
0871af7
flake.nix, haskell-backend/src/main/native/haskell-backend: update to…
May 7, 2024
10751fd
flake.lock: update
May 7, 2024
a85b147
Merge remote-tracking branch 'origin/develop' into _update-deps/runti…
May 8, 2024
236f250
deps/haskell-backend_release: Set Version a0ca443f999f9a71ea8bdaab78e…
May 8, 2024
dbd3c58
flake.nix, haskell-backend/src/main/native/haskell-backend: update to…
May 8, 2024
87ab121
flake.lock: update
May 8, 2024
5a6f82b
Merge remote-tracking branch 'origin/develop' into _update-deps/runti…
May 10, 2024
3180e53
deps/haskell-backend_release: Set Version aa1bc71a8c2c6937306ca1f411c…
May 10, 2024
67fb336
flake.nix, haskell-backend/src/main/native/haskell-backend: update to…
May 10, 2024
9b4ed3f
flake.lock: update
May 10, 2024
4500a7e
Update implication check API
geo2a May 10, 2024
390d079
deps/haskell-backend_release: Set Version df703fed9c5f7e4e0e2d13129ce…
May 10, 2024
cd62e54
flake.nix, haskell-backend/src/main/native/haskell-backend: update to…
May 10, 2024
0846dbd
flake.lock: update
May 10, 2024
bdae883
Merge remote-tracking branch 'origin/develop' into _update-deps/runti…
May 15, 2024
265ee7b
deps/haskell-backend_release: Set Version 527843308d3c49c41c347619614…
May 15, 2024
c55228d
flake.nix, haskell-backend/src/main/native/haskell-backend: update to…
May 15, 2024
1121796
flake.lock: update
May 15, 2024
db8dddf
Merge branch 'develop' into _update-deps/runtimeverification/haskell-…
geo2a May 15, 2024
6f1e1a7
Merge branch 'develop' into _update-deps/runtimeverification/haskell-…
geo2a May 15, 2024
5875a76
Merge branch 'develop' into _update-deps/runtimeverification/haskell-…
geo2a May 15, 2024
c591570
Add more verbosity to pyk integration tests on CI
gtrepta May 15, 2024
ed71879
Merge remote-tracking branch 'origin/develop' into _update-deps/runti…
geo2a May 16, 2024
d2db314
deps/haskell-backend_release: Set Version b27210141c06c5698201dc3f1fa…
May 16, 2024
f95ece2
flake.nix, haskell-backend/src/main/native/haskell-backend: update to…
May 16, 2024
057525d
flake.lock: update
May 16, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion deps/haskell-backend_release
Original file line number Diff line number Diff line change
@@ -1 +1 @@
88ef647ec106b3ba1612ea848a61ba3c2fd3f786
b27210141c06c5698201dc3f1fabc90bd09ffe59
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
@@ -1,7 +1,7 @@
{
description = "K Framework";
inputs = {
haskell-backend.url = "github:runtimeverification/haskell-backend/88ef647ec106b3ba1612ea848a61ba3c2fd3f786";
haskell-backend.url = "github:runtimeverification/haskell-backend/b27210141c06c5698201dc3f1fabc90bd09ffe59";
nixpkgs.follows = "llvm-backend/nixpkgs";
flake-utils.url = "github:numtide/flake-utils";
llvm-backend = {
Expand Down
2 changes: 1 addition & 1 deletion haskell-backend/src/main/native/haskell-backend
Submodule haskell-backend updated 50 files
+29 −0 booster/library/Booster/CLOptions.hs
+126 −7 booster/library/Booster/JsonRpc.hs
+12 −10 booster/library/Booster/JsonRpc/Utils.hs
+1 −6 booster/library/Booster/Log.hs
+72 −32 booster/library/Booster/Pattern/ApplyEquations.hs
+41 −33 booster/library/Booster/Pattern/Match.hs
+7 −14 booster/library/Booster/Pattern/Rewrite.hs
+8 −6 booster/library/Booster/Syntax/ParsedKore/Internalise.hs
+3 −0 booster/package.yaml
+1 −1 booster/test/rpc-integration/test-foundry-bug-report/response-006.json
+1 −1 booster/test/rpc-integration/test-foundry-bug-report/response-008.json
+1 −1 booster/test/rpc-integration/test-foundry-bug-report/response-010.json
+1 −1 booster/test/rpc-integration/test-foundry-bug-report/response-012.json
+1 −1 booster/test/rpc-integration/test-foundry-bug-report/response-014.json
+1 −1 booster/test/rpc-integration/test-foundry-bug-report/response-016.json
+277 −270 booster/test/rpc-integration/test-log-simplify-json/simplify-log.txt.golden
+19 −3 booster/tools/booster/Proxy.hs
+47 −30 booster/tools/booster/Server.hs
+61 −21 booster/tools/rpc-client/RpcClient.hs
+513 −0 booster/unit-tests/Test/Booster/Pattern/MatchImplies.hs
+84 −68 dev-tools/kore-rpc-dev/Server.hs
+1 −0 dev-tools/package.yaml
+5 −2 docs/2022-07-18-JSON-RPC-Server-API.md
+1 −0 flake.nix
+2 −0 kore-rpc-types/kore-rpc-types.cabal
+4 −3 kore-rpc-types/src/Kore/JsonRpc/Types.hs
+30 −0 kore-rpc-types/src/Kore/Util.hs
+2 −2 kore/app/rpc/Main.hs
+2 −0 kore/kore.cabal
+48 −16 kore/src/Kore/Equation/DebugEquation.hs
+21 −15 kore/src/Kore/JsonRpc.hs
+59 −159 kore/src/Kore/Log.hs
+159 −0 kore/src/Kore/Log/BoosterAdaptor.hs
+2 −3 kore/src/Kore/Log/DebugAppliedRewriteRules.hs
+1 −0 kore/src/Kore/Log/DebugAttemptUnification.hs
+46 −3 kore/src/Kore/Log/DebugAttemptedRewriteRules.hs
+26 −0 kore/src/Kore/Log/DebugContext.hs
+5 −15 kore/src/Kore/Log/KoreLogOptions.hs
+2 −0 kore/src/Kore/Log/Registry.hs
+1 −1 kore/src/Kore/Repl/State.hs
+30 −24 kore/src/Kore/Rewrite/Step.hs
+4 −0 kore/src/Log/Entry.hs
+4 −0 kore/test/Test/Kore/Rewrite/RewriteStep.hs
+1 −1 scripts/booster-integration-tests.sh
+34 −10 scripts/performance-tests-kevm.sh
+24 −5 scripts/performance-tests-kontrol.sh
+1 −1 test/rpc-server/implies/implied-substitution/response.golden
+1 −1 test/rpc-server/implies/implied-trivial/response.golden
+1 −1 test/rpc-server/implies/not-implied-stuck/response.golden
+1 −1 test/rpc-server/implies/not-implied/response.golden
2 changes: 1 addition & 1 deletion pyk/src/pyk/kore/rpc.py
Original file line number Diff line number Diff line change
Expand Up @@ -872,7 +872,7 @@ def from_dict(dct: Mapping[str, Any]) -> ImpliesResult:
predicate = dct.get('condition', {}).get('predicate')
logs = tuple(LogEntry.from_dict(l) for l in dct['logs']) if 'logs' in dct else ()
return ImpliesResult(
valid=dct['satisfiable'],
valid=dct['valid'],
implication=kore_term(dct['implication']),
substitution=kore_term(substitution) if substitution is not None else None,
predicate=kore_term(predicate) if predicate is not None else None,
Expand Down
2 changes: 1 addition & 1 deletion pyk/src/tests/unit/kore/test_client.py
Original file line number Diff line number Diff line change
Expand Up @@ -178,7 +178,7 @@ def test_execute(
int_bottom,
int_top,
{'antecedent': kore(int_bottom), 'consequent': kore(int_top)},
{'satisfiable': True, 'implication': kore(int_top)},
{'valid': True, 'implication': kore(int_top)},
ImpliesResult(True, int_top, None, None, ()),
),
)
Expand Down
Loading