From 414769e0c9a1d370d3ab906b710e2e8adfe25e5e Mon Sep 17 00:00:00 2001
From: Sidney Congard
Date: Mon, 13 Jun 2022 17:10:43 +0200
Subject: crude generation working - missing unit tests & special constants
 handling

---
 Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1e62dfd5..4dc1475b 100644
--- a/Makefile
+++ b/Makefile
@@ -31,8 +31,8 @@ build:
 .PHONY: test
 test: build trans-no_nested_borrows trans-paper \
 	trans-hashmap trans-hashmap_main \
-	trans-external trans-nll-betree_nll \
-	trans-nll-betree_main
+	trans-external trans-constants \
+	trans-nll-betree_nll trans-nll-betree_main \
 
 # Add specific options to some tests
 trans-no_nested_borrows trans-paper: \
@@ -48,6 +48,9 @@ trans-hashmap_main: SUBDIR:=hashmap_on_disk
 trans-nll-betree_nll: TRANS_OPTIONS += -test-units -no-split-files -no-state -no-decreases-clauses
 trans-nll-betree_nll: SUBDIR:=misc
 
+trans-constants: TRANS_OPTIONS += -no-split-files -no-state -no-decreases-clauses
+trans-constants: SUBDIR:=misc
+
 trans-external: TRANS_OPTIONS +=
 trans-external: SUBDIR:=misc
 
-- 
cgit v1.2.3


From 7703c4ca86a390303d0a120f8811c8fd704c5168 Mon Sep 17 00:00:00 2001
From: Sidney Congard
Date: Tue, 21 Jun 2022 11:41:09 +0200
Subject: concrete & symbolic evaluation work with new LLBC format

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 4dc1475b..0fc3fcf4 100644
--- a/Makefile
+++ b/Makefile
@@ -48,7 +48,7 @@ trans-hashmap_main: SUBDIR:=hashmap_on_disk
 trans-nll-betree_nll: TRANS_OPTIONS += -test-units -no-split-files -no-state -no-decreases-clauses
 trans-nll-betree_nll: SUBDIR:=misc
 
-trans-constants: TRANS_OPTIONS += -no-split-files -no-state -no-decreases-clauses
+trans-constants: TRANS_OPTIONS += -test-units -no-split-files -no-state -no-decreases-clauses
 trans-constants: SUBDIR:=misc
 
 trans-external: TRANS_OPTIONS +=
-- 
cgit v1.2.3


From 0227077e343a6243a5c69dfb3eb07f50006eb5ea Mon Sep 17 00:00:00 2001
From: Son HO
Date: Thu, 22 Sep 2022 16:25:30 +0200
Subject: Update Makefile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index aba2a67b..80cdad30 100644
--- a/Makefile
+++ b/Makefile
@@ -32,7 +32,7 @@ build:
 test: build trans-no_nested_borrows trans-paper \
 	trans-hashmap trans-hashmap_main \
 	trans-external trans-constants \
-	trans-nll-betree_nll trans-nll-betree_main \
+	trans-nll-betree_nll trans-nll-betree_main
 
 # Verify the F* files generated by the translation
 .PHONY: verify
-- 
cgit v1.2.3


From 0d5fb87166cc4eb4ddc783d871ad459479fc9fdc Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 22 Sep 2022 18:46:28 +0200
Subject: Add a `format` target in the Makefile

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 80cdad30..db308fbd 100644
--- a/Makefile
+++ b/Makefile
@@ -39,6 +39,11 @@ test: build trans-no_nested_borrows trans-paper \
 verify: build test
 	cd tests && make all
 
+# Reformat the project
+.PHONY: format
+format:
+	dune build @fmt && dune promote
+
 # Add specific options to some tests
 trans-no_nested_borrows trans-paper: \
 	TRANS_OPTIONS += -test-units -no-split-files -no-state -no-decreases-clauses
-- 
cgit v1.2.3