From fd9ec01743a7e7a4c2a07fbae8b059c1d995318a Mon Sep 17 00:00:00 2001 From: Guillaume Sadegh Date: Wed, 8 Jul 2009 18:09:21 +0200 Subject: [PATCH] * src/tgba/tgbacomplement.cc: Stay on 80 columns. --- ChangeLog | 8 ++++++-- src/tgba/tgbacomplement.cc | 8 ++++---- 2 files changed, 10 insertions(+), 6 deletions(-) diff --git a/ChangeLog b/ChangeLog index 9bd7f940d..daa9564ee 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2009-07-08 Guillaume Sadegh + + * src/tgba/tgbacomplement.cc: Stay on 80 columns. + 2009-07-08 Félix Abecassis Add 2 benchmarks directories. @@ -11,7 +15,7 @@ files, and LTL formulae that should be verified by the models. * src/tgba/tgbafromfile.cc, src/tgba/tgbafromfile.hh: New files. Small class to avoid long initializations with numerous - constants when translating to TGBA many LTL formulae from a + constants when translating to TGBA many LTL formulae from a given file. * src/tgbaalgos/cutscc.cc, src/tgbaalgos/cutscc.hh: New file. From a single automaton, create, at most, @@ -24,7 +28,7 @@ * src/tgba/tgbacomplement.cc: Fix the transformation from Streett to TGBA. * src/tgbatest/complementation.test: Modify tests. - + 2009-06-17 Alexandre Duret-Lutz * bench/emptchk/pml2tgba.pl: Adjust to work with Spin 5.2.0. diff --git a/src/tgba/tgbacomplement.cc b/src/tgba/tgbacomplement.cc index 2aa048d6a..ce1fadd5d 100644 --- a/src/tgba/tgbacomplement.cc +++ b/src/tgba/tgbacomplement.cc @@ -1168,10 +1168,10 @@ namespace spot /// comes from: /// /// @InProceedings{ duret.09.atva, - /// author = {Alexandre Duret-Lutz and Denis Poitrenaud and Jean-Michel - /// Couvreur}, - /// title = {On-the-fly Emptiness Check of Transition-based {S}treett - /// Automata}, + /// author = {Alexandre Duret-Lutz and Denis Poitrenaud and + /// Jean-Michel Couvreur}, + /// title = {On-the-fly Emptiness Check of Transition-based + /// {S}treett Automata}, /// booktitle = {Proceedings of the 7th International Symposium on /// Automated Technology for Verification and Analysis /// (ATVA'09)},