From f07aba5ac313ec1c4960567439ad1724f59a37b4 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 31 Jan 2005 12:54:47 +0000 Subject: [PATCH] * configure.ac, NEWS: Bump version to 0.1. --- ChangeLog | 4 ++++ NEWS | 27 ++++++++++++++++++++++++++- configure.ac | 2 +- 3 files changed, 31 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index d5617a293..d13a9b3d4 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2005-01-31 Alexandre Duret-Lutz + + * configure.ac, NEWS: Bump version to 0.1. + 2005-01-30 Alexandre Duret-Lutz * bench/emptchk/Makefile.am (dist_noinst_SCRIPTS): Add pml-clserv.sh diff --git a/NEWS b/NEWS index 0d8566092..aad974480 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,29 @@ -New in spot 0.0y: +New in spot 0.1 (2005-01-31): + + * Emptiness checks: + - They all follow the same interface, and gather statistical data. + - New algorithms: gv04.hh, se05.hh, tau03.hh, tau03opt.hh + - New options for couvreur99: poprem and group. + - reduce_run() try to reduce accepting runs produced by emptiness checks. + - replay_run() ensure accepting runs are actually accepting runs. + * New testing tools: + - ltltest/randltl: Generate random LTL formulae. + - tgbatest/randtgba: Generate random TGBAs. Optionally multiply them + against random LTL formulae. Optionally check them for emptiness + with all available algorithms. Optionally gather statistics. + * bench/emptchk/: Contains scripts that benchmark emptiness-checks. + * Split the degeneralization proxy in two: + - tgba_tba_proxy uses at most max(N,1) copies + - tgba_sba_proxy uses at most 1+max(N,1) copies and has a + state_is_accepting() method + * tgba::transition_annotation annotate a transition with some string. + This comes handy to associate that transition to its high-level name. + * Preliminary support for Event-based GBA (the evtgba*/ directories). + This might as well disappear in a future release. + * LTL formulae are now sorting using their string representation, instead + of their memory address (which is still unique). This makes the output + of the various functions more deterministic. + * The Doxygen documentation is now organized using modules. New in spot 0.0x (2004-08-13): diff --git a/configure.ac b/configure.ac index 148d72fcb..1bf3f7584 100644 --- a/configure.ac +++ b/configure.ac @@ -20,7 +20,7 @@ # 02111-1307, USA. AC_PREREQ([2.59]) -AC_INIT([spot], [0.0y]) +AC_INIT([spot], [0.1]) AC_CONFIG_AUX_DIR([tools]) AM_INIT_AUTOMAKE([1.9 gnits nostdinc tar-ustar])