alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* configure.ac, NEWS: Bump version to 0.0t.

Browse source 
* HACKING: Update tools requirements.
* src/sanity/Makefile.am (EXTRA_DIST): Distribute includes.test.
This commit is contained in:
Alexandre Duret-Lutz 2004-04-23 17:31:57 +00:00
parent 007143e9e3
commit b980717756
5 changed files with 21 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
ChangeLog
View file

@ -1,5 +1,9 @@
2004-04-23 Alexandre Duret-Lutz <adl@src.lip6.fr> 2004-04-23 Alexandre Duret-Lutz <adl@src.lip6.fr>
* configure.ac, NEWS: Bump version to 0.0t.
* HACKING: Update tools requirements.
* src/sanity/Makefile.am (EXTRA_DIST): Distribute includes.test.
* src/sanity/Makefile.am, src/sanity/includes.test: New files. * src/sanity/Makefile.am, src/sanity/includes.test: New files.
* src/Makefile.am (SUBDIRS): Add sanity. * src/Makefile.am (SUBDIRS): Add sanity.
* configure.ac: Output src/sanity/Makefile.in. * configure.ac: Output src/sanity/Makefile.in.
@ -11,7 +15,7 @@
2004-04-22 Alexandre Duret-Lutz <adl@src.lip6.fr> 2004-04-22 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbatest/explicit.test: Reorder bdd variable in output. * src/tgbatest/explicit.test: Reorder bdd variables in output.
Report from Denis Poitrenaud. Report from Denis Poitrenaud.
* wrap/python/cgi/ltl2tgba.in: Print degeneralized statistics * wrap/python/cgi/ltl2tgba.in: Print degeneralized statistics

3
HACKING
View file

@ -9,8 +9,9 @@ conflicts.
Here are the tools you need to bootstrap the CVS tree, or more Here are the tools you need to bootstrap the CVS tree, or more
generally if you plan to regenerate some of the generated files. generally if you plan to regenerate some of the generated files.
GNU Autoconf >= 2.57 GNU Autoconf >= 2.59
GNU Automake >= 1.8 GNU Automake >= 1.8
GNU Libtool >= 1.4
GNU Flex (the version probably doesn't matter much, we used 2.5.31) GNU Flex (the version probably doesn't matter much, we used 2.5.31)
The CVS version of GNU Bison (called 1.875c at the time of writing) The CVS version of GNU Bison (called 1.875c at the time of writing)
SWIG 1.3.21 SWIG 1.3.21

12
NEWS
View file

@ -1,4 +1,14 @@
New in spot 0.0s: New in spot 0.0t (2004-04-23):
* `emptiness_check':
- fix two bugs in the computation of the counter example,
- revamp the interface for better customization.
* `never_claim_reachable': new function.
* Introduce annonymous BDD variables in `bdd_dict', and start
to use it in `ltl_to_tgba_fm'.
* Offer never claim in the CGI script.
* Rename EESRG as SSP, and offer specialized variants of the
emptiness_check.
New in spot 0.0r (2004-03-08): New in spot 0.0r (2004-03-08):

4
configure.ac
View file

@ -19,8 +19,8 @@
# Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA # Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
# 02111-1307, USA. # 02111-1307, USA.
AC_PREREQ([2.57]) AC_PREREQ([2.59])
AC_INIT([spot], [0.0s]) AC_INIT([spot], [0.0t])
AC_CONFIG_AUX_DIR([tools]) AC_CONFIG_AUX_DIR([tools])
AM_INIT_AUTOMAKE([gnits nostdinc 1.8]) AM_INIT_AUTOMAKE([gnits nostdinc 1.8])

1
src/sanity/Makefile.am
View file

@ -41,3 +41,4 @@ installcheck-local:
CLEANFILES = failures incltest.* CLEANFILES = failures incltest.*
EXTRA_DIST = includes.test