From cd754eabe3af025ca3465c5fc6d8cb48da66a1ae Mon Sep 17 00:00:00 2001
From: Sidney Congard
Date: Wed, 10 Aug 2022 18:56:25 +0200
Subject: Corrected translation without using functions, remaining bug in
 hashmap translation

---
 src/SynthesizeSymbolic.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/SynthesizeSymbolic.ml')

diff --git a/src/SynthesizeSymbolic.ml b/src/SynthesizeSymbolic.ml
index 95da38e6..fa244649 100644
--- a/src/SynthesizeSymbolic.ml
+++ b/src/SynthesizeSymbolic.ml
@@ -114,6 +114,12 @@ let synthesize_function_call (call_id : call_id)
       in
       Some (FunCall (call, expr))
 
+let synthesize_global_eval (gid : A.GlobalDeclId.id) (dest : V.symbolic_value) (expr : expression option)
+    : expression option =
+  match expr with
+  | None   -> None
+  | Some e -> Some (EvalGlobal (gid, dest, e))
+
 let synthesize_regular_function_call (fun_id : A.fun_id)
     (call_id : V.FunCallId.id) (abstractions : V.AbstractionId.id list)
     (type_params : T.ety list) (args : V.typed_value list)
-- 
cgit v1.2.3


From 4a8b4b1be044ffaa8de72cf847c00184b6b8ab40 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 22 Sep 2022 18:45:25 +0200
Subject: Reformat the project with dune

---
 src/SynthesizeSymbolic.ml | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'src/SynthesizeSymbolic.ml')

diff --git a/src/SynthesizeSymbolic.ml b/src/SynthesizeSymbolic.ml
index fa244649..a2256bdd 100644
--- a/src/SynthesizeSymbolic.ml
+++ b/src/SynthesizeSymbolic.ml
@@ -114,11 +114,9 @@ let synthesize_function_call (call_id : call_id)
       in
       Some (FunCall (call, expr))
 
-let synthesize_global_eval (gid : A.GlobalDeclId.id) (dest : V.symbolic_value) (expr : expression option)
-    : expression option =
-  match expr with
-  | None   -> None
-  | Some e -> Some (EvalGlobal (gid, dest, e))
+let synthesize_global_eval (gid : A.GlobalDeclId.id) (dest : V.symbolic_value)
+    (expr : expression option) : expression option =
+  match expr with None -> None | Some e -> Some (EvalGlobal (gid, dest, e))
 
 let synthesize_regular_function_call (fun_id : A.fun_id)
     (call_id : V.FunCallId.id) (abstractions : V.AbstractionId.id list)
-- 
cgit v1.2.3