From 6b8507418e2cef470f9e62f081d476c089c072b1 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 17 Jun 2025 01:11:17 +0000 Subject: [PATCH 01/10] deps/haskell-backend_release: Set Version v0.1.130 --- 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 95a0466b98..f44070fc44 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.129 +v0.1.130 From 6e5e28fc5bae3356670474639c339fd968342046 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 17 Jun 2025 01:12:22 +0000 Subject: [PATCH 02/10] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.130 --- 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 00c7c99bb8..16e28d6bbe 100644 --- a/flake.nix +++ b/flake.nix @@ -8,7 +8,7 @@ llvm-backend.inputs.nixpkgs.follows = "nixpkgs"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.129"; + url = "github:runtimeverification/haskell-backend/v0.1.130"; inputs.rv-nix-tools.follows = "rv-nix-tools"; inputs.nixpkgs.follows = "nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 1799bef09e..2707f1c115 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 1799bef09e2d74d987641f92bd6c425435bccfa2 +Subproject commit 2707f1c115abdff0e1081c6571cd477f4cacfc47 From 9ca967e283a96fbe7fc0b5216cfd5c831a138132 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 17 Jun 2025 01:12:55 +0000 Subject: [PATCH 03/10] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 8f58a31532..ed0c3189e6 100644 --- a/flake.lock +++ b/flake.lock @@ -82,16 +82,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1750060525, - "narHash": "sha256-bh1rdwwya1LLOFeokzw1DhL4GYzaHPCnoB4iliy59PY=", + "lastModified": 1750121565, + "narHash": "sha256-ivA6YiWDE8M5hiwPc/y2fT00yGr/T1Mxmwn/rrdmBWo=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "1799bef09e2d74d987641f92bd6c425435bccfa2", + "rev": "2707f1c115abdff0e1081c6571cd477f4cacfc47", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.129", + "ref": "v0.1.130", "repo": "haskell-backend", "type": "github" } From 82c97119896f99534a9c58d8e1a5c8427e24f922 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 21 Jun 2025 02:27:57 +0000 Subject: [PATCH 04/10] deps/haskell-backend_release: Set Version v0.1.131 --- 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 f44070fc44..feef6417fc 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.130 +v0.1.131 From dc516472866074bcde1e6bcb23914b4b409e20ca Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Sat, 21 Jun 2025 02:28:54 +0000 Subject: [PATCH 05/10] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.131 --- 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 1b3bf9859f..b4e4b66d7b 100644 --- a/flake.nix +++ b/flake.nix @@ -8,7 +8,7 @@ llvm-backend.inputs.nixpkgs.follows = "nixpkgs"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.130"; + url = "github:runtimeverification/haskell-backend/v0.1.131"; inputs.rv-nix-tools.follows = "rv-nix-tools"; inputs.nixpkgs.follows = "nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 2707f1c115..6a778fbdd0 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 2707f1c115abdff0e1081c6571cd477f4cacfc47 +Subproject commit 6a778fbdd0b451b1b0c7539aac5ef8fb48763ad7 From 2dc18b2b0335881860e7f9a144e295dd0f46799d Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Sat, 21 Jun 2025 02:28:55 +0000 Subject: [PATCH 06/10] deps/uv_release: update to version 0.7.2 --- deps/uv_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/uv_release b/deps/uv_release index d5cc44d1d3..7486fdbc50 100644 --- a/deps/uv_release +++ b/deps/uv_release @@ -1 +1 @@ -0.7.2 \ No newline at end of file +0.7.2 From 0b6d210aa9e9a34714d360dc6137f157ae60cc7f Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Sat, 21 Jun 2025 02:29:42 +0000 Subject: [PATCH 07/10] flake.lock: update --- flake.lock | 30 +++++++----------------------- 1 file changed, 7 insertions(+), 23 deletions(-) diff --git a/flake.lock b/flake.lock index 8523e1ad96..477bf05e51 100644 --- a/flake.lock +++ b/flake.lock @@ -64,16 +64,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1750121565, - "narHash": "sha256-ivA6YiWDE8M5hiwPc/y2fT00yGr/T1Mxmwn/rrdmBWo=", + "lastModified": 1750471785, + "narHash": "sha256-QTKjOEdDdjAI/fCOk4ydwsI2mjEBlYkw3bqoyXVFSI8=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "2707f1c115abdff0e1081c6571cd477f4cacfc47", + "rev": "6a778fbdd0b451b1b0c7539aac5ef8fb48763ad7", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.130", + "ref": "v0.1.131", "repo": "haskell-backend", "type": "github" } @@ -156,22 +156,6 @@ } }, "nixpkgs_3": { - "locked": { - "lastModified": 1716457947, - "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", - "type": "github" - }, - "original": { - "owner": "nixos", - "repo": "nixpkgs", - "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", - "type": "github" - } - }, - "nixpkgs_4": { "locked": { "lastModified": 1744306051, "narHash": "sha256-jWwqkmi8cplBu4CXUb4zdfpqKp3UJYVAs/b5m8M75sg=", @@ -181,8 +165,8 @@ "type": "github" }, "original": { - "owner": "runtimeverification", - "ref": "libmatch", + "owner": "nixos", + "ref": "nixos-unstable", "repo": "nixpkgs", "type": "github" } @@ -394,7 +378,7 @@ }, "uv2nix": { "inputs": { - "nixpkgs": "nixpkgs_4", + "nixpkgs": "nixpkgs_3", "pyproject-nix": "pyproject-nix" }, "locked": { From 1cbd73fe549496800deed003a5c8e1cda28b1419 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 2 Jul 2025 23:55:34 +0000 Subject: [PATCH 08/10] deps/haskell-backend_release: Set Version v0.1.132 --- 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 feef6417fc..1adcce1596 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.131 +v0.1.132 From a855218d376a9a09af534cbfda20190657640c59 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 2 Jul 2025 23:56:33 +0000 Subject: [PATCH 09/10] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.132 --- 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 b4e4b66d7b..ff5ee6c516 100644 --- a/flake.nix +++ b/flake.nix @@ -8,7 +8,7 @@ llvm-backend.inputs.nixpkgs.follows = "nixpkgs"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.131"; + url = "github:runtimeverification/haskell-backend/v0.1.132"; inputs.rv-nix-tools.follows = "rv-nix-tools"; inputs.nixpkgs.follows = "nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 6a778fbdd0..d80129c70e 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 6a778fbdd0b451b1b0c7539aac5ef8fb48763ad7 +Subproject commit d80129c70eb37810dfb1efd6bb05c212b97bd87f From 0ca293c891648cac0853d53a264570440151846e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 2 Jul 2025 23:57:20 +0000 Subject: [PATCH 10/10] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 477bf05e51..2a23dd92bb 100644 --- a/flake.lock +++ b/flake.lock @@ -64,16 +64,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1750471785, - "narHash": "sha256-QTKjOEdDdjAI/fCOk4ydwsI2mjEBlYkw3bqoyXVFSI8=", + "lastModified": 1751499472, + "narHash": "sha256-ANQpT4xXTmNRDY0CAIseLL/xDKTuLp2dSRTsp19/2mk=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "6a778fbdd0b451b1b0c7539aac5ef8fb48763ad7", + "rev": "d80129c70eb37810dfb1efd6bb05c212b97bd87f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.131", + "ref": "v0.1.132", "repo": "haskell-backend", "type": "github" }