diff --git a/ChangeLog b/ChangeLog index 868b97a21..71734af8e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2003-08-18 Alexandre Duret-Lutz + * configure.ac, NEWS: Bump version to 0.0h. + * wrap/python/cgi/Makefile.am (CLEANFILES): Clean ltl2tgba.py. + * wrap/python/tests/ltl2tgba.test: Run $srcdir/ltl2tgba.py, not ltl2tgba.py. diff --git a/NEWS b/NEWS index 91b02a502..c97fe5d0c 100644 --- a/NEWS +++ b/NEWS @@ -1,3 +1,12 @@ +New in spot 0.0h (2003-08-18): + + * More python bindings: + - "import buddy" works (see wrap/python/tests/bddnqueen.py for an example), + - almost all the Spot API is now available via "import spot". + * wrap/python/cgi/ltl2tgba.py is an LTL-to-Büchi translator that + work as as a cgi script. + * Couvreur's FM'99 ltl-to-tgba translation. + New in spot 0.0f (2003-08-01): * More python bindings, still only for the spot::ltl:: namespace. @@ -5,7 +14,7 @@ New in spot 0.0f (2003-08-01): * The LTL scanner recognizes /\, \/, and xor. * Upgrade to lbtt 1.0.2. * tgba_tba_proxy is an on-the-fly degeneralizer. - * Implements the "magic search" algorithm. + * Implements the "magic search" algorithm. (Works only on a tgba_tba_proxy.) * Tgba's output algorithms (save(), dotty()) now non-recursive. * During products, succ_iter will optimize its set of successors diff --git a/configure.ac b/configure.ac index b436aea00..4f104854f 100644 --- a/configure.ac +++ b/configure.ac @@ -1,5 +1,5 @@ AC_PREREQ([2.57]) -AC_INIT([spot], [0.0g]) +AC_INIT([spot], [0.0h]) AC_CONFIG_AUX_DIR([tools]) AM_INIT_AUTOMAKE([foreign nostdinc check-news 1.7.3]) diff --git a/wrap/python/cgi/Makefile.am b/wrap/python/cgi/Makefile.am index e37cf6789..a82bccd67 100644 --- a/wrap/python/cgi/Makefile.am +++ b/wrap/python/cgi/Makefile.am @@ -1,5 +1,6 @@ nodist_noinst_SCRIPTS = ltl2tgba.py EXTRA_DIST = $(srcdir)/ltl2tgba.in README +CLEANFILES = $(nodist_noinst_SCRIPTS) ltl2tgba.py: $(srcdir)/ltl2tgba.in Makefile sed -e 's|[@]PYTHON[@]|@PYTHON@|g' \