From 31b163dbf8d07f2f45b2bcabe9d633a71e362e94 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 29 Jun 2004 18:22:13 +0000 Subject: [PATCH] * configure.ac, NEWS: Bump version to 0.0v. --- ChangeLog | 6 +++++- NEWS | 23 ++++++++++++++++++++++- configure.ac | 2 +- 3 files changed, 28 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 375b439ff..095694583 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2004-06-29 Alexandre Duret-Lutz + + * configure.ac, NEWS: Bump version to 0.0v. + 2004-06-28 Thomas Martinez * src/tgbatest/reduccmp.test: Bug. @@ -38,7 +42,7 @@ That produces more readable output. * wrap/python/cgi/ltl2tgba.in: Add "Formula Simplications" options. - * wrap/python/spot.i: Wrap src/ltlvisite/reduce.hh. + * wrap/python/spot.i: Wrap src/ltlvisit/reduce.hh. * src/ltlvisit/simpfg.cc, src/ltlvisit/simpfg.hh: New files, extracted from ... diff --git a/NEWS b/NEWS index a78a6276b..d0bfb7d98 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,25 @@ -New in spot 0.0u: +New in spot 0.0v (2004-06-29): + + * LTL formula simplifications using basic rewriting rules, + a-la Wring syntactic approximations, and Etessami's universal + and existential classes. + - Function reduce() in ltlvisit/reduce.hh is the main interface. + - Can be tested with the CGI script. + * TGBA simplifications using direct simulation, delayed simulation, + and SCC-based simplifications. This is still experimental. + * The LTL parser will now read LTL formulae written using Wring's syntax. + * ltl2tgba_fm() now has options for on-the-fly fair-loop approximations, + and Modella-like branching-postponement. + * GreatSPN interface: + - The `declarative_environment' is now part of Spot itself rather than + part of the interface with GreatSPN. + - the RG and SRG interface can deal with dead markings in three + ways (omit deadlocks from the state graph, stutter on the deadlock + and consider as a regular behavior, or stutter and distinguish the + deadlock with a property). + - update SSP interface to Soheib Baarir latest work. + * Preliminary Python bindings for BuDDy's FDD and BVEC. + * Upgrade to BuDDy 2.3. New in spot 0.0t (2004-04-23): diff --git a/configure.ac b/configure.ac index ad71ce93f..29b2cd69e 100644 --- a/configure.ac +++ b/configure.ac @@ -20,7 +20,7 @@ # 02111-1307, USA. AC_PREREQ([2.59]) -AC_INIT([spot], [0.0u]) +AC_INIT([spot], [0.0v]) AC_CONFIG_AUX_DIR([tools]) AM_INIT_AUTOMAKE([gnits nostdinc 1.8])