From e2fef1a5c986aff4c9975b1376bcc0fc0bb87940 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 9 Jun 2023 10:06:43 +0200
Subject: Reorganize a bit the Lean library

---
 backends/lean/Base.lean | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 backends/lean/Base.lean

(limited to 'backends/lean/Base.lean')

diff --git a/backends/lean/Base.lean b/backends/lean/Base.lean
new file mode 100644
index 00000000..960b2bb5
--- /dev/null
+++ b/backends/lean/Base.lean
@@ -0,0 +1 @@
+import Base.Primitives
-- 
cgit v1.2.3


From c034a7ea1335705ca1e1a7461fac257df6757d57 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 9 Jun 2023 16:07:39 +0200
Subject: Start working on extrinsic proofs of termination

---
 backends/lean/Base.lean | 1 +
 1 file changed, 1 insertion(+)

(limited to 'backends/lean/Base.lean')

diff --git a/backends/lean/Base.lean b/backends/lean/Base.lean
index 960b2bb5..92e87e6c 100644
--- a/backends/lean/Base.lean
+++ b/backends/lean/Base.lean
@@ -1 +1,2 @@
 import Base.Primitives
+import Base.Diverge
-- 
cgit v1.2.3


From 04cefd3b4f3d2c11cfc3542a5ad6fae31dae4796 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 18 Jun 2023 19:09:19 +0200
Subject: Make minor modifications

---
 backends/lean/Base.lean | 1 +
 1 file changed, 1 insertion(+)

(limited to 'backends/lean/Base.lean')

diff --git a/backends/lean/Base.lean b/backends/lean/Base.lean
index 92e87e6c..f6a78bba 100644
--- a/backends/lean/Base.lean
+++ b/backends/lean/Base.lean
@@ -1,2 +1,3 @@
 import Base.Primitives
 import Base.Diverge
+import Base.TestTactics
-- 
cgit v1.2.3


From 3971da603ee54d373b4c73d6a20b3d83dea7b5b9 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 21 Jun 2023 16:20:25 +0200
Subject: Start working on Arith.lean

---
 backends/lean/Base.lean | 1 +
 1 file changed, 1 insertion(+)

(limited to 'backends/lean/Base.lean')

diff --git a/backends/lean/Base.lean b/backends/lean/Base.lean
index f6a78bba..6e9ff873 100644
--- a/backends/lean/Base.lean
+++ b/backends/lean/Base.lean
@@ -1,3 +1,4 @@
 import Base.Primitives
 import Base.Diverge
 import Base.TestTactics
+import Base.Arith
-- 
cgit v1.2.3


From 87d6f6c7c90bf7b427397d6bd2e2c70d610678e3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 4 Jul 2023 14:57:51 +0200
Subject: Reorganize the Lean tests

---
 backends/lean/Base.lean | 1 -
 1 file changed, 1 deletion(-)

(limited to 'backends/lean/Base.lean')

diff --git a/backends/lean/Base.lean b/backends/lean/Base.lean
index 6e9ff873..1f8cbc8e 100644
--- a/backends/lean/Base.lean
+++ b/backends/lean/Base.lean
@@ -1,4 +1,3 @@
 import Base.Primitives
 import Base.Diverge
-import Base.TestTactics
 import Base.Arith
-- 
cgit v1.2.3


From 7206b48a73d6204baea99f4f4675be2518a8f8c2 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 10 Jul 2023 15:06:12 +0200
Subject: Start working on the progress tactic

---
 backends/lean/Base.lean | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'backends/lean/Base.lean')

diff --git a/backends/lean/Base.lean b/backends/lean/Base.lean
index 1f8cbc8e..51211704 100644
--- a/backends/lean/Base.lean
+++ b/backends/lean/Base.lean
@@ -1,3 +1,5 @@
+import Base.Utils
 import Base.Primitives
 import Base.Diverge
 import Base.Arith
+import Base.Progress
-- 
cgit v1.2.3


From 4f7ebc2358d78d31d63a609a32e5a732b82d468e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 17 Jul 2023 12:12:34 +0200
Subject: Update the lean dependencies and update IList

---
 backends/lean/Base.lean | 1 +
 1 file changed, 1 insertion(+)

(limited to 'backends/lean/Base.lean')

diff --git a/backends/lean/Base.lean b/backends/lean/Base.lean
index 51211704..2077d410 100644
--- a/backends/lean/Base.lean
+++ b/backends/lean/Base.lean
@@ -3,3 +3,4 @@ import Base.Primitives
 import Base.Diverge
 import Base.Arith
 import Base.Progress
+import Base.IList
-- 
cgit v1.2.3