From f3dc612d6446f279f16c92dc1006e1504e17192c Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 2 Aug 2004 09:02:19 +0000 Subject: [PATCH] * lbtt/: Merge lbtt 1.1.2. --- ChangeLog | 4 ++++ lbtt/ChangeLog | 26 ++++++++++++++++++++++++++ 2 files changed, 30 insertions(+) diff --git a/ChangeLog b/ChangeLog index 482c1ca9f..30dc7dcbf 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2004-08-02 Alexandre Duret-Lutz + + * lbtt/: Merge lbtt 1.1.2. + 2004-07-30 Alexandre Duret-Lutz * lbtt/: Merge lbtt 1.1.1. diff --git a/lbtt/ChangeLog b/lbtt/ChangeLog index e039f8cf2..8d5f93dee 100644 --- a/lbtt/ChangeLog +++ b/lbtt/ChangeLog @@ -21,6 +21,32 @@ * src/translate.cc (main): Add the --spot option, and build a SpotWrapper if required. +2004-08-02 Heikki Tauriainen + + * Version 1.1.2 released. + +2004-08-01 Heikki Tauriainen + + * src/TestOperations.cc (generateBuchiAutomaton): Use + process groups to terminate the child process along with + all of its children (if any) on timeouts. + Do not write the time elapsed before a timeout into the + log file. + + * configure.ac: Add test for the setsid library function. + +2004-07-31 Heikki Tauriainen + + * src/Product.h (ProductEdge::edge_1, ProductEdge::edge_2): + Change type to GraphEdgeContainer::const_iterators to move all + edge dereference operations to member functions instead of the + class constructor (where dereferencing is not always safe). + (ProductEdge::ProductEdge, ProductEdge::firstComponent) + (ProductEdge::secondComponent, ProductEdge::targetNode): + Change member initialization and access accordingly. + + * configure.ac, NEWS, README: Update version. + 2004-07-30 Heikki Tauriainen * Version 1.1.1 released.