From c3a00c53392389115a97074e0d19bf253a902467 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Wed, 21 Oct 2020 22:52:12 +0100
Subject: [PATCH] =?UTF-8?q?Updating=20list=20of=20arguments=20that=20refer?=
=?UTF-8?q?=20to=20algorithms=20based=20on=20Lace=20framework,=20siince=20?=
=?UTF-8?q?it=20is=20discarded=20=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20?=
=?UTF-8?q?=20=20=20README.md?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
README.md | 3 ---
1 file changed, 3 deletions(-)
diff --git a/README.md b/README.md
index f80d78c..bd9789f 100644
--- a/README.md
+++ b/README.md
@@ -49,9 +49,6 @@ mpirun -n 1 hybrid-sog arg1 arg2 arg3 arg4 [arg5]
arg1: specifies method of creating threads or/and specifies if modelchecking should be performed on the fly. It can be set with one of the following values:
* p : using pthread library
* pc : using pthread library and applying canonization on nodes
- * l : using lace framework
- * lc : using lace framework and applying canonization on nodes
- * otfL : perform modelchecking on the fly using laceframework
* otfP : perform modelchecking on the fly using pthread
* otfC : perform modelchecking on the fly using c++17 algorithms and a work-stealing approach for the construction of aggregates
arg2: specify the number of threads/workers to be created
--
GitLab