From 7cf6ab0660b262b50337959b615f8ecd19621694 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 4 Mar 2024 00:33:49 +0000 Subject: [PATCH 1/6] deps/haskell-backend_release: Set Version 0285741792e2fcd2f76e333e1bc4e697b5264776 --- 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 d57840ed9..f907099c9 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -0dcecfab68794c3b47d32404145dac0f9690f65d +0285741792e2fcd2f76e333e1bc4e697b5264776 From 4bf8c03e2a8d0fcd7500930b996275ec7f987460 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 4 Mar 2024 00:36:53 +0000 Subject: [PATCH 2/6] update haskell-backend to version 0285741792e2fcd2f76e333e1bc4e697b5264776 --- cabal.project | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- stack.yaml | 2 +- stack.yaml.lock | 8 ++++---- 5 files changed, 11 insertions(+), 11 deletions(-) diff --git a/cabal.project b/cabal.project index db8c3f24f..6b15fdc21 100644 --- a/cabal.project +++ b/cabal.project @@ -5,7 +5,7 @@ packages: source-repository-package type: git location: https://github.com/runtimeverification/haskell-backend.git - tag: 0dcecfab68794c3b47d32404145dac0f9690f65d + tag: 0285741792e2fcd2f76e333e1bc4e697b5264776 subdir: kore kore-rpc-types source-repository-package diff --git a/flake.lock b/flake.lock index 6466165d2..222184cdd 100644 --- a/flake.lock +++ b/flake.lock @@ -13,17 +13,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1709251475, - "narHash": "sha256-1F5e9DGmS2YeWirHkc5PsG3xFH4EsNRGYbagUv2EP2I=", + "lastModified": 1709511342, + "narHash": "sha256-yvBYr3u5Z1xUwDTW68dNLbu0KxrDx1asFf7CV59HJJY=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "0dcecfab68794c3b47d32404145dac0f9690f65d", + "rev": "0285741792e2fcd2f76e333e1bc4e697b5264776", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "0dcecfab68794c3b47d32404145dac0f9690f65d", + "rev": "0285741792e2fcd2f76e333e1bc4e697b5264776", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 3e4f9a201..950541e1a 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "hs-backend-booster"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/0dcecfab68794c3b47d32404145dac0f9690f65d"; + haskell-backend.url = "github:runtimeverification/haskell-backend/0285741792e2fcd2f76e333e1bc4e697b5264776"; stacklock2nix.follows = "haskell-backend/stacklock2nix"; nixpkgs.follows = "haskell-backend/nixpkgs"; }; diff --git a/stack.yaml b/stack.yaml index 2b7337e0c..25ad04a47 100644 --- a/stack.yaml +++ b/stack.yaml @@ -12,7 +12,7 @@ extra-deps: - smtlib-backends-process-0.3 - monad-validate-1.3.0.0 - git: https://github.com/runtimeverification/haskell-backend.git - commit: 0dcecfab68794c3b47d32404145dac0f9690f65d + commit: 0285741792e2fcd2f76e333e1bc4e697b5264776 subdirs: - kore - kore-rpc-types diff --git a/stack.yaml.lock b/stack.yaml.lock index 33d77cdd5..3818b9972 100644 --- a/stack.yaml.lock +++ b/stack.yaml.lock @@ -40,7 +40,7 @@ packages: original: hackage: monad-validate-1.3.0.0 - completed: - commit: 0dcecfab68794c3b47d32404145dac0f9690f65d + commit: 0285741792e2fcd2f76e333e1bc4e697b5264776 git: https://github.com/runtimeverification/haskell-backend.git name: kore pantry-tree: @@ -49,11 +49,11 @@ packages: subdir: kore version: 0.60.0.0 original: - commit: 0dcecfab68794c3b47d32404145dac0f9690f65d + commit: 0285741792e2fcd2f76e333e1bc4e697b5264776 git: https://github.com/runtimeverification/haskell-backend.git subdir: kore - completed: - commit: 0dcecfab68794c3b47d32404145dac0f9690f65d + commit: 0285741792e2fcd2f76e333e1bc4e697b5264776 git: https://github.com/runtimeverification/haskell-backend.git name: kore-rpc-types pantry-tree: @@ -62,7 +62,7 @@ packages: subdir: kore-rpc-types version: 0.60.0.0 original: - commit: 0dcecfab68794c3b47d32404145dac0f9690f65d + commit: 0285741792e2fcd2f76e333e1bc4e697b5264776 git: https://github.com/runtimeverification/haskell-backend.git subdir: kore-rpc-types - completed: From 828e3b96deea9fdd4815c37c8e9cc9c810b948f9 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 4 Mar 2024 09:06:33 +0000 Subject: [PATCH 3/6] deps/haskell-backend_release: Set Version cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 --- 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 f907099c9..ec0bcc0dd 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -0285741792e2fcd2f76e333e1bc4e697b5264776 +cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 From f5289b54ad9bd85bb7fc55ef0a863991415f7b0e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 4 Mar 2024 09:09:38 +0000 Subject: [PATCH 4/6] update haskell-backend to version cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 --- cabal.project | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- stack.yaml | 2 +- stack.yaml.lock | 8 ++++---- 5 files changed, 11 insertions(+), 11 deletions(-) diff --git a/cabal.project b/cabal.project index 6b15fdc21..b4cf4c9df 100644 --- a/cabal.project +++ b/cabal.project @@ -5,7 +5,7 @@ packages: source-repository-package type: git location: https://github.com/runtimeverification/haskell-backend.git - tag: 0285741792e2fcd2f76e333e1bc4e697b5264776 + tag: cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 subdir: kore kore-rpc-types source-repository-package diff --git a/flake.lock b/flake.lock index 222184cdd..6f78fb8db 100644 --- a/flake.lock +++ b/flake.lock @@ -13,17 +13,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1709511342, - "narHash": "sha256-yvBYr3u5Z1xUwDTW68dNLbu0KxrDx1asFf7CV59HJJY=", + "lastModified": 1709542126, + "narHash": "sha256-6JU3O/8D330m0UaAvK/lzLl8dxfpSjXPmO2VKFDjxtE=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "0285741792e2fcd2f76e333e1bc4e697b5264776", + "rev": "cc9fbb102bd884264b9ef7feaed537e5c7ba83e8", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "0285741792e2fcd2f76e333e1bc4e697b5264776", + "rev": "cc9fbb102bd884264b9ef7feaed537e5c7ba83e8", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 950541e1a..126435140 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "hs-backend-booster"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/0285741792e2fcd2f76e333e1bc4e697b5264776"; + haskell-backend.url = "github:runtimeverification/haskell-backend/cc9fbb102bd884264b9ef7feaed537e5c7ba83e8"; stacklock2nix.follows = "haskell-backend/stacklock2nix"; nixpkgs.follows = "haskell-backend/nixpkgs"; }; diff --git a/stack.yaml b/stack.yaml index 25ad04a47..895812acd 100644 --- a/stack.yaml +++ b/stack.yaml @@ -12,7 +12,7 @@ extra-deps: - smtlib-backends-process-0.3 - monad-validate-1.3.0.0 - git: https://github.com/runtimeverification/haskell-backend.git - commit: 0285741792e2fcd2f76e333e1bc4e697b5264776 + commit: cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 subdirs: - kore - kore-rpc-types diff --git a/stack.yaml.lock b/stack.yaml.lock index 3818b9972..faf3e56b3 100644 --- a/stack.yaml.lock +++ b/stack.yaml.lock @@ -40,7 +40,7 @@ packages: original: hackage: monad-validate-1.3.0.0 - completed: - commit: 0285741792e2fcd2f76e333e1bc4e697b5264776 + commit: cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 git: https://github.com/runtimeverification/haskell-backend.git name: kore pantry-tree: @@ -49,11 +49,11 @@ packages: subdir: kore version: 0.60.0.0 original: - commit: 0285741792e2fcd2f76e333e1bc4e697b5264776 + commit: cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 git: https://github.com/runtimeverification/haskell-backend.git subdir: kore - completed: - commit: 0285741792e2fcd2f76e333e1bc4e697b5264776 + commit: cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 git: https://github.com/runtimeverification/haskell-backend.git name: kore-rpc-types pantry-tree: @@ -62,7 +62,7 @@ packages: subdir: kore-rpc-types version: 0.60.0.0 original: - commit: 0285741792e2fcd2f76e333e1bc4e697b5264776 + commit: cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 git: https://github.com/runtimeverification/haskell-backend.git subdir: kore-rpc-types - completed: From a40b0ecbebe403757fcf092c5d011af5612f89eb Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 5 Mar 2024 08:07:44 +0000 Subject: [PATCH 5/6] deps/haskell-backend_release: Set Version 4d5d1fe232c41400e09a2db0d8cb4989a5dd5832 --- 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 ec0bcc0dd..ffa0a1bea 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 +4d5d1fe232c41400e09a2db0d8cb4989a5dd5832 From f7a82bf373e3ecf75c6689a56ab31a74431cc881 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 5 Mar 2024 08:10:50 +0000 Subject: [PATCH 6/6] update haskell-backend to version 4d5d1fe232c41400e09a2db0d8cb4989a5dd5832 --- cabal.project | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- stack.yaml | 2 +- stack.yaml.lock | 10 +++++----- 5 files changed, 12 insertions(+), 12 deletions(-) diff --git a/cabal.project b/cabal.project index b4cf4c9df..f57448c92 100644 --- a/cabal.project +++ b/cabal.project @@ -5,7 +5,7 @@ packages: source-repository-package type: git location: https://github.com/runtimeverification/haskell-backend.git - tag: cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 + tag: 4d5d1fe232c41400e09a2db0d8cb4989a5dd5832 subdir: kore kore-rpc-types source-repository-package diff --git a/flake.lock b/flake.lock index 6f78fb8db..a0fe3e774 100644 --- a/flake.lock +++ b/flake.lock @@ -13,17 +13,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1709542126, - "narHash": "sha256-6JU3O/8D330m0UaAvK/lzLl8dxfpSjXPmO2VKFDjxtE=", + "lastModified": 1709569611, + "narHash": "sha256-r1zn97cq5Vsl5EyZkpT8Npj6VHP8iPPB4PCTaQ3O3tQ=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "cc9fbb102bd884264b9ef7feaed537e5c7ba83e8", + "rev": "4d5d1fe232c41400e09a2db0d8cb4989a5dd5832", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "cc9fbb102bd884264b9ef7feaed537e5c7ba83e8", + "rev": "4d5d1fe232c41400e09a2db0d8cb4989a5dd5832", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 126435140..faba1a68b 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "hs-backend-booster"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/cc9fbb102bd884264b9ef7feaed537e5c7ba83e8"; + haskell-backend.url = "github:runtimeverification/haskell-backend/4d5d1fe232c41400e09a2db0d8cb4989a5dd5832"; stacklock2nix.follows = "haskell-backend/stacklock2nix"; nixpkgs.follows = "haskell-backend/nixpkgs"; }; diff --git a/stack.yaml b/stack.yaml index 895812acd..bb915899e 100644 --- a/stack.yaml +++ b/stack.yaml @@ -12,7 +12,7 @@ extra-deps: - smtlib-backends-process-0.3 - monad-validate-1.3.0.0 - git: https://github.com/runtimeverification/haskell-backend.git - commit: cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 + commit: 4d5d1fe232c41400e09a2db0d8cb4989a5dd5832 subdirs: - kore - kore-rpc-types diff --git a/stack.yaml.lock b/stack.yaml.lock index faf3e56b3..40ca24f14 100644 --- a/stack.yaml.lock +++ b/stack.yaml.lock @@ -40,7 +40,7 @@ packages: original: hackage: monad-validate-1.3.0.0 - completed: - commit: cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 + commit: 4d5d1fe232c41400e09a2db0d8cb4989a5dd5832 git: https://github.com/runtimeverification/haskell-backend.git name: kore pantry-tree: @@ -49,20 +49,20 @@ packages: subdir: kore version: 0.60.0.0 original: - commit: cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 + commit: 4d5d1fe232c41400e09a2db0d8cb4989a5dd5832 git: https://github.com/runtimeverification/haskell-backend.git subdir: kore - completed: - commit: cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 + commit: 4d5d1fe232c41400e09a2db0d8cb4989a5dd5832 git: https://github.com/runtimeverification/haskell-backend.git name: kore-rpc-types pantry-tree: - sha256: e3acfb76416b3503e725d340cc9fde9f6cb49b7a37835c3355ddc951ba5a0765 + sha256: 109dd68910c8fa563e219647d1e7cb92dea922abe529012e757bed159069f7bc size: 476 subdir: kore-rpc-types version: 0.60.0.0 original: - commit: cc9fbb102bd884264b9ef7feaed537e5c7ba83e8 + commit: 4d5d1fe232c41400e09a2db0d8cb4989a5dd5832 git: https://github.com/runtimeverification/haskell-backend.git subdir: kore-rpc-types - completed: