From 3a8e1cdce0a41d944313c76783c31ab6863bcecc Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 4 Jan 2011 18:59:46 +0100 Subject: [PATCH] * README: Mention bench/wdba/. --- ChangeLog | 4 ++++ README | 3 ++- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 46d762d73..4082a7342 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2011-01-04 Alexandre Duret-Lutz + + * README: Mention bench/wdba/. + 2011-01-04 Alexandre Duret-Lutz Define tgba_product_init, a new kind of product with different diff --git a/README b/README index 170893c7f..319de03c3 100644 --- a/README +++ b/README @@ -137,7 +137,8 @@ bench/ Benchmarks for ... ltlcounter/ ... translation of a class of LTL formulae, ltlclasses/ ... translation of more classes of LTL formulae, scc-stats/ ... SCC statistics after translation of LTL formulae, - split-product/ ... parallelizing gain after splitting LTL automata. + split-product/ ... parallelizing gain after splitting LTL automata, + wdba/ ... WDBA minimization (for obligation properties). wrap/ Wrappers for other languages. python/ Python bindings for Spot and BuDDy tests/ Tests for these bindings