From 821937aee71bf9439158e27e06f7b4f74289b209 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 23 May 2016 16:57:31 +0200
Subject: STM: proof block detection made optional + simple test

---
 lib/flags.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/flags.ml')

diff --git a/lib/flags.ml b/lib/flags.ml
index c1ec9738ca..ecf3c3f168 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -68,6 +68,8 @@ let priority_of_string = function
   | "low" -> Low
   | "high" -> High
   | _ -> raise (Invalid_argument "priority_of_string")
+let async_proofs_tac_error_resilience = ref true
+let async_proofs_cmd_error_resilience = ref true
 
 let async_proofs_is_worker () =
   !async_proofs_worker_id <> "master"
-- 
cgit v1.2.3


From 845dd3dd17b880999a956839c0d84d46de9e27b8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Sun, 5 Jun 2016 21:21:43 +0200
Subject: STM: each proof block can be enabled separately

By default we enable only {} and par: that are detectable in
a complete way.
---
 lib/flags.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib/flags.ml')

diff --git a/lib/flags.ml b/lib/flags.ml
index ecf3c3f168..e78fa7c0c9 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -68,7 +68,8 @@ let priority_of_string = function
   | "low" -> Low
   | "high" -> High
   | _ -> raise (Invalid_argument "priority_of_string")
-let async_proofs_tac_error_resilience = ref true
+type tac_error_filter = [ `None | `Only of string list | `All ]
+let async_proofs_tac_error_resilience = ref (`Only [ "par" ; "proof-block" ])
 let async_proofs_cmd_error_resilience = ref true
 
 let async_proofs_is_worker () =
-- 
cgit v1.2.3


From 4dcd50dd2767c60f8f773fb4ca1c3d4bc68819c8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 7 Jun 2016 09:57:09 -0400
Subject: Documentation

---
 lib/flags.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/flags.ml')

diff --git a/lib/flags.ml b/lib/flags.ml
index e78fa7c0c9..16996c144b 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -69,7 +69,7 @@ let priority_of_string = function
   | "high" -> High
   | _ -> raise (Invalid_argument "priority_of_string")
 type tac_error_filter = [ `None | `Only of string list | `All ]
-let async_proofs_tac_error_resilience = ref (`Only [ "par" ; "proof-block" ])
+let async_proofs_tac_error_resilience = ref (`Only [ "par" ; "curly" ])
 let async_proofs_cmd_error_resilience = ref true
 
 let async_proofs_is_worker () =
-- 
cgit v1.2.3