From f5ac145e2a0ced475aca111ebb2849a0a6380477 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 16 Jul 2025 12:05:18 +0000
Subject: [PATCH 1/8] deps/k_release: Set Version 7.1.275

---
 deps/k_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/k_release b/deps/k_release
index 56d53ce765..182d0c3545 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.274
+7.1.275

From 4c8e12b74b4715fde85eeb222d2f322ec7eda14a Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 16 Jul 2025 15:05:36 +0000
Subject: [PATCH 2/8] deps/k_release: Set Version 7.1.276

---
 deps/k_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/k_release b/deps/k_release
index 182d0c3545..614d8d16e2 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.275
+7.1.276

From 64677fa037d5000c4d69d15f504307f2812407d0 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 17 Jul 2025 10:13:26 +0000
Subject: [PATCH 3/8] deps/k_release: Set Version 7.1.277

---
 deps/k_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/k_release b/deps/k_release
index 614d8d16e2..3226e6d99c 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.276
+7.1.277

From 9f6f1f75870936fe05158e42f02f1505d1a3245f Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 17 Jul 2025 12:05:26 +0000
Subject: [PATCH 4/8] deps/k_release: Set Version 7.1.278

---
 deps/k_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/k_release b/deps/k_release
index 3226e6d99c..8fef5172cf 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.277
+7.1.278

From f83a02b36732df0ba3792672855e420f3f3be675 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 18 Jul 2025 11:34:03 +0000
Subject: [PATCH 5/8] deps/k_release: Set Version 7.1.280

---
 deps/k_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/k_release b/deps/k_release
index 8fef5172cf..73c3584b4c 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.278
+7.1.280

From fe243a7c0833fe8ed56564d5dddb698de6122b82 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 26 Aug 2025 16:08:52 +0000
Subject: [PATCH 6/8] deps/k_release: Set Version 7.1.0

---
 deps/k_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/k_release b/deps/k_release
index 73c3584b4c..a3fcc7121b 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.280
+7.1.0

From 8515da45ca554c51b87fde888f5fe09e220baf04 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 26 Aug 2025 19:11:12 +0000
Subject: [PATCH 7/8] deps/k_release: Set Version 7.1.282

---
 deps/k_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/k_release b/deps/k_release
index a3fcc7121b..b48921ebbb 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.0
+7.1.282

From ac39e550dc64b93b9ad6b926237bbc2998b96f53 Mon Sep 17 00:00:00 2001
From: Jost Berthold <jost.berthold@gmail.com>
Date: Thu, 28 Aug 2025 22:12:33 +1000
Subject: [PATCH 8/8] swap variable positions in expected output for
 save-proofs

---
 test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden b/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden
index 35a8ca7440..e021985429 100644
--- a/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden
+++ b/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden
@@ -67,18 +67,18 @@ module haskell-backend-saved-claims-43943e50-f723-47cd-99fd-07104d664c6d
                         /* InternalMap: */ Lbl'Unds'Map'Unds'{}(
                             /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}(
                                 /* Inj: */ inj{SortId{}, SortKItem{}}(
-                                    \dv{SortId{}}("sum")
+                                    \dv{SortId{}}("n")
                                 ),
                                 /* Inj: */ inj{SortInt{}, SortKItem{}}(
-                                    VarS:SortInt{}
+                                    VarN:SortInt{}
                                 )
                             ),
                             /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}(
                                 /* Inj: */ inj{SortId{}, SortKItem{}}(
-                                    \dv{SortId{}}("n")
+                                    \dv{SortId{}}("sum")
                                 ),
                                 /* Inj: */ inj{SortInt{}, SortKItem{}}(
-                                    VarN:SortInt{}
+                                    VarS:SortInt{}
                                 )
                             )
                         )