diff --git a/ChangeLog b/ChangeLog index efb9cbc9c..085123a16 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2006-01-25 Alexandre Duret-Lutz + + * NEWS, README, configure.ac: Update for version 0.3. + 2006-01-24 Alexandre Duret-Lutz * wrap/python/cgi/ltl2tgba.in: Fix degeneralisation and output of diff --git a/HACKING b/HACKING index 7455491df..2b6669dad 100644 --- a/HACKING +++ b/HACKING @@ -12,8 +12,8 @@ generally if you plan to regenerate some of the generated files. GNU Autoconf >= 2.59 GNU Automake >= 1.9 GNU Libtool >= 1.4 - GNU Flex (the version probably doesn't matter much, we used 2.5.31) - GNU Bison >= 2.0 + GNU Flex (the version seems to matters, we used 2.5.31) + GNU Bison == 2.0 (2.1 will not work, but 2.2 is expected to.) SWIG >= 1.3.23 Doxygen >= 1.4.0 diff --git a/NEWS b/NEWS index 4f425c13e..5ad378a5b 100644 --- a/NEWS +++ b/NEWS @@ -1,5 +1,11 @@ -New in spot 0.2a: - +New in spot 0.3 (2005-01-25): + + * lbtt 1.2.0 + * The CGI script for LTL translation also offers emptiness check algorithms. + * tau03_opt_search implements the "ordering heuristic". + (Submitted by Heikki Tauriainen.) + * A couple of bugs were fixed into the LTL or automata simplifications. + New in spot 0.2 (2005-04-08): * Emptiness checks: diff --git a/configure.ac b/configure.ac index 1b46680b5..7bb85f78c 100644 --- a/configure.ac +++ b/configure.ac @@ -1,6 +1,6 @@ -# Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6), -# département Systèmes Répartis Coopératifs (SRC), Université Pierre -# et Marie Curie. +# Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique +# de Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), +# Université Pierre et Marie Curie. # # This file is part of Spot, a model checking library. # @@ -20,7 +20,7 @@ # 02111-1307, USA. AC_PREREQ([2.59]) -AC_INIT([spot], [0.2a]) +AC_INIT([spot], [0.3]) AC_CONFIG_AUX_DIR([tools]) AM_INIT_AUTOMAKE([1.9 gnits nostdinc tar-ustar])