From fc775a8b1ff3c3f1db5df9941c3b3ecd59fe991c Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 19 Nov 2004 13:29:39 +0000 Subject: [PATCH] * src/tgbaalgos/magic.hh, src/tgbaalgos/magic.cc, src/tgbaalgos/se05.hh, src/tgbaalgos/se05.cc, src/tgbaalgos/tau03.hh, src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.hh, src/tgbaalgos/tau03opt.cc: Fix copyright year, and do not include . --- ChangeLog | 10 +++++++++- src/tgbaalgos/magic.cc | 3 +-- src/tgbaalgos/magic.hh | 2 +- src/tgbaalgos/se05.cc | 3 +-- src/tgbaalgos/se05.hh | 2 +- src/tgbaalgos/tau03.cc | 4 +--- src/tgbaalgos/tau03.hh | 2 +- src/tgbaalgos/tau03opt.cc | 4 +--- src/tgbaalgos/tau03opt.hh | 2 +- 9 files changed, 17 insertions(+), 15 deletions(-) diff --git a/ChangeLog b/ChangeLog index c69491f78..d744ce6b0 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,4 +1,12 @@ -2004-11-18 Alexandre Duret-Lutz +2004-11-19 Alexandre Duret-Lutz + + * src/tgbaalgos/magic.hh, src/tgbaalgos/magic.cc, + src/tgbaalgos/se05.hh, src/tgbaalgos/se05.cc, + src/tgbaalgos/tau03.hh, src/tgbaalgos/tau03.cc, + src/tgbaalgos/tau03opt.hh, src/tgbaalgos/tau03opt.cc: Fix + copyright year, and do not include . + +2004-11-18 Alexandre Duret-Lutz * src/tgbatest/randtgba.cc (main): Add options -z and -Z for statistics. (ce_stat): New struct. diff --git a/src/tgbaalgos/magic.cc b/src/tgbaalgos/magic.cc index 1ffbad93d..90e005a88 100644 --- a/src/tgbaalgos/magic.cc +++ b/src/tgbaalgos/magic.cc @@ -1,4 +1,4 @@ -// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // @@ -21,7 +21,6 @@ #include #include -#include #include "misc/hash.hh" #include "tgba/tgba.hh" #include "emptiness.hh" diff --git a/src/tgbaalgos/magic.hh b/src/tgbaalgos/magic.hh index 350647d7d..7b52ba907 100644 --- a/src/tgbaalgos/magic.hh +++ b/src/tgbaalgos/magic.hh @@ -1,4 +1,4 @@ -// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // diff --git a/src/tgbaalgos/se05.cc b/src/tgbaalgos/se05.cc index 039ede20c..f47280e8e 100644 --- a/src/tgbaalgos/se05.cc +++ b/src/tgbaalgos/se05.cc @@ -1,4 +1,4 @@ -// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // @@ -27,7 +27,6 @@ #include #include -#include #include "misc/hash.hh" #include "tgba/tgba.hh" #include "emptiness.hh" diff --git a/src/tgbaalgos/se05.hh b/src/tgbaalgos/se05.hh index bfe73199e..9d07c2ce3 100644 --- a/src/tgbaalgos/se05.hh +++ b/src/tgbaalgos/se05.hh @@ -1,4 +1,4 @@ -// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // diff --git a/src/tgbaalgos/tau03.cc b/src/tgbaalgos/tau03.cc index 236f446dc..52646453f 100644 --- a/src/tgbaalgos/tau03.cc +++ b/src/tgbaalgos/tau03.cc @@ -1,4 +1,4 @@ -// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // @@ -32,11 +32,9 @@ #include #include -#include #include "misc/hash.hh" #include "tgba/tgba.hh" #include "emptiness.hh" -#include "magic.hh" #include "tau03.hh" namespace spot diff --git a/src/tgbaalgos/tau03.hh b/src/tgbaalgos/tau03.hh index 5b4fa9b2e..b63b7c9dd 100644 --- a/src/tgbaalgos/tau03.hh +++ b/src/tgbaalgos/tau03.hh @@ -1,4 +1,4 @@ -// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // diff --git a/src/tgbaalgos/tau03opt.cc b/src/tgbaalgos/tau03opt.cc index 597c2d968..fd9db45c6 100644 --- a/src/tgbaalgos/tau03opt.cc +++ b/src/tgbaalgos/tau03opt.cc @@ -1,4 +1,4 @@ -// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // @@ -33,11 +33,9 @@ #include #include -#include #include "misc/hash.hh" #include "tgba/tgba.hh" #include "emptiness.hh" -#include "magic.hh" #include "tau03opt.hh" namespace spot diff --git a/src/tgbaalgos/tau03opt.hh b/src/tgbaalgos/tau03opt.hh index a6df05576..798934c61 100644 --- a/src/tgbaalgos/tau03opt.hh +++ b/src/tgbaalgos/tau03opt.hh @@ -1,4 +1,4 @@ -// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. //