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

* iface/gspn/ssp.cc (tgba_gspn_ssp_private_::~tgba_gspn_ssp_private_):

Browse source 
Fix the declaration for GCC 4.1.2.
* iface/gspn/gspn.cc (tgba_gspn_private_::~tgba_gspn_private_):
Likewise.
This commit is contained in:
Alexandre Duret-Lutz 2007-07-16 14:28:54 +00:00
parent 3ffba1c988
commit 0dc53d3d2a
3 changed files with 22 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

25
ChangeLog
View file

@ -1,27 +1,34 @@
2007-06-20 Alexandre Duret-Lutz <adl@gnu.org> 2007-07-16 Alexandre Duret-Lutz <adl@src.lip6.fr>
* 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 <adl@src.lip6.fr>
* src/tgbatest/spotlbtt.test: Do not check -R1q -R1t -R2q -R2t. * src/tgbatest/spotlbtt.test: Do not check -R1q -R1t -R2q -R2t.
2007-04-30 Alexandre Duret-Lutz <adl@gnu.org> 2007-04-30 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbatest/ltl2tgba.cc (main): Fix handling of -R1q -R1t -R2q -R2t. * src/tgbatest/ltl2tgba.cc (main): Fix handling of -R1q -R1t -R2q -R2t.
Add support for -r8/-fr8. Add support for -r8/-fr8.
* src/tgbatest/spotlbtt.test: Also check -R1q -R1t -R2q -R2t. * src/tgbatest/spotlbtt.test: Also check -R1q -R1t -R2q -R2t.
2007-04-29 Alexandre Duret-Lutz <adl@gnu.org> 2007-04-29 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/ltlvisit/reduce.cc (reduce): Repeat the reduction as * src/ltlvisit/reduce.cc (reduce): Repeat the reduction as
long as the formula changes, it makes more sense when long as the formula changes, it makes more sense when
combining algorithm. E.g. basic reductions can help language combining algorithm. E.g. basic reductions can help language
containment and vice-versa. containment and vice-versa.
2007-04-20 Alexandre Duret-Lutz <adl@gnu.org> 2007-04-20 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbatest/spotlbtt.test: Disable formula rewriting during * src/tgbatest/spotlbtt.test: Disable formula rewriting during
construction. construction.
2007-04-19 Alexandre Duret-Lutz <adl@gnu.org> 2007-04-19 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/ltltest/reduc.cc (main): More cases to test. * src/ltltest/reduc.cc (main): More cases to test.
* src/ltlvisit/basicreduce.cc (basic_reduce_visitor::visit): * src/ltlvisit/basicreduce.cc (basic_reduce_visitor::visit):
@ -33,13 +40,13 @@
* src/ltlvisit/contain.cc (reduce_tau03_visitor): Simplify the * src/ltlvisit/contain.cc (reduce_tau03_visitor): Simplify the
rules for "a U b" and "a R b", an implication check is enough. rules for "a U b" and "a R b", an implication check is enough.
2007-04-17 Alexandre Duret-Lutz <adl@gnu.org> 2007-04-17 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/misc/bddalloc.cc (bdd_allocator::initialize): Call * src/misc/bddalloc.cc (bdd_allocator::initialize): Call
bdd_isrunning() and don't run bdd_init() if it has already been bdd_isrunning() and don't run bdd_init() if it has already been
called. called.
2007-02-06 Alexandre Duret-Lutz <adl@gnu.org> 2007-02-06 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaalgos/randomgraph.cc (random_graph): Fix the * src/tgbaalgos/randomgraph.cc (random_graph): Fix the
generation of the graph. Some states had no successors or generation of the graph. Some states had no successors or
@ -1852,7 +1859,7 @@
tgba_explicit_succ_iterator::current_accepting_conditions): Assert tgba_explicit_succ_iterator::current_accepting_conditions): Assert
the iteration is not finished. the iteration is not finished.
2004-10-12 Alexandre Duret-Lutz <adl@gnu.org> 2004-10-12 Alexandre Duret-Lutz <adl@src.lip6.fr>
* wrap/python/tests/run.in: Typo. From Akim Demaille. * wrap/python/tests/run.in: Typo. From Akim Demaille.
@ -4330,7 +4337,7 @@
* wrap/python/Makefile.am (spot_wrap.cxx, spot.py): Lookup * wrap/python/Makefile.am (spot_wrap.cxx, spot.py): Lookup
spot.i in $(srcdir). spot.i in $(srcdir).
2003-07-31 Alexandre Duret-Lutz <adl@gnu.org> 2003-07-31 Alexandre Duret-Lutz <adl@src.lip6.fr>
* configure.ac: Output wrap/python/tests/Makefile * configure.ac: Output wrap/python/tests/Makefile
and wrap/python/tests/run. and wrap/python/tests/run.

8
iface/gspn/gspn.cc
View file

@ -1,6 +1,6 @@
// Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris 6 (LIP6), // Copyright (C) 2003, 2004, 2006, 2007 Laboratoire d'Informatique de
// département Systèmes Répartis Coopératifs (SRC), Université Pierre // Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
// et Marie Curie. // Université Pierre et Marie Curie.
// //
// This file is part of Spot, a model checking library. // 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); dict->unregister_all_my_variables(this);
delete last_state_conds_input; delete last_state_conds_input;

4
iface/gspn/ssp.cc
View file

@ -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), // Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
// Université Pierre et Marie Curie. // 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); dict->unregister_all_my_variables(this);
delete[] all_props; delete[] all_props;