From e00aadce5bc3b04a133dd1b7cb94b16054fad0e8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 8 Apr 2005 22:41:09 +0000 Subject: [PATCH] * NEWS, configure.ac: Bump version to 0.2. --- ChangeLog | 2 ++ NEWS | 13 ++++++++++++- configure.ac | 2 +- 3 files changed, 15 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 740cf1edb..561252355 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2005-04-08 Alexandre Duret-Lutz + * NEWS, configure.ac: Bump version to 0.2. + * bench/emptchk/README: Mention http://spot.lip6.fr/wiki/EmptinessCheckOptions for the syntax. diff --git a/NEWS b/NEWS index fe56f4f8a..7d84c7aa6 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,15 @@ -New in spot 0.1a: +New in spot 0.2 (2005-04-08): + + * Emptiness checks: + - the new spot::option_map class is used to pass options to + emptiness-check algorithms. + - the new emptiness_check_instantiator class is used to turn a + string such as `algorithm(option1, option2)' into an actual + instance of this emptiness-check algorithm with the given + options. All tools use this. + - tau03_opt_search implements the "condition heuristic". + (Suggested by Heikki Tauriainen.) + * Minor bug fixes. New in spot 0.1 (2005-01-31): diff --git a/configure.ac b/configure.ac index 08f2e09be..4ba3e99de 100644 --- a/configure.ac +++ b/configure.ac @@ -20,7 +20,7 @@ # 02111-1307, USA. AC_PREREQ([2.59]) -AC_INIT([spot], [0.1a]) +AC_INIT([spot], [0.2]) AC_CONFIG_AUX_DIR([tools]) AM_INIT_AUTOMAKE([1.9 gnits nostdinc tar-ustar])