From b9b3c1ca2558166de637152c782f09bd48e8418c Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 8 Mar 2004 22:23:04 +0000 Subject: [PATCH] * configure.ac, NEWS: Bump version to 0.0r. --- ChangeLog | 2 ++ NEWS | 10 +++++++++- buddy/examples/calculator/parser.h | 2 +- configure.ac | 2 +- 4 files changed, 13 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index f79ce6276..e5db55d8c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2004-03-08 Alexandre Duret-Lutz + * configure.ac, NEWS: Bump version to 0.0r. + * src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm) : Do not blindly enumerate all combinations of atomic properties; initially set all_props to the set of all possibly satisfiable combinations. diff --git a/NEWS b/NEWS index ba0c00a50..79cd9ccfd 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,12 @@ -New in spot 0.0q: +New in spot 0.0r (2004-03-08): + + * In ltl_to_tgba_fm: + - New option `exprop' to optimize determinism. + - Make the `symbolic indentification' from 0.0p optional. + * `nonacceptant_lbtt_reachable' new function to help getting + accurate statistics from LBTT. + * Revamp the cgi script's user interface. + * Upgrade to lbtt 1.0.3, swig 1.3.21, automake 1.8.3 New in spot 0.0p (2004-02-03): diff --git a/buddy/examples/calculator/parser.h b/buddy/examples/calculator/parser.h index b8b784816..25e3eb302 100644 --- a/buddy/examples/calculator/parser.h +++ b/buddy/examples/calculator/parser.h @@ -1,4 +1,4 @@ -/* A Bison parser, made by GNU Bison 1.875b. */ +/* A Bison parser, made by GNU Bison 1.875c. */ /* Skeleton parser for Yacc-like parsing with Bison, Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003 Free Software Foundation, Inc. diff --git a/configure.ac b/configure.ac index bcf353610..fa433baa0 100644 --- a/configure.ac +++ b/configure.ac @@ -20,7 +20,7 @@ # 02111-1307, USA. AC_PREREQ([2.57]) -AC_INIT([spot], [0.0q]) +AC_INIT([spot], [0.0r]) AC_CONFIG_AUX_DIR([tools]) AM_INIT_AUTOMAKE([gnits nostdinc 1.8])