From 0dc53d3d2a554fe0a8b1b0a664407fa729ab1610 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 16 Jul 2007 14:28:54 +0000 Subject: [PATCH] * iface/gspn/ssp.cc (tgba_gspn_ssp_private_::~tgba_gspn_ssp_private_): Fix the declaration for GCC 4.1.2. * iface/gspn/gspn.cc (tgba_gspn_private_::~tgba_gspn_private_): Likewise. --- ChangeLog | 25 ++++++++++++++++--------- iface/gspn/gspn.cc | 8 ++++---- iface/gspn/ssp.cc | 4 ++-- 3 files changed, 22 insertions(+), 15 deletions(-) diff --git a/ChangeLog b/ChangeLog index 9cfd4f1ab..927b87d0f 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,27 +1,34 @@ -2007-06-20 Alexandre Duret-Lutz +2007-07-16 Alexandre Duret-Lutz + + * iface/gspn/ssp.cc (tgba_gspn_ssp_private_::~tgba_gspn_ssp_private_): + Fix the declaration for GCC 4.1.2. + * iface/gspn/gspn.cc (tgba_gspn_private_::~tgba_gspn_private_): + Likewise. + +2007-06-20 Alexandre Duret-Lutz * src/tgbatest/spotlbtt.test: Do not check -R1q -R1t -R2q -R2t. -2007-04-30 Alexandre Duret-Lutz +2007-04-30 Alexandre Duret-Lutz * src/tgbatest/ltl2tgba.cc (main): Fix handling of -R1q -R1t -R2q -R2t. Add support for -r8/-fr8. * src/tgbatest/spotlbtt.test: Also check -R1q -R1t -R2q -R2t. -2007-04-29 Alexandre Duret-Lutz +2007-04-29 Alexandre Duret-Lutz * src/ltlvisit/reduce.cc (reduce): Repeat the reduction as long as the formula changes, it makes more sense when combining algorithm. E.g. basic reductions can help language containment and vice-versa. -2007-04-20 Alexandre Duret-Lutz +2007-04-20 Alexandre Duret-Lutz * src/tgbatest/spotlbtt.test: Disable formula rewriting during construction. -2007-04-19 Alexandre Duret-Lutz +2007-04-19 Alexandre Duret-Lutz * src/ltltest/reduc.cc (main): More cases to test. * src/ltlvisit/basicreduce.cc (basic_reduce_visitor::visit): @@ -33,13 +40,13 @@ * src/ltlvisit/contain.cc (reduce_tau03_visitor): Simplify the rules for "a U b" and "a R b", an implication check is enough. -2007-04-17 Alexandre Duret-Lutz +2007-04-17 Alexandre Duret-Lutz * src/misc/bddalloc.cc (bdd_allocator::initialize): Call bdd_isrunning() and don't run bdd_init() if it has already been called. -2007-02-06 Alexandre Duret-Lutz +2007-02-06 Alexandre Duret-Lutz * src/tgbaalgos/randomgraph.cc (random_graph): Fix the generation of the graph. Some states had no successors or @@ -1852,7 +1859,7 @@ tgba_explicit_succ_iterator::current_accepting_conditions): Assert the iteration is not finished. -2004-10-12 Alexandre Duret-Lutz +2004-10-12 Alexandre Duret-Lutz * wrap/python/tests/run.in: Typo. From Akim Demaille. @@ -4330,7 +4337,7 @@ * wrap/python/Makefile.am (spot_wrap.cxx, spot.py): Lookup spot.i in $(srcdir). -2003-07-31 Alexandre Duret-Lutz +2003-07-31 Alexandre Duret-Lutz * configure.ac: Output wrap/python/tests/Makefile and wrap/python/tests/run. diff --git a/iface/gspn/gspn.cc b/iface/gspn/gspn.cc index a1cd53e09..faee0d205 100644 --- a/iface/gspn/gspn.cc +++ b/iface/gspn/gspn.cc @@ -1,6 +1,6 @@ -// Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2003, 2004, 2006, 2007 Laboratoire d'Informatique de +// Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), +// Université Pierre et Marie Curie. // // This file is part of Spot, a model checking library. // @@ -172,7 +172,7 @@ namespace spot } } - tgba_gspn_private_::~tgba_gspn_private_() + ~tgba_gspn_private_() { dict->unregister_all_my_variables(this); delete last_state_conds_input; diff --git a/iface/gspn/ssp.cc b/iface/gspn/ssp.cc index e902834c7..91a18b939 100644 --- a/iface/gspn/ssp.cc +++ b/iface/gspn/ssp.cc @@ -1,4 +1,4 @@ -// Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique de +// Copyright (C) 2003, 2004, 2005, 2006, 2007 Laboratoire d'Informatique de // Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), // Université Pierre et Marie Curie. // @@ -162,7 +162,7 @@ namespace spot } } - tgba_gspn_ssp_private_::~tgba_gspn_ssp_private_() + ~tgba_gspn_ssp_private_() { dict->unregister_all_my_variables(this); delete[] all_props;