From 70597c3f51f7cb2019b75e7801efb778d414658b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 30 Jul 2004 11:50:08 +0000 Subject: [PATCH] * lbtt/: Merge lbtt 1.1.1. --- ChangeLog | 4 ++++ lbtt/ChangeLog | 27 ++++++++++++++++++++++----- lbtt/configure.ac | 4 ++-- 3 files changed, 28 insertions(+), 7 deletions(-) diff --git a/ChangeLog b/ChangeLog index 640de288f..482c1ca9f 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2004-07-30 Alexandre Duret-Lutz + + * lbtt/: Merge lbtt 1.1.1. + 2004-07-26 Alexandre Duret-Lutz * doc/Doxyfile.in: Update for Doxygen 1.3.8. diff --git a/lbtt/ChangeLog b/lbtt/ChangeLog index 676ff5a3a..e039f8cf2 100644 --- a/lbtt/ChangeLog +++ b/lbtt/ChangeLog @@ -1,8 +1,3 @@ -2004-07-16 Alexandre Duret-Lutz - - * configure.ac: Call AC_GNU_SOURCE to make glibc's strsignal - definition visible even to non-GNU compilers. - 2004-02-11 Alexandre Duret-Lutz * src/SpotWrapper.cc (SpotWrapper::SPOT_AND, SpotWrapper::SPOT_OR): @@ -26,6 +21,28 @@ * src/translate.cc (main): Add the --spot option, and build a SpotWrapper if required. +2004-07-30 Heikki Tauriainen + + * Version 1.1.1 released. + +2004-07-30 Heikki Tauriainen + + * src/TestOperations.cc (generateBuchiAutomaton): Protect + against referencing a null pointer returned by strsignal on + some platforms. + (performBuchiIntersectionCheck): Handle product size + exceptions gracefully. Skip redundant writes to an unopened + transcript file. + + * configure.ac: Update version. + * NEWS: Update. + * README: Update. + +2004-07-16 Alexandre Duret-Lutz + + * configure.ac: Call AC_GNU_SOURCE to make glibc's strsignal + definition visible even to non-GNU compilers. + 2004-07-07 Heikki Tauriainen * Version 1.1.0 released. diff --git a/lbtt/configure.ac b/lbtt/configure.ac index a53650f7f..5c9df77bc 100644 --- a/lbtt/configure.ac +++ b/lbtt/configure.ac @@ -1,8 +1,8 @@ # Process this file with autoconf to produce a configure script. AC_PREREQ([2.59]) -AC_INIT([lbtt], [1.1.0], [heikki.tauriainen@hut.fi]) -AC_REVISION([Revision: 1.4]) +AC_INIT([lbtt], [1.1.1], [heikki.tauriainen@hut.fi]) +AC_REVISION([Revision: 1.5]) AC_CONFIG_SRCDIR([src/main.cc]) AC_CONFIG_HEADERS([config.h]) AM_INIT_AUTOMAKE