From 4a8ec40ec03fd9d35b912cf7507f34606a9acced Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 7 May 2024 08:27:56 +0000 Subject: [PATCH 01/26] deps/haskell-backend_release: Set Version fcaae2871deda2090f4707dd09a45dec4065ff11 --- deps/haskell-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index 3100e17414b..70799a3d6f6 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -88ef647ec106b3ba1612ea848a61ba3c2fd3f786 +fcaae2871deda2090f4707dd09a45dec4065ff11 From 4c6864bfb809f8bda6143795696dfd5e403f4277 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 7 May 2024 08:28:43 +0000 Subject: [PATCH 02/26] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version fcaae2871deda2090f4707dd09a45dec4065ff11 --- flake.nix | 2 +- haskell-backend/src/main/native/haskell-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index a2790ee536c..187db8cb1eb 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/88ef647ec106b3ba1612ea848a61ba3c2fd3f786"; + haskell-backend.url = "github:runtimeverification/haskell-backend/fcaae2871deda2090f4707dd09a45dec4065ff11"; nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 88ef647ec10..fcaae2871de 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 88ef647ec106b3ba1612ea848a61ba3c2fd3f786 +Subproject commit fcaae2871deda2090f4707dd09a45dec4065ff11 From 07ee082552d28cc60cdd2a6868d2fac51c56dacb Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 7 May 2024 08:28:53 +0000 Subject: [PATCH 03/26] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 69d0e065c78..35c5959507f 100644 --- a/flake.lock +++ b/flake.lock @@ -63,17 +63,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1714723283, - "narHash": "sha256-VdJd7QyRiiTNBI9LAJZCm9u7U3/36LW9l++wMydirO4=", + "lastModified": 1715068930, + "narHash": "sha256-pIgOlk0OtwEDUmGjkl8fQv6NoYSTXjbL9CLWcV+/5WM=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "88ef647ec106b3ba1612ea848a61ba3c2fd3f786", + "rev": "fcaae2871deda2090f4707dd09a45dec4065ff11", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "88ef647ec106b3ba1612ea848a61ba3c2fd3f786", + "rev": "fcaae2871deda2090f4707dd09a45dec4065ff11", "type": "github" } }, From fb14fee22a865240d1a8ee09a450cbe920dc7810 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 7 May 2024 10:32:04 +0000 Subject: [PATCH 04/26] deps/haskell-backend_release: Set Version eb0ec7690fb6e7beaacb4a5cdbd1cefbbf343a80 --- deps/haskell-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index 70799a3d6f6..f0521dd3e5c 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -fcaae2871deda2090f4707dd09a45dec4065ff11 +eb0ec7690fb6e7beaacb4a5cdbd1cefbbf343a80 From d4204dbc79a16428edd93bec448b85bc06537384 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 7 May 2024 10:32:50 +0000 Subject: [PATCH 05/26] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version eb0ec7690fb6e7beaacb4a5cdbd1cefbbf343a80 --- flake.nix | 2 +- haskell-backend/src/main/native/haskell-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 187db8cb1eb..48b630308b0 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/fcaae2871deda2090f4707dd09a45dec4065ff11"; + haskell-backend.url = "github:runtimeverification/haskell-backend/eb0ec7690fb6e7beaacb4a5cdbd1cefbbf343a80"; nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index fcaae2871de..eb0ec7690fb 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit fcaae2871deda2090f4707dd09a45dec4065ff11 +Subproject commit eb0ec7690fb6e7beaacb4a5cdbd1cefbbf343a80 From a7677f55534d3064538d258961f8e023301d96cc Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 7 May 2024 10:33:00 +0000 Subject: [PATCH 06/26] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 35c5959507f..a866ea17595 100644 --- a/flake.lock +++ b/flake.lock @@ -63,17 +63,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1715068930, - "narHash": "sha256-pIgOlk0OtwEDUmGjkl8fQv6NoYSTXjbL9CLWcV+/5WM=", + "lastModified": 1715076143, + "narHash": "sha256-Tk2u7EvvdNQet/1iUCU+29ak0IT+POaXTZnVfdx/9lE=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "fcaae2871deda2090f4707dd09a45dec4065ff11", + "rev": "eb0ec7690fb6e7beaacb4a5cdbd1cefbbf343a80", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "fcaae2871deda2090f4707dd09a45dec4065ff11", + "rev": "eb0ec7690fb6e7beaacb4a5cdbd1cefbbf343a80", "type": "github" } }, From ff56a0044686b86c64eb6d8d775ee53dd58e56b0 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 7 May 2024 12:11:05 +0000 Subject: [PATCH 07/26] deps/haskell-backend_release: Set Version 538d079599c85f5789b2a4d8d8db55c91e52cfdb --- deps/haskell-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index f0521dd3e5c..a2b22043a39 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -eb0ec7690fb6e7beaacb4a5cdbd1cefbbf343a80 +538d079599c85f5789b2a4d8d8db55c91e52cfdb From 0871af7568c087e66cc00a04e3cbbe515b809b9d Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 7 May 2024 12:11:52 +0000 Subject: [PATCH 08/26] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version 538d079599c85f5789b2a4d8d8db55c91e52cfdb --- flake.nix | 2 +- haskell-backend/src/main/native/haskell-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 48b630308b0..e737456d30c 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/eb0ec7690fb6e7beaacb4a5cdbd1cefbbf343a80"; + haskell-backend.url = "github:runtimeverification/haskell-backend/538d079599c85f5789b2a4d8d8db55c91e52cfdb"; nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index eb0ec7690fb..538d079599c 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit eb0ec7690fb6e7beaacb4a5cdbd1cefbbf343a80 +Subproject commit 538d079599c85f5789b2a4d8d8db55c91e52cfdb From 10751fdcb61931b309fadb8d72c2604466fa13de Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 7 May 2024 12:12:02 +0000 Subject: [PATCH 09/26] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index a866ea17595..89dce5fdefe 100644 --- a/flake.lock +++ b/flake.lock @@ -63,17 +63,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1715076143, - "narHash": "sha256-Tk2u7EvvdNQet/1iUCU+29ak0IT+POaXTZnVfdx/9lE=", + "lastModified": 1715082108, + "narHash": "sha256-ENuJjMV5EpjW3CdKxid095CmeSb4sQ/NWheHAZYn2Ss=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "eb0ec7690fb6e7beaacb4a5cdbd1cefbbf343a80", + "rev": "538d079599c85f5789b2a4d8d8db55c91e52cfdb", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "eb0ec7690fb6e7beaacb4a5cdbd1cefbbf343a80", + "rev": "538d079599c85f5789b2a4d8d8db55c91e52cfdb", "type": "github" } }, From 236f250f34d31569c1e38bb94a6b2edd402e658b Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 8 May 2024 15:44:30 +0000 Subject: [PATCH 10/26] deps/haskell-backend_release: Set Version a0ca443f999f9a71ea8bdaab78e91340e318830a --- deps/haskell-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index a2b22043a39..a8124c3a65a 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -538d079599c85f5789b2a4d8d8db55c91e52cfdb +a0ca443f999f9a71ea8bdaab78e91340e318830a From dbd3c58da5f2b125b024573b1ea24fbb3ebddb76 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 8 May 2024 15:45:19 +0000 Subject: [PATCH 11/26] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version a0ca443f999f9a71ea8bdaab78e91340e318830a --- flake.nix | 2 +- haskell-backend/src/main/native/haskell-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index c86da292771..60aae80a80a 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/538d079599c85f5789b2a4d8d8db55c91e52cfdb"; + haskell-backend.url = "github:runtimeverification/haskell-backend/a0ca443f999f9a71ea8bdaab78e91340e318830a"; nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 538d079599c..a0ca443f999 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 538d079599c85f5789b2a4d8d8db55c91e52cfdb +Subproject commit a0ca443f999f9a71ea8bdaab78e91340e318830a From 87ab121fe773f5fb5d8c8c94c3e572ec7db5ae93 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 8 May 2024 15:45:29 +0000 Subject: [PATCH 12/26] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 6b9d2f6234a..8b683f51423 100644 --- a/flake.lock +++ b/flake.lock @@ -63,17 +63,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1715082108, - "narHash": "sha256-ENuJjMV5EpjW3CdKxid095CmeSb4sQ/NWheHAZYn2Ss=", + "lastModified": 1715181848, + "narHash": "sha256-pXsrvO/bjJtyqrqLhnX8BLMLUMasuFzl1tzslLchtRU=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "538d079599c85f5789b2a4d8d8db55c91e52cfdb", + "rev": "a0ca443f999f9a71ea8bdaab78e91340e318830a", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "538d079599c85f5789b2a4d8d8db55c91e52cfdb", + "rev": "a0ca443f999f9a71ea8bdaab78e91340e318830a", "type": "github" } }, From 3180e532d4899b1e844b66c5ed813119eee5b4a4 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 10 May 2024 09:45:30 +0000 Subject: [PATCH 13/26] deps/haskell-backend_release: Set Version aa1bc71a8c2c6937306ca1f411c4d0ff75e7b5b8 --- deps/haskell-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index a8124c3a65a..5864e1c2fc6 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -a0ca443f999f9a71ea8bdaab78e91340e318830a +aa1bc71a8c2c6937306ca1f411c4d0ff75e7b5b8 From 67fb33623a2b7b456bd44733e7c294841ea2555b Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 10 May 2024 09:46:17 +0000 Subject: [PATCH 14/26] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version aa1bc71a8c2c6937306ca1f411c4d0ff75e7b5b8 --- flake.nix | 2 +- haskell-backend/src/main/native/haskell-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 3131dc336ce..8924fba02e3 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/a0ca443f999f9a71ea8bdaab78e91340e318830a"; + haskell-backend.url = "github:runtimeverification/haskell-backend/aa1bc71a8c2c6937306ca1f411c4d0ff75e7b5b8"; nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index a0ca443f999..aa1bc71a8c2 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit a0ca443f999f9a71ea8bdaab78e91340e318830a +Subproject commit aa1bc71a8c2c6937306ca1f411c4d0ff75e7b5b8 From 9b4ed3fd734340660704f6fcf6fcb21b1d1f569d Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 10 May 2024 09:46:28 +0000 Subject: [PATCH 15/26] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index c46b0cc3b54..88cf3b3b319 100644 --- a/flake.lock +++ b/flake.lock @@ -63,17 +63,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1715181848, - "narHash": "sha256-pXsrvO/bjJtyqrqLhnX8BLMLUMasuFzl1tzslLchtRU=", + "lastModified": 1715333037, + "narHash": "sha256-/7LFQrTaSLtqIgzmAMrY+NgnQD0N2UlMwWrnnnskmdI=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "a0ca443f999f9a71ea8bdaab78e91340e318830a", + "rev": "aa1bc71a8c2c6937306ca1f411c4d0ff75e7b5b8", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "a0ca443f999f9a71ea8bdaab78e91340e318830a", + "rev": "aa1bc71a8c2c6937306ca1f411c4d0ff75e7b5b8", "type": "github" } }, From 4500a7e9d96dd482a1f7ce7d03e99eaa3e7c5b94 Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Fri, 10 May 2024 12:47:12 +0200 Subject: [PATCH 16/26] Update implication check API --- pyk/src/pyk/kore/rpc.py | 2 +- pyk/src/tests/unit/kore/test_client.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pyk/src/pyk/kore/rpc.py b/pyk/src/pyk/kore/rpc.py index 103433f9f5f..9c1e98a8043 100644 --- a/pyk/src/pyk/kore/rpc.py +++ b/pyk/src/pyk/kore/rpc.py @@ -878,7 +878,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, diff --git a/pyk/src/tests/unit/kore/test_client.py b/pyk/src/tests/unit/kore/test_client.py index febe82a0330..1973e30c8db 100644 --- a/pyk/src/tests/unit/kore/test_client.py +++ b/pyk/src/tests/unit/kore/test_client.py @@ -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, ()), ), ) From 390d079da7e8a83aa57983f91dcbfb32a67f7b7b Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 10 May 2024 10:58:14 +0000 Subject: [PATCH 17/26] deps/haskell-backend_release: Set Version df703fed9c5f7e4e0e2d13129cee0f593f91a52e --- deps/haskell-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index 5864e1c2fc6..8ebccc1ea79 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -aa1bc71a8c2c6937306ca1f411c4d0ff75e7b5b8 +df703fed9c5f7e4e0e2d13129cee0f593f91a52e From cd62e54352f969e71d24b9ffea01201a95b341b5 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 10 May 2024 10:59:08 +0000 Subject: [PATCH 18/26] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version df703fed9c5f7e4e0e2d13129cee0f593f91a52e --- flake.nix | 2 +- haskell-backend/src/main/native/haskell-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 8924fba02e3..d9061f819b7 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/aa1bc71a8c2c6937306ca1f411c4d0ff75e7b5b8"; + haskell-backend.url = "github:runtimeverification/haskell-backend/df703fed9c5f7e4e0e2d13129cee0f593f91a52e"; nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index aa1bc71a8c2..df703fed9c5 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit aa1bc71a8c2c6937306ca1f411c4d0ff75e7b5b8 +Subproject commit df703fed9c5f7e4e0e2d13129cee0f593f91a52e From 0846dbd517a28e24c1a452017c8f3a4eead62b7e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 10 May 2024 10:59:19 +0000 Subject: [PATCH 19/26] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 88cf3b3b319..689dfcf1ad8 100644 --- a/flake.lock +++ b/flake.lock @@ -63,17 +63,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1715333037, - "narHash": "sha256-/7LFQrTaSLtqIgzmAMrY+NgnQD0N2UlMwWrnnnskmdI=", + "lastModified": 1715337317, + "narHash": "sha256-aQGBIul+qB416A2o1VDWKpTk3jjyCORCnhTX++C+bi0=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "aa1bc71a8c2c6937306ca1f411c4d0ff75e7b5b8", + "rev": "df703fed9c5f7e4e0e2d13129cee0f593f91a52e", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "aa1bc71a8c2c6937306ca1f411c4d0ff75e7b5b8", + "rev": "df703fed9c5f7e4e0e2d13129cee0f593f91a52e", "type": "github" } }, From 265ee7ba3cd2b95a50e5cf16821dbec2c921defd Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 12:19:10 +0000 Subject: [PATCH 20/26] deps/haskell-backend_release: Set Version 527843308d3c49c41c3476196149e1d46c455052 --- deps/haskell-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index 8ebccc1ea79..7917d611868 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -df703fed9c5f7e4e0e2d13129cee0f593f91a52e +527843308d3c49c41c3476196149e1d46c455052 From c55228dccb319e2e0aeca49220c7896da8a07e94 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 15 May 2024 12:20:04 +0000 Subject: [PATCH 21/26] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version 527843308d3c49c41c3476196149e1d46c455052 --- flake.nix | 2 +- haskell-backend/src/main/native/haskell-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 42201d99393..f8d75b1c2b8 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/df703fed9c5f7e4e0e2d13129cee0f593f91a52e"; + haskell-backend.url = "github:runtimeverification/haskell-backend/527843308d3c49c41c3476196149e1d46c455052"; nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index df703fed9c5..527843308d3 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit df703fed9c5f7e4e0e2d13129cee0f593f91a52e +Subproject commit 527843308d3c49c41c3476196149e1d46c455052 From 1121796089bc26f1d83425a1c56037b22387ebc2 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 15 May 2024 12:20:16 +0000 Subject: [PATCH 22/26] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 8e9ef3df73e..79f82f60cd1 100644 --- a/flake.lock +++ b/flake.lock @@ -63,17 +63,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1715337317, - "narHash": "sha256-aQGBIul+qB416A2o1VDWKpTk3jjyCORCnhTX++C+bi0=", + "lastModified": 1715774286, + "narHash": "sha256-03+IG1FpzrzjfR39PI1j99DAabaNKiuD0o4XOtlAC8k=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "df703fed9c5f7e4e0e2d13129cee0f593f91a52e", + "rev": "527843308d3c49c41c3476196149e1d46c455052", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "df703fed9c5f7e4e0e2d13129cee0f593f91a52e", + "rev": "527843308d3c49c41c3476196149e1d46c455052", "type": "github" } }, From c591570826943f6d549c0ee19db8ccdd6a4add9d Mon Sep 17 00:00:00 2001 From: Guy Repta <50716988+gtrepta@users.noreply.github.com> Date: Wed, 15 May 2024 10:57:19 -0500 Subject: [PATCH 23/26] Add more verbosity to pyk integration tests on CI --- .github/workflows/test-pr.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml index 39c4ef4261c..a0e17c06e6c 100644 --- a/.github/workflows/test-pr.yml +++ b/.github/workflows/test-pr.yml @@ -270,7 +270,7 @@ jobs: k-deb-path: kframework.deb - name: 'Run integration tests' run: | - docker exec -u user k-pyk-integration-${{ github.sha }} make test-integration TEST_ARGS='-n4 --timeout 300' + docker exec -u user k-pyk-integration-${{ github.sha }} make test-integration TEST_ARGS='-n4 --timeout 300 -vv' - name: 'Tear down Docker' if: always() run: | From d2db3142ba1d4fe944daf31f65aca519beace59a Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 16 May 2024 11:21:03 +0000 Subject: [PATCH 24/26] deps/haskell-backend_release: Set Version b27210141c06c5698201dc3f1fabc90bd09ffe59 --- deps/haskell-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index 7917d611868..284a61a67e6 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -527843308d3c49c41c3476196149e1d46c455052 +b27210141c06c5698201dc3f1fabc90bd09ffe59 From f95ece2692a0d5715f62aee062b29ed95f70f2fb Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 16 May 2024 11:21:54 +0000 Subject: [PATCH 25/26] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version b27210141c06c5698201dc3f1fabc90bd09ffe59 --- flake.nix | 2 +- haskell-backend/src/main/native/haskell-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index f8d75b1c2b8..b8cad72bf20 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/527843308d3c49c41c3476196149e1d46c455052"; + haskell-backend.url = "github:runtimeverification/haskell-backend/b27210141c06c5698201dc3f1fabc90bd09ffe59"; nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 527843308d3..b27210141c0 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 527843308d3c49c41c3476196149e1d46c455052 +Subproject commit b27210141c06c5698201dc3f1fabc90bd09ffe59 From 057525daf95526d48355745326f51ef1f1acedaf Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 16 May 2024 11:22:05 +0000 Subject: [PATCH 26/26] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 79f82f60cd1..8ca531f2c95 100644 --- a/flake.lock +++ b/flake.lock @@ -63,17 +63,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1715774286, - "narHash": "sha256-03+IG1FpzrzjfR39PI1j99DAabaNKiuD0o4XOtlAC8k=", + "lastModified": 1715857203, + "narHash": "sha256-JrT/ectLjfID38zRPhg/g3oixinnBL3sChqYXqp0BpI=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "527843308d3c49c41c3476196149e1d46c455052", + "rev": "b27210141c06c5698201dc3f1fabc90bd09ffe59", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "527843308d3c49c41c3476196149e1d46c455052", + "rev": "b27210141c06c5698201dc3f1fabc90bd09ffe59", "type": "github" } },