From b3b3c6c37566459f9b185b7e7ef608423a3ed973 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Wed, 30 Jan 2019 02:23:10 +0000
Subject: Cache compilation results to improve build times for repeated builds

---
 src/c_backend.mli | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/c_backend.mli')

diff --git a/src/c_backend.mli b/src/c_backend.mli
index 24f6e03b..9782f24f 100644
--- a/src/c_backend.mli
+++ b/src/c_backend.mli
@@ -59,6 +59,15 @@ val opt_trace : bool ref
 val opt_static : bool ref
 val opt_no_main : bool ref
 
+(** [opt_memo_cache] will store the compiled function definitions in
+   file _sbuild/ccacheDIGEST where DIGEST is the md5sum of the
+   original function to be compiled. Enabled using the -memo
+   flag. Uses Marshal so it's quite picky about the exact version of
+   the Sail version. This cache can obviously become stale if the C
+   backend changes - it'll load an old version compiled without said
+   changes. *)
+val opt_memo_cache : bool ref
+
 (** Optimization flags *)
 
 val optimize_primops : bool ref
-- 
cgit v1.2.3


From f1e01368711ffd8f0d5b8f33c0be6af69b1bf81b Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 1 Feb 2019 17:15:06 +0000
Subject: Add tracing instrumention for SMT

Fix pretty printer bug
---
 src/c_backend.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/c_backend.mli')

diff --git a/src/c_backend.mli b/src/c_backend.mli
index 9782f24f..10bf9f40 100644
--- a/src/c_backend.mli
+++ b/src/c_backend.mli
@@ -56,6 +56,7 @@ open Type_check
 val opt_debug_flow_graphs : bool ref
 val opt_debug_function : string ref
 val opt_trace : bool ref
+val opt_smt_trace : bool ref
 val opt_static : bool ref
 val opt_no_main : bool ref
 
-- 
cgit v1.2.3