From 3a974d61f0116f6d9d26d14715ad39bdf5a0ecfb Mon Sep 17 00:00:00 2001 From: Guillaume Sadegh Date: Sun, 24 Jan 2010 19:03:04 +0100 Subject: [PATCH] Fix copyrights. * bench/Makefile.am, bench/gspn-ssp/Makefile.am, bench/gspn-ssp/defs.in, bench/scc-stats/Makefile.am, bench/split-product/Makefile.am, configure.ac, iface/Makefile.am, iface/gspn/Makefile.am, iface/gspn/ssp.hh, iface/nips/Makefile.am, iface/nips/common.cc, iface/nips/common.hh, iface/nips/dottynips.cc, iface/nips/nips.cc, iface/nips/nips.hh, src/Makefile.am, src/eltlparse/Makefile.am, src/eltlparse/eltlparse.yy, src/eltlparse/eltlscan.ll, src/eltlparse/fmterror.cc, src/eltlparse/parsedecl.hh, src/eltltest/Makefile.am, src/eltltest/defs.in, src/eltltest/nfa.cc, src/evtgba/evtgba.hh, src/evtgba/product.cc, src/evtgba/product.hh, src/evtgbaalgos/tgba2evtgba.cc, src/evtgbaparse/Makefile.am, src/evtgbaparse/evtgbaparse.yy, src/evtgbatest/defs.in, src/evtgbatest/explicit.test, src/evtgbatest/ltl2evtgba.cc, src/evtgbatest/ltl2evtgba.test, src/evtgbatest/product.cc, src/evtgbatest/product.test, src/evtgbatest/readsave.cc, src/evtgbatest/readsave.test, src/ltlast/atomic_prop.cc, src/ltlast/atomic_prop.hh, src/ltlast/binop.cc, src/ltlast/binop.hh, src/ltlast/constant.cc, src/ltlast/constant.hh, src/ltlast/formula.cc, src/ltlast/formula.hh, src/ltlast/formula_tree.cc, src/ltlast/formula_tree.hh, src/ltlast/multop.cc, src/ltlast/multop.hh, src/ltlast/nfa.cc, src/ltlast/nfa.hh, src/ltlast/unop.cc, src/ltlast/unop.hh, src/ltlenv/declenv.cc, src/ltlenv/declenv.hh, src/ltlenv/environment.hh, src/ltlparse/Makefile.am, src/ltlparse/ltlparse.yy, src/ltltest/Makefile.am, src/ltltest/defs.in, src/ltltest/equals.cc, src/ltltest/equals.test, src/ltltest/lunabbrev.test, src/ltltest/nenoform.test, src/ltltest/parse.test, src/ltltest/parseerr.test, src/ltltest/randltl.cc, src/ltltest/readltl.cc, src/ltltest/reduccmp.test, src/ltltest/syntimpl.cc, src/ltltest/syntimpl.test, src/ltltest/tostring.cc, src/ltltest/tostring.test, src/ltltest/tunabbrev.test, src/ltltest/tunenoform.test, src/ltlvisit/basicreduce.cc, src/ltlvisit/clone.cc, src/ltlvisit/clone.hh, src/ltlvisit/contain.cc, src/ltlvisit/destroy.cc, src/ltlvisit/destroy.hh, src/ltlvisit/lunabbrev.cc, src/ltlvisit/nenoform.cc, src/ltlvisit/randomltl.cc, src/ltlvisit/reduce.cc, src/ltlvisit/syntimpl.cc, src/ltlvisit/tostring.cc, src/misc/bddalloc.cc, src/misc/bddop.cc, src/misc/bddop.hh, src/misc/freelist.hh, src/misc/hash.hh, src/misc/minato.cc, src/misc/minato.hh, src/misc/optionmap.cc, src/misc/timer.cc, src/misc/timer.hh, src/saba/Makefile.am, src/saba/explicitstateconjunction.cc, src/saba/explicitstateconjunction.hh, src/saba/saba.cc, src/saba/saba.hh, src/saba/sabacomplementtgba.cc, src/saba/sabacomplementtgba.hh, src/saba/sabastate.hh, src/saba/sabasucciter.hh, src/sabaalgos/Makefile.am, src/sabaalgos/sabadotty.cc, src/sabaalgos/sabadotty.hh, src/sabaalgos/sabareachiter.cc, src/sabaalgos/sabareachiter.hh, src/sabatest/Makefile.am, src/sabatest/defs.in, src/sanity/Makefile.am, src/tgba/Makefile.am, src/tgba/bdddict.cc, src/tgba/bddprint.cc, src/tgba/formula2bdd.cc, src/tgba/state.hh, src/tgba/succiterconcrete.cc, src/tgba/taatgba.hh, src/tgba/tgba.hh, src/tgba/tgbabddconcretefactory.cc, src/tgba/tgbabddconcretefactory.hh, src/tgba/tgbacomplement.cc, src/tgba/tgbacomplement.hh, src/tgba/tgbaexplicit.cc, src/tgba/tgbaexplicit.hh, src/tgba/tgbaproduct.cc, src/tgba/tgbareduc.cc, src/tgba/tgbareduc.hh, src/tgba/tgbasafracomplement.cc, src/tgba/tgbasgba.cc, src/tgba/tgbasgba.hh, src/tgba/tgbaunion.cc, src/tgba/tgbaunion.hh, src/tgbaalgos/dupexp.cc, src/tgbaalgos/eltl2tgba_lacim.cc, src/tgbaalgos/eltl2tgba_lacim.hh, src/tgbaalgos/emptiness.cc, src/tgbaalgos/gtec/gtec.cc, src/tgbaalgos/ltl2taa.cc, src/tgbaalgos/ltl2taa.hh, src/tgbaalgos/ltl2tgba_lacim.cc, src/tgbaalgos/neverclaim.cc, src/tgbaalgos/neverclaim.hh, src/tgbaalgos/powerset.cc, src/tgbaalgos/reachiter.cc, src/tgbaalgos/reachiter.hh, src/tgbaalgos/reductgba_sim.cc, src/tgbaalgos/reductgba_sim.hh, src/tgbaalgos/reductgba_sim_del.cc, src/tgbaalgos/stats.cc, src/tgbaalgos/stats.hh, src/tgbaparse/Makefile.am, src/tgbaparse/tgbaparse.yy, src/tgbatest/Makefile.am, src/tgbatest/bddprod.test, src/tgbatest/complementation.cc, src/tgbatest/complementation.test, src/tgbatest/defs.in, src/tgbatest/dfs.test, src/tgbatest/dupexp.test, src/tgbatest/explicit.cc, src/tgbatest/explicit.test, src/tgbatest/explpro3.test, src/tgbatest/explpro4.test, src/tgbatest/explprod.cc, src/tgbatest/explprod.test, src/tgbatest/ltl2neverclaim.test, src/tgbatest/ltl2tgba.cc, src/tgbatest/ltl2tgba.test, src/tgbatest/ltlprod.cc, src/tgbatest/ltlprod.test, src/tgbatest/mixprod.cc, src/tgbatest/mixprod.test, src/tgbatest/powerset.cc, src/tgbatest/readsave.cc, src/tgbatest/readsave.test, src/tgbatest/reduccmp.test, src/tgbatest/reductgba.cc, src/tgbatest/reductgba.test, src/tgbatest/taatgba.cc, src/tgbatest/tgbaread.cc, src/tgbatest/tgbaread.test, src/tgbatest/tripprod.cc, src/tgbatest/tripprod.test, wrap/python/cgi/ltl2tgba.in, wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltlparse.py, wrap/python/tests/ltlsimple.py: Fix copyrights. --- ChangeLog | 99 ++++++++++++++++++++++++++++ bench/Makefile.am | 4 +- bench/gspn-ssp/Makefile.am | 5 +- bench/gspn-ssp/defs.in | 5 +- bench/scc-stats/Makefile.am | 5 +- bench/split-product/Makefile.am | 5 +- configure.ac | 8 ++- iface/Makefile.am | 4 +- iface/gspn/Makefile.am | 4 +- iface/gspn/ssp.hh | 4 +- iface/nips/Makefile.am | 5 +- iface/nips/common.cc | 5 +- iface/nips/common.hh | 5 +- iface/nips/dottynips.cc | 5 +- iface/nips/nips.cc | 5 +- iface/nips/nips.hh | 5 +- src/Makefile.am | 4 +- src/eltlparse/Makefile.am | 5 +- src/eltlparse/eltlparse.yy | 5 +- src/eltlparse/eltlscan.ll | 5 +- src/eltlparse/fmterror.cc | 5 +- src/eltlparse/parsedecl.hh | 5 +- src/eltltest/Makefile.am | 4 +- src/eltltest/defs.in | 4 +- src/eltltest/nfa.cc | 5 +- src/evtgba/evtgba.hh | 4 +- src/evtgba/product.cc | 4 +- src/evtgba/product.hh | 4 +- src/evtgbaalgos/tgba2evtgba.cc | 4 +- src/evtgbaparse/Makefile.am | 4 +- src/evtgbaparse/evtgbaparse.yy | 4 +- src/evtgbatest/defs.in | 4 +- src/evtgbatest/explicit.test | 4 +- src/evtgbatest/ltl2evtgba.cc | 4 +- src/evtgbatest/ltl2evtgba.test | 4 +- src/evtgbatest/product.cc | 4 +- src/evtgbatest/product.test | 4 +- src/evtgbatest/readsave.cc | 4 +- src/evtgbatest/readsave.test | 4 +- src/ltlast/atomic_prop.cc | 4 +- src/ltlast/atomic_prop.hh | 4 +- src/ltlast/binop.cc | 4 +- src/ltlast/binop.hh | 4 +- src/ltlast/constant.cc | 4 +- src/ltlast/constant.hh | 4 +- src/ltlast/formula.cc | 4 +- src/ltlast/formula.hh | 4 +- src/ltlast/formula_tree.cc | 5 +- src/ltlast/formula_tree.hh | 5 +- src/ltlast/multop.cc | 4 +- src/ltlast/multop.hh | 4 +- src/ltlast/nfa.cc | 5 +- src/ltlast/nfa.hh | 5 +- src/ltlast/unop.cc | 4 +- src/ltlast/unop.hh | 4 +- src/ltlenv/declenv.cc | 4 +- src/ltlenv/declenv.hh | 4 +- src/ltlenv/environment.hh | 4 +- src/ltlparse/Makefile.am | 4 +- src/ltlparse/ltlparse.yy | 4 +- src/ltltest/Makefile.am | 4 +- src/ltltest/defs.in | 4 +- src/ltltest/equals.cc | 4 +- src/ltltest/equals.test | 4 +- src/ltltest/lunabbrev.test | 4 +- src/ltltest/nenoform.test | 4 +- src/ltltest/parse.test | 4 +- src/ltltest/parseerr.test | 4 +- src/ltltest/randltl.cc | 4 +- src/ltltest/readltl.cc | 4 +- src/ltltest/reduccmp.test | 4 +- src/ltltest/syntimpl.cc | 4 +- src/ltltest/syntimpl.test | 4 +- src/ltltest/tostring.cc | 4 +- src/ltltest/tostring.test | 4 +- src/ltltest/tunabbrev.test | 4 +- src/ltltest/tunenoform.test | 4 +- src/ltlvisit/basicreduce.cc | 4 +- src/ltlvisit/clone.cc | 4 +- src/ltlvisit/clone.hh | 4 +- src/ltlvisit/contain.cc | 4 +- src/ltlvisit/destroy.cc | 4 +- src/ltlvisit/destroy.hh | 4 +- src/ltlvisit/lunabbrev.cc | 4 +- src/ltlvisit/nenoform.cc | 4 +- src/ltlvisit/randomltl.cc | 4 +- src/ltlvisit/reduce.cc | 4 +- src/ltlvisit/syntimpl.cc | 4 +- src/ltlvisit/tostring.cc | 4 +- src/misc/bddalloc.cc | 2 + src/misc/bddop.cc | 5 +- src/misc/bddop.hh | 5 +- src/misc/freelist.hh | 4 +- src/misc/hash.hh | 4 +- src/misc/minato.cc | 4 +- src/misc/minato.hh | 4 +- src/misc/optionmap.cc | 4 +- src/misc/timer.cc | 4 +- src/misc/timer.hh | 4 +- src/saba/Makefile.am | 5 +- src/saba/explicitstateconjunction.cc | 5 +- src/saba/explicitstateconjunction.hh | 5 +- src/saba/saba.cc | 5 +- src/saba/saba.hh | 5 +- src/saba/sabacomplementtgba.cc | 5 +- src/saba/sabacomplementtgba.hh | 5 +- src/saba/sabastate.hh | 5 +- src/saba/sabasucciter.hh | 5 +- src/sabaalgos/Makefile.am | 5 +- src/sabaalgos/sabadotty.cc | 5 +- src/sabaalgos/sabadotty.hh | 5 +- src/sabaalgos/sabareachiter.cc | 5 +- src/sabaalgos/sabareachiter.hh | 5 +- src/sabatest/Makefile.am | 5 +- src/sabatest/defs.in | 4 +- src/sanity/Makefile.am | 4 +- src/tgba/Makefile.am | 4 +- src/tgba/bdddict.cc | 4 +- src/tgba/bddprint.cc | 4 +- src/tgba/formula2bdd.cc | 4 +- src/tgba/state.hh | 4 +- src/tgba/succiterconcrete.cc | 4 +- src/tgba/taatgba.hh | 5 +- src/tgba/tgba.hh | 4 +- src/tgba/tgbabddconcretefactory.cc | 4 +- src/tgba/tgbabddconcretefactory.hh | 4 +- src/tgba/tgbacomplement.cc | 5 +- src/tgba/tgbacomplement.hh | 5 +- src/tgba/tgbaexplicit.cc | 4 +- src/tgba/tgbaexplicit.hh | 4 +- src/tgba/tgbaproduct.cc | 4 +- src/tgba/tgbareduc.cc | 4 +- src/tgba/tgbareduc.hh | 4 +- src/tgba/tgbasafracomplement.cc | 5 +- src/tgba/tgbasgba.cc | 5 +- src/tgba/tgbasgba.hh | 5 +- src/tgba/tgbaunion.cc | 5 +- src/tgba/tgbaunion.hh | 5 +- src/tgbaalgos/dupexp.cc | 4 +- src/tgbaalgos/eltl2tgba_lacim.cc | 5 +- src/tgbaalgos/eltl2tgba_lacim.hh | 5 +- src/tgbaalgos/emptiness.cc | 4 +- src/tgbaalgos/gtec/gtec.cc | 4 +- src/tgbaalgos/ltl2taa.cc | 5 +- src/tgbaalgos/ltl2taa.hh | 5 +- src/tgbaalgos/ltl2tgba_lacim.cc | 4 +- src/tgbaalgos/neverclaim.cc | 4 +- src/tgbaalgos/neverclaim.hh | 4 +- src/tgbaalgos/powerset.cc | 4 +- src/tgbaalgos/reachiter.cc | 4 +- src/tgbaalgos/reachiter.hh | 4 +- src/tgbaalgos/reductgba_sim.cc | 4 +- src/tgbaalgos/reductgba_sim.hh | 4 +- src/tgbaalgos/reductgba_sim_del.cc | 4 +- src/tgbaalgos/stats.cc | 4 +- src/tgbaalgos/stats.hh | 4 +- src/tgbaparse/Makefile.am | 4 +- src/tgbaparse/tgbaparse.yy | 4 +- src/tgbatest/Makefile.am | 4 +- src/tgbatest/bddprod.test | 4 +- src/tgbatest/complementation.cc | 20 ++++++ src/tgbatest/complementation.test | 5 +- src/tgbatest/defs.in | 4 +- src/tgbatest/dfs.test | 4 +- src/tgbatest/dupexp.test | 4 +- src/tgbatest/explicit.cc | 4 +- src/tgbatest/explicit.test | 4 +- src/tgbatest/explpro3.test | 4 +- src/tgbatest/explpro4.test | 4 +- src/tgbatest/explprod.cc | 4 +- src/tgbatest/explprod.test | 4 +- src/tgbatest/ltl2neverclaim.test | 4 +- src/tgbatest/ltl2tgba.cc | 6 +- src/tgbatest/ltl2tgba.test | 4 +- src/tgbatest/ltlprod.cc | 4 +- src/tgbatest/ltlprod.test | 4 +- src/tgbatest/mixprod.cc | 4 +- src/tgbatest/mixprod.test | 4 +- src/tgbatest/powerset.cc | 4 +- src/tgbatest/readsave.cc | 4 +- src/tgbatest/readsave.test | 4 +- src/tgbatest/reduccmp.test | 4 +- src/tgbatest/reductgba.cc | 4 +- src/tgbatest/reductgba.test | 4 +- src/tgbatest/taatgba.cc | 5 +- src/tgbatest/tgbaread.cc | 4 +- src/tgbatest/tgbaread.test | 4 +- src/tgbatest/tripprod.cc | 4 +- src/tgbatest/tripprod.test | 4 +- wrap/python/cgi/ltl2tgba.in | 4 +- wrap/python/tests/ltl2tgba.py | 4 +- wrap/python/tests/ltlparse.py | 4 +- wrap/python/tests/ltlsimple.py | 4 +- 193 files changed, 643 insertions(+), 295 deletions(-) mode change 100644 => 100755 wrap/python/cgi/ltl2tgba.in diff --git a/ChangeLog b/ChangeLog index 284b8f62f..520114b44 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,102 @@ +2010-01-24 Guillaume Sadegh + + Fix copyrights. + + * bench/Makefile.am, bench/gspn-ssp/Makefile.am, + bench/gspn-ssp/defs.in, bench/scc-stats/Makefile.am, + bench/split-product/Makefile.am, configure.ac, + iface/Makefile.am, iface/gspn/Makefile.am, iface/gspn/ssp.hh, + iface/nips/Makefile.am, iface/nips/common.cc, + iface/nips/common.hh, iface/nips/dottynips.cc, + iface/nips/nips.cc, iface/nips/nips.hh, src/Makefile.am, + src/eltlparse/Makefile.am, src/eltlparse/eltlparse.yy, + src/eltlparse/eltlscan.ll, src/eltlparse/fmterror.cc, + src/eltlparse/parsedecl.hh, src/eltltest/Makefile.am, + src/eltltest/defs.in, src/eltltest/nfa.cc, src/evtgba/evtgba.hh, + src/evtgba/product.cc, src/evtgba/product.hh, + src/evtgbaalgos/tgba2evtgba.cc, src/evtgbaparse/Makefile.am, + src/evtgbaparse/evtgbaparse.yy, src/evtgbatest/defs.in, + src/evtgbatest/explicit.test, src/evtgbatest/ltl2evtgba.cc, + src/evtgbatest/ltl2evtgba.test, src/evtgbatest/product.cc, + src/evtgbatest/product.test, src/evtgbatest/readsave.cc, + src/evtgbatest/readsave.test, src/ltlast/atomic_prop.cc, + src/ltlast/atomic_prop.hh, src/ltlast/binop.cc, + src/ltlast/binop.hh, src/ltlast/constant.cc, + src/ltlast/constant.hh, src/ltlast/formula.cc, + src/ltlast/formula.hh, src/ltlast/formula_tree.cc, + src/ltlast/formula_tree.hh, src/ltlast/multop.cc, + src/ltlast/multop.hh, src/ltlast/nfa.cc, src/ltlast/nfa.hh, + src/ltlast/unop.cc, src/ltlast/unop.hh, src/ltlenv/declenv.cc, + src/ltlenv/declenv.hh, src/ltlenv/environment.hh, + src/ltlparse/Makefile.am, src/ltlparse/ltlparse.yy, + src/ltltest/Makefile.am, src/ltltest/defs.in, + src/ltltest/equals.cc, src/ltltest/equals.test, + src/ltltest/lunabbrev.test, src/ltltest/nenoform.test, + src/ltltest/parse.test, src/ltltest/parseerr.test, + src/ltltest/randltl.cc, src/ltltest/readltl.cc, + src/ltltest/reduccmp.test, src/ltltest/syntimpl.cc, + src/ltltest/syntimpl.test, src/ltltest/tostring.cc, + src/ltltest/tostring.test, src/ltltest/tunabbrev.test, + src/ltltest/tunenoform.test, src/ltlvisit/basicreduce.cc, + src/ltlvisit/clone.cc, src/ltlvisit/clone.hh, + src/ltlvisit/contain.cc, src/ltlvisit/destroy.cc, + src/ltlvisit/destroy.hh, src/ltlvisit/lunabbrev.cc, + src/ltlvisit/nenoform.cc, src/ltlvisit/randomltl.cc, + src/ltlvisit/reduce.cc, src/ltlvisit/syntimpl.cc, + src/ltlvisit/tostring.cc, src/misc/bddalloc.cc, + src/misc/bddop.cc, src/misc/bddop.hh, src/misc/freelist.hh, + src/misc/hash.hh, src/misc/minato.cc, src/misc/minato.hh, + src/misc/optionmap.cc, src/misc/timer.cc, src/misc/timer.hh, + src/saba/Makefile.am, src/saba/explicitstateconjunction.cc, + src/saba/explicitstateconjunction.hh, src/saba/saba.cc, + src/saba/saba.hh, src/saba/sabacomplementtgba.cc, + src/saba/sabacomplementtgba.hh, src/saba/sabastate.hh, + src/saba/sabasucciter.hh, src/sabaalgos/Makefile.am, + src/sabaalgos/sabadotty.cc, src/sabaalgos/sabadotty.hh, + src/sabaalgos/sabareachiter.cc, src/sabaalgos/sabareachiter.hh, + src/sabatest/Makefile.am, src/sabatest/defs.in, + src/sanity/Makefile.am, src/tgba/Makefile.am, + src/tgba/bdddict.cc, src/tgba/bddprint.cc, + src/tgba/formula2bdd.cc, src/tgba/state.hh, + src/tgba/succiterconcrete.cc, src/tgba/taatgba.hh, + src/tgba/tgba.hh, src/tgba/tgbabddconcretefactory.cc, + src/tgba/tgbabddconcretefactory.hh, src/tgba/tgbacomplement.cc, + src/tgba/tgbacomplement.hh, src/tgba/tgbaexplicit.cc, + src/tgba/tgbaexplicit.hh, src/tgba/tgbaproduct.cc, + src/tgba/tgbareduc.cc, src/tgba/tgbareduc.hh, + src/tgba/tgbasafracomplement.cc, src/tgba/tgbasgba.cc, + src/tgba/tgbasgba.hh, src/tgba/tgbaunion.cc, + src/tgba/tgbaunion.hh, src/tgbaalgos/dupexp.cc, + src/tgbaalgos/eltl2tgba_lacim.cc, + src/tgbaalgos/eltl2tgba_lacim.hh, src/tgbaalgos/emptiness.cc, + src/tgbaalgos/gtec/gtec.cc, src/tgbaalgos/ltl2taa.cc, + src/tgbaalgos/ltl2taa.hh, src/tgbaalgos/ltl2tgba_lacim.cc, + src/tgbaalgos/neverclaim.cc, src/tgbaalgos/neverclaim.hh, + src/tgbaalgos/powerset.cc, src/tgbaalgos/reachiter.cc, + src/tgbaalgos/reachiter.hh, src/tgbaalgos/reductgba_sim.cc, + src/tgbaalgos/reductgba_sim.hh, + src/tgbaalgos/reductgba_sim_del.cc, src/tgbaalgos/stats.cc, + src/tgbaalgos/stats.hh, src/tgbaparse/Makefile.am, + src/tgbaparse/tgbaparse.yy, src/tgbatest/Makefile.am, + src/tgbatest/bddprod.test, src/tgbatest/complementation.cc, + src/tgbatest/complementation.test, src/tgbatest/defs.in, + src/tgbatest/dfs.test, src/tgbatest/dupexp.test, + src/tgbatest/explicit.cc, src/tgbatest/explicit.test, + src/tgbatest/explpro3.test, src/tgbatest/explpro4.test, + src/tgbatest/explprod.cc, src/tgbatest/explprod.test, + src/tgbatest/ltl2neverclaim.test, src/tgbatest/ltl2tgba.cc, + src/tgbatest/ltl2tgba.test, src/tgbatest/ltlprod.cc, + src/tgbatest/ltlprod.test, src/tgbatest/mixprod.cc, + src/tgbatest/mixprod.test, src/tgbatest/powerset.cc, + src/tgbatest/readsave.cc, src/tgbatest/readsave.test, + src/tgbatest/reduccmp.test, src/tgbatest/reductgba.cc, + src/tgbatest/reductgba.test, src/tgbatest/taatgba.cc, + src/tgbatest/tgbaread.cc, src/tgbatest/tgbaread.test, + src/tgbatest/tripprod.cc, src/tgbatest/tripprod.test, + wrap/python/cgi/ltl2tgba.in, wrap/python/tests/ltl2tgba.py, + wrap/python/tests/ltlparse.py, wrap/python/tests/ltlsimple.py: + Fix copyrights. + 2010-01-24 Alexandre Duret-Lutz Check that all directories are documented. diff --git a/bench/Makefile.am b/bench/Makefile.am index 33b3a17b8..6e85fe248 100644 --- a/bench/Makefile.am +++ b/bench/Makefile.am @@ -1,4 +1,6 @@ -## Copyright (C) 2005, 2008, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +## Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). +## Copyright (C) 2005 Laboratoire d'Informatique de Paris 6 (LIP6), ## département Systèmes Répartis Coopératifs (SRC), Université Pierre ## et Marie Curie. ## diff --git a/bench/gspn-ssp/Makefile.am b/bench/gspn-ssp/Makefile.am index 50eb21ffa..f7f9bd86b 100644 --- a/bench/gspn-ssp/Makefile.am +++ b/bench/gspn-ssp/Makefile.am @@ -1,6 +1,5 @@ -## Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -## département Systèmes Répartis Coopératifs (SRC), Université Pierre -## et Marie Curie. +## Copyright (C) 2008 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). ## ## This file is part of Spot, a model checking library. ## diff --git a/bench/gspn-ssp/defs.in b/bench/gspn-ssp/defs.in index 0f9408ff7..1ecf9e7a0 100644 --- a/bench/gspn-ssp/defs.in +++ b/bench/gspn-ssp/defs.in @@ -1,7 +1,6 @@ # -*- shell-script -*- -# Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -# département Systèmes Répartis Coopératifs (SRC), Université Pierre -# et Marie Curie. +# Copyright (C) 2008 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/bench/scc-stats/Makefile.am b/bench/scc-stats/Makefile.am index eb66643f0..0d98f600f 100644 --- a/bench/scc-stats/Makefile.am +++ b/bench/scc-stats/Makefile.am @@ -1,6 +1,5 @@ -## Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -## département Systèmes Répartis Coopératifs (SRC), Université Pierre -## et Marie Curie. +## Copyright (C) 2009 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). ## ## This file is part of Spot, a model checking library. ## diff --git a/bench/split-product/Makefile.am b/bench/split-product/Makefile.am index cb78dcf01..fdfbdae11 100644 --- a/bench/split-product/Makefile.am +++ b/bench/split-product/Makefile.am @@ -1,6 +1,5 @@ -## Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -## département Systèmes Répartis Coopératifs (SRC), Université Pierre -## et Marie Curie. +## Copyright (C) 2009 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). ## ## This file is part of Spot, a model checking library. ## diff --git a/configure.ac b/configure.ac index 7c2a9968c..57ff356a8 100644 --- a/configure.ac +++ b/configure.ac @@ -1,6 +1,8 @@ -# Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009 Laboratoire -# d'Informatique de Paris 6 (LIP6), département Systèmes Répartis -# Coopératifs (SRC), Université Pierre et Marie Curie. +# Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# 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. # # This file is part of Spot, a model checking library. # diff --git a/iface/Makefile.am b/iface/Makefile.am index 516740587..446180654 100644 --- a/iface/Makefile.am +++ b/iface/Makefile.am @@ -1,4 +1,6 @@ -## Copyright (C) 2003, 2008 Laboratoire d'Informatique de Paris 6 (LIP6), +## Copyright (C) 2008 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). +## Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), ## département Systèmes Répartis Coopératifs (SRC), Université Pierre ## et Marie Curie. ## diff --git a/iface/gspn/Makefile.am b/iface/gspn/Makefile.am index a8a37f46d..63aa2214a 100644 --- a/iface/gspn/Makefile.am +++ b/iface/gspn/Makefile.am @@ -1,4 +1,6 @@ -## Copyright (C) 2003, 2004, 2008 Laboratoire d'Informatique de Paris 6 (LIP6), +## Copyright (C) 2008 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). +## Copyright (C) 2003, 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/iface/gspn/ssp.hh b/iface/gspn/ssp.hh index c0e5a5914..e1224c3b3 100644 --- a/iface/gspn/ssp.hh +++ b/iface/gspn/ssp.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2006, 2007, 2008 Laboratoire d'Informatique de +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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. // diff --git a/iface/nips/Makefile.am b/iface/nips/Makefile.am index 04790e076..4acf9dc75 100644 --- a/iface/nips/Makefile.am +++ b/iface/nips/Makefile.am @@ -1,6 +1,5 @@ -## Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -## département Systèmes Répartis Coopératifs (SRC), Université Pierre -## et Marie Curie. +## Copyright (C) 2008 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). ## ## This file is part of Spot, a model checking library. ## diff --git a/iface/nips/common.cc b/iface/nips/common.cc index 266faa7b3..c68826e1a 100644 --- a/iface/nips/common.cc +++ b/iface/nips/common.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/iface/nips/common.hh b/iface/nips/common.hh index 843803f32..d5f69ec4a 100644 --- a/iface/nips/common.hh +++ b/iface/nips/common.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/iface/nips/dottynips.cc b/iface/nips/dottynips.cc index fee11292b..c538982cb 100644 --- a/iface/nips/dottynips.cc +++ b/iface/nips/dottynips.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/iface/nips/nips.cc b/iface/nips/nips.cc index 3f53b17c1..d80596ea9 100644 --- a/iface/nips/nips.cc +++ b/iface/nips/nips.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/iface/nips/nips.hh b/iface/nips/nips.hh index eff4ebec9..e697adc29 100644 --- a/iface/nips/nips.hh +++ b/iface/nips/nips.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/Makefile.am b/src/Makefile.am index d67b09247..c506fe51c 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -1,4 +1,6 @@ -## Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +## Copyright (C) 2009 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). +## Copyright (C) 2003, 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/eltlparse/Makefile.am b/src/eltlparse/Makefile.am index 713c02c78..1df11f572 100644 --- a/src/eltlparse/Makefile.am +++ b/src/eltlparse/Makefile.am @@ -1,6 +1,5 @@ -## Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -## département Systèmes Répartis Coopératifs (SRC), Université Pierre -## et Marie Curie. +## Copyright (C) 2008 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). ## ## This file is part of Spot, a model checking library. ## diff --git a/src/eltlparse/eltlparse.yy b/src/eltlparse/eltlparse.yy index 6e9781289..529c0d183 100644 --- a/src/eltlparse/eltlparse.yy +++ b/src/eltlparse/eltlparse.yy @@ -1,6 +1,5 @@ -/* Copyright (C) 2008, 2009 Laboratoire d'Informatique de -** Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -** Université Pierre et Marie Curie. +/* Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +** de l'Epita (LRDE). ** ** This file is part of Spot, a model checking library. ** diff --git a/src/eltlparse/eltlscan.ll b/src/eltlparse/eltlscan.ll index 44b83bed1..c40fe9352 100644 --- a/src/eltlparse/eltlscan.ll +++ b/src/eltlparse/eltlscan.ll @@ -1,6 +1,5 @@ -/* Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -** département Systèmes Répartis Coopératifs (SRC), Université Pierre -** et Marie Curie. +/* Copyright (C) 2008 Laboratoire de Recherche et Développement +** de l'Epita (LRDE). ** ** This file is part of Spot, a model checking library. ** diff --git a/src/eltlparse/fmterror.cc b/src/eltlparse/fmterror.cc index b2e086f65..763c3798d 100644 --- a/src/eltlparse/fmterror.cc +++ b/src/eltlparse/fmterror.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/eltlparse/parsedecl.hh b/src/eltlparse/parsedecl.hh index ae3a6c8ee..db651953c 100644 --- a/src/eltlparse/parsedecl.hh +++ b/src/eltlparse/parsedecl.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/eltltest/Makefile.am b/src/eltltest/Makefile.am index 9af1d8dc8..f391bd696 100644 --- a/src/eltltest/Makefile.am +++ b/src/eltltest/Makefile.am @@ -1,4 +1,6 @@ -## Copyright (C) 2003, 2004, 2005, 2006, 2009 Laboratoire d'Informatique de +## Copyright (C) 2009 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). +## Copyright (C) 2003, 2004, 2005, 2006 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/eltltest/defs.in b/src/eltltest/defs.in index 78da86839..e95071c67 100644 --- a/src/eltltest/defs.in +++ b/src/eltltest/defs.in @@ -1,5 +1,7 @@ # -*- shell-script -*- -# Copyright (C) 2003, 2004, 2006, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# 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. # diff --git a/src/eltltest/nfa.cc b/src/eltltest/nfa.cc index 6722babee..7debc3c5c 100644 --- a/src/eltltest/nfa.cc +++ b/src/eltltest/nfa.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/evtgba/evtgba.hh b/src/evtgba/evtgba.hh index 93dba7f50..ec8d9ec55 100644 --- a/src/evtgba/evtgba.hh +++ b/src/evtgba/evtgba.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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/evtgba/product.cc b/src/evtgba/product.cc index 6152c09d7..067987e82 100644 --- a/src/evtgba/product.cc +++ b/src/evtgba/product.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2008 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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/evtgba/product.hh b/src/evtgba/product.hh index 202103a5d..dbf845f68 100644 --- a/src/evtgba/product.hh +++ b/src/evtgba/product.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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/evtgbaalgos/tgba2evtgba.cc b/src/evtgbaalgos/tgba2evtgba.cc index 5353a5df2..b50b4a9ea 100644 --- a/src/evtgbaalgos/tgba2evtgba.cc +++ b/src/evtgbaalgos/tgba2evtgba.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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/evtgbaparse/Makefile.am b/src/evtgbaparse/Makefile.am index e583453cb..63378908c 100644 --- a/src/evtgbaparse/Makefile.am +++ b/src/evtgbaparse/Makefile.am @@ -1,4 +1,6 @@ -## Copyright (C) 2004, 2006, 2008, 2009 Laboratoire d'Informatique de Paris 6 +## Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). +## Copyright (C) 2004, 2006 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/evtgbaparse/evtgbaparse.yy b/src/evtgbaparse/evtgbaparse.yy index 300712501..dd14fb2a8 100644 --- a/src/evtgbaparse/evtgbaparse.yy +++ b/src/evtgbaparse/evtgbaparse.yy @@ -1,4 +1,6 @@ -/* Copyright (C) 2004, 2005, 2006, 2009 Laboratoire d'Informatique de +/* Copyright (C) 2009 Laboratoire de Recherche et Développement +** de l'Epita (LRDE). +/* Copyright (C) 2004, 2005, 2006 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/evtgbatest/defs.in b/src/evtgbatest/defs.in index bf45bea6a..79f56261b 100644 --- a/src/evtgbatest/defs.in +++ b/src/evtgbatest/defs.in @@ -1,5 +1,7 @@ # -*- shell-script -*- -# Copyright (C) 2003, 2004, 2006, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# 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. # diff --git a/src/evtgbatest/explicit.test b/src/evtgbatest/explicit.test index 6b1c6db55..f9575a69d 100755 --- a/src/evtgbatest/explicit.test +++ b/src/evtgbatest/explicit.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2004, 2005, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2004, 2005 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/evtgbatest/ltl2evtgba.cc b/src/evtgbatest/ltl2evtgba.cc index 1a4161cb8..ff526f216 100644 --- a/src/evtgbatest/ltl2evtgba.cc +++ b/src/evtgbatest/ltl2evtgba.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2008, 2009 Laboratoire d'Informatique de Paris 6 +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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/evtgbatest/ltl2evtgba.test b/src/evtgbatest/ltl2evtgba.test index e584da4c1..a1f3a7fb4 100755 --- a/src/evtgbatest/ltl2evtgba.test +++ b/src/evtgbatest/ltl2evtgba.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/evtgbatest/product.cc b/src/evtgbatest/product.cc index 822d3fced..53b174658 100644 --- a/src/evtgbatest/product.cc +++ b/src/evtgbatest/product.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2005, 2008 Laboratoire d'Informatique de Paris +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2004, 2005 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/evtgbatest/product.test b/src/evtgbatest/product.test index 4c38dc978..62db642ec 100755 --- a/src/evtgbatest/product.test +++ b/src/evtgbatest/product.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# 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/evtgbatest/readsave.cc b/src/evtgbatest/readsave.cc index a5971c9b6..65e0d6eb1 100644 --- a/src/evtgbatest/readsave.cc +++ b/src/evtgbatest/readsave.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2005, 2008 Laboratoire d'Informatique de Paris +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2004, 2005 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/evtgbatest/readsave.test b/src/evtgbatest/readsave.test index 563e5f7ce..ef6e35d98 100755 --- a/src/evtgbatest/readsave.test +++ b/src/evtgbatest/readsave.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# 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/ltlast/atomic_prop.cc b/src/ltlast/atomic_prop.cc index b40d02920..8763e446c 100644 --- a/src/ltlast/atomic_prop.cc +++ b/src/ltlast/atomic_prop.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2005, 2009 Laboratoire d'Informatique de +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 2004, 2005 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/ltlast/atomic_prop.hh b/src/ltlast/atomic_prop.hh index 78e032e79..c1bc86a88 100644 --- a/src/ltlast/atomic_prop.hh +++ b/src/ltlast/atomic_prop.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/ltlast/binop.cc b/src/ltlast/binop.cc index 1009c1170..5d1c703df 100644 --- a/src/ltlast/binop.cc +++ b/src/ltlast/binop.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2005, 2009 Laboratoire d'Informatique de Paris +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 2005 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/ltlast/binop.hh b/src/ltlast/binop.hh index 44b5567e4..364e1eca8 100644 --- a/src/ltlast/binop.hh +++ b/src/ltlast/binop.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/ltlast/constant.cc b/src/ltlast/constant.cc index 4487c1064..859b8bb27 100644 --- a/src/ltlast/constant.cc +++ b/src/ltlast/constant.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2005, 2009 Laboratoire d'Informatique de Paris +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 2005 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/ltlast/constant.hh b/src/ltlast/constant.hh index f95568a46..b60ad8ca2 100644 --- a/src/ltlast/constant.hh +++ b/src/ltlast/constant.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/ltlast/formula.cc b/src/ltlast/formula.cc index 2fa6182df..123ebcd2d 100644 --- a/src/ltlast/formula.cc +++ b/src/ltlast/formula.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2005, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 2005 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/ltlast/formula.hh b/src/ltlast/formula.hh index 03d36c0a1..aa8d0c4e1 100644 --- a/src/ltlast/formula.hh +++ b/src/ltlast/formula.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2005, 2008, 2009 Laboratoire d'Informatique de +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 2004, 2005 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/ltlast/formula_tree.cc b/src/ltlast/formula_tree.cc index ed323f593..ddda01692 100644 --- a/src/ltlast/formula_tree.cc +++ b/src/ltlast/formula_tree.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/ltlast/formula_tree.hh b/src/ltlast/formula_tree.hh index 4de43afee..c26002843 100644 --- a/src/ltlast/formula_tree.hh +++ b/src/ltlast/formula_tree.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/ltlast/multop.cc b/src/ltlast/multop.cc index 91e3ee66c..52ace8b3e 100644 --- a/src/ltlast/multop.cc +++ b/src/ltlast/multop.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2005, 2009 Laboratoire d'Informatique de +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 2004, 2005 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/ltlast/multop.hh b/src/ltlast/multop.hh index d941373e3..1b979e27b 100644 --- a/src/ltlast/multop.hh +++ b/src/ltlast/multop.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/ltlast/nfa.cc b/src/ltlast/nfa.cc index dcfea1867..816c66872 100644 --- a/src/ltlast/nfa.cc +++ b/src/ltlast/nfa.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/ltlast/nfa.hh b/src/ltlast/nfa.hh index 033443444..aa26051fc 100644 --- a/src/ltlast/nfa.hh +++ b/src/ltlast/nfa.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/ltlast/unop.cc b/src/ltlast/unop.cc index 4e69cfe33..efca0e876 100644 --- a/src/ltlast/unop.cc +++ b/src/ltlast/unop.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2005, 2009 Laboratoire d'Informatique de Paris +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 2005 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/ltlast/unop.hh b/src/ltlast/unop.hh index 4357fff94..cfd429266 100644 --- a/src/ltlast/unop.hh +++ b/src/ltlast/unop.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/ltlenv/declenv.cc b/src/ltlenv/declenv.cc index 003b146c7..b5eb04c81 100644 --- a/src/ltlenv/declenv.cc +++ b/src/ltlenv/declenv.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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/ltlenv/declenv.hh b/src/ltlenv/declenv.hh index 964dd39f4..c40aacaae 100644 --- a/src/ltlenv/declenv.hh +++ b/src/ltlenv/declenv.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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/ltlenv/environment.hh b/src/ltlenv/environment.hh index 6dd6d8f32..51d24d041 100644 --- a/src/ltlenv/environment.hh +++ b/src/ltlenv/environment.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2008 Laboratoire d'Informatique de Paris +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/ltlparse/Makefile.am b/src/ltlparse/Makefile.am index cdb749a68..bdbb7efb0 100644 --- a/src/ltlparse/Makefile.am +++ b/src/ltlparse/Makefile.am @@ -1,4 +1,6 @@ -## Copyright (C) 2003, 2004, 2008, 2009 Laboratoire d'Informatique de Paris +## Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). +## Copyright (C) 2003, 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/ltlparse/ltlparse.yy b/src/ltlparse/ltlparse.yy index 0a1a27301..857c720e1 100644 --- a/src/ltlparse/ltlparse.yy +++ b/src/ltlparse/ltlparse.yy @@ -1,4 +1,6 @@ -/* Copyright (C) 2003, 2004, 2005, 2006, 2009 Laboratoire d'Informatique de +/* Copyright (C) 2009 Laboratoire de Recherche et Développement +** de l'Epita (LRDE). +/* Copyright (C) 2003, 2004, 2005, 2006 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/ltltest/Makefile.am b/src/ltltest/Makefile.am index c47d42ae3..a9d9bb6d9 100644 --- a/src/ltltest/Makefile.am +++ b/src/ltltest/Makefile.am @@ -1,4 +1,6 @@ -## Copyright (C) 2003, 2004, 2005, 2006, 2009 Laboratoire d'Informatique de +## Copyright (C) 2009 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). +## Copyright (C) 2003, 2004, 2005, 2006 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/ltltest/defs.in b/src/ltltest/defs.in index 78da86839..e95071c67 100644 --- a/src/ltltest/defs.in +++ b/src/ltltest/defs.in @@ -1,5 +1,7 @@ # -*- shell-script -*- -# Copyright (C) 2003, 2004, 2006, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# 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. # diff --git a/src/ltltest/equals.cc b/src/ltltest/equals.cc index 665ee8704..bade58393 100644 --- a/src/ltltest/equals.cc +++ b/src/ltltest/equals.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2006, 2008, 2009 Laboratoire d'Informatique de +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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. // diff --git a/src/ltltest/equals.test b/src/ltltest/equals.test index baac340c7..b849d140b 100755 --- a/src/ltltest/equals.test +++ b/src/ltltest/equals.test @@ -1,5 +1,7 @@ #! /bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/ltltest/lunabbrev.test b/src/ltltest/lunabbrev.test index 9b231f601..1be0a99fe 100755 --- a/src/ltltest/lunabbrev.test +++ b/src/ltltest/lunabbrev.test @@ -1,5 +1,7 @@ #! /bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/ltltest/nenoform.test b/src/ltltest/nenoform.test index 61f2c9080..bb6f02cb7 100755 --- a/src/ltltest/nenoform.test +++ b/src/ltltest/nenoform.test @@ -1,5 +1,7 @@ #! /bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/ltltest/parse.test b/src/ltltest/parse.test index 1a36dfd2b..dddb9d426 100755 --- a/src/ltltest/parse.test +++ b/src/ltltest/parse.test @@ -1,5 +1,7 @@ #! /bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/ltltest/parseerr.test b/src/ltltest/parseerr.test index 89e45131c..89e048aa4 100755 --- a/src/ltltest/parseerr.test +++ b/src/ltltest/parseerr.test @@ -1,5 +1,7 @@ #! /bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/ltltest/randltl.cc b/src/ltltest/randltl.cc index 0be2babf0..cc7a91689 100644 --- a/src/ltltest/randltl.cc +++ b/src/ltltest/randltl.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2005, 2008, 2009 Laboratoire d'Informatique de +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 2005 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/ltltest/readltl.cc b/src/ltltest/readltl.cc index 7930814bb..2a868476b 100644 --- a/src/ltltest/readltl.cc +++ b/src/ltltest/readltl.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2008, 2009 Laboratoire d'Informatique de Paris 6 +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003 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/ltltest/reduccmp.test b/src/ltltest/reduccmp.test index f692b193d..c4e2c4152 100755 --- a/src/ltltest/reduccmp.test +++ b/src/ltltest/reduccmp.test @@ -1,5 +1,7 @@ #! /bin/sh -# Copyright (C) 2004, 2006, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2004, 2006 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/ltltest/syntimpl.cc b/src/ltltest/syntimpl.cc index 869dfac3a..225f25caf 100644 --- a/src/ltltest/syntimpl.cc +++ b/src/ltltest/syntimpl.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2008, 2009 Laboratoire d'Informatique de Paris 6 +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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/ltltest/syntimpl.test b/src/ltltest/syntimpl.test index ad35ee0b6..18474094a 100755 --- a/src/ltltest/syntimpl.test +++ b/src/ltltest/syntimpl.test @@ -1,5 +1,7 @@ #! /bin/sh -# Copyright (C) 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# 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/ltltest/tostring.cc b/src/ltltest/tostring.cc index 5e19eb11c..6edd4ff63 100644 --- a/src/ltltest/tostring.cc +++ b/src/ltltest/tostring.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2008, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003 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/ltltest/tostring.test b/src/ltltest/tostring.test index b3e135b44..f0ba885d2 100755 --- a/src/ltltest/tostring.test +++ b/src/ltltest/tostring.test @@ -1,5 +1,7 @@ #! /bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/ltltest/tunabbrev.test b/src/ltltest/tunabbrev.test index c329bc35c..8148f239d 100755 --- a/src/ltltest/tunabbrev.test +++ b/src/ltltest/tunabbrev.test @@ -1,5 +1,7 @@ #! /bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/ltltest/tunenoform.test b/src/ltltest/tunenoform.test index 411552ea3..67a80cfb6 100755 --- a/src/ltltest/tunenoform.test +++ b/src/ltltest/tunenoform.test @@ -1,5 +1,7 @@ #! /bin/sh -# Copyright (C) 2003, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003 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/ltlvisit/basicreduce.cc b/src/ltlvisit/basicreduce.cc index fa2c18e25..22fae745c 100644 --- a/src/ltlvisit/basicreduce.cc +++ b/src/ltlvisit/basicreduce.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2007, 2008, 2009 Laboratoire d'Informatique de +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2004, 2007 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/ltlvisit/clone.cc b/src/ltlvisit/clone.cc index 5ccd18e9f..806ad3bb3 100644 --- a/src/ltlvisit/clone.cc +++ b/src/ltlvisit/clone.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003 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/ltlvisit/clone.hh b/src/ltlvisit/clone.hh index b00e1c639..8965a8d89 100644 --- a/src/ltlvisit/clone.hh +++ b/src/ltlvisit/clone.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/ltlvisit/contain.cc b/src/ltlvisit/contain.cc index faad5f937..2387f0f93 100644 --- a/src/ltlvisit/contain.cc +++ b/src/ltlvisit/contain.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2006, 2007, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2006, 2007 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/ltlvisit/destroy.cc b/src/ltlvisit/destroy.cc index c3c2520e4..95c705fb6 100644 --- a/src/ltlvisit/destroy.cc +++ b/src/ltlvisit/destroy.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/ltlvisit/destroy.hh b/src/ltlvisit/destroy.hh index b9ac61235..ab1f6ad54 100644 --- a/src/ltlvisit/destroy.hh +++ b/src/ltlvisit/destroy.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/ltlvisit/lunabbrev.cc b/src/ltlvisit/lunabbrev.cc index 56849a263..b091e0904 100644 --- a/src/ltlvisit/lunabbrev.cc +++ b/src/ltlvisit/lunabbrev.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/ltlvisit/nenoform.cc b/src/ltlvisit/nenoform.cc index fc5d736a2..3d20c8698 100644 --- a/src/ltlvisit/nenoform.cc +++ b/src/ltlvisit/nenoform.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/ltlvisit/randomltl.cc b/src/ltlvisit/randomltl.cc index 2816703e2..6ef516a46 100644 --- a/src/ltlvisit/randomltl.cc +++ b/src/ltlvisit/randomltl.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2005, 2008, 2009 Laboratoire d'Informatique de Paris 6 +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2005 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/ltlvisit/reduce.cc b/src/ltlvisit/reduce.cc index 31260f18a..6f2f8e73e 100644 --- a/src/ltlvisit/reduce.cc +++ b/src/ltlvisit/reduce.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2006, 2007, 2008, 2009 Laboratoire d'Informatique de +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2004, 2006, 2007 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/ltlvisit/syntimpl.cc b/src/ltlvisit/syntimpl.cc index 77caeec6f..c4e722a01 100644 --- a/src/ltlvisit/syntimpl.cc +++ b/src/ltlvisit/syntimpl.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2005, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2004, 2005 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/ltlvisit/tostring.cc b/src/ltlvisit/tostring.cc index 3a3cebbe7..47eacb0d6 100644 --- a/src/ltlvisit/tostring.cc +++ b/src/ltlvisit/tostring.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2008 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/misc/bddalloc.cc b/src/misc/bddalloc.cc index 473a5afc4..d95f899dd 100644 --- a/src/misc/bddalloc.cc +++ b/src/misc/bddalloc.cc @@ -1,3 +1,5 @@ +// Copyright (C) 2007 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // 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. diff --git a/src/misc/bddop.cc b/src/misc/bddop.cc index 7077c05e5..b3b57a23f 100644 --- a/src/misc/bddop.cc +++ b/src/misc/bddop.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris -// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -// Université Pierre et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/misc/bddop.hh b/src/misc/bddop.hh index f865e51bd..2ead01827 100644 --- a/src/misc/bddop.hh +++ b/src/misc/bddop.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris -// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -// Université Pierre et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/misc/freelist.hh b/src/misc/freelist.hh index cf24063db..d87e41cfc 100644 --- a/src/misc/freelist.hh +++ b/src/misc/freelist.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2006, 2008 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2004, 2006 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/misc/hash.hh b/src/misc/hash.hh index 49dc4c42e..5010b5af4 100644 --- a/src/misc/hash.hh +++ b/src/misc/hash.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2005, 2008 Laboratoire d'Informatique de +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 2004, 2005 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/misc/minato.cc b/src/misc/minato.cc index c1b6aa220..0fabf3b6f 100644 --- a/src/misc/minato.cc +++ b/src/misc/minato.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/misc/minato.hh b/src/misc/minato.hh index 0c697898b..489de978a 100644 --- a/src/misc/minato.hh +++ b/src/misc/minato.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/misc/optionmap.cc b/src/misc/optionmap.cc index 8e6228290..4300a5db3 100644 --- a/src/misc/optionmap.cc +++ b/src/misc/optionmap.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2005, 2008 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2005 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/misc/timer.cc b/src/misc/timer.cc index 21142299c..4f2dec24c 100644 --- a/src/misc/timer.cc +++ b/src/misc/timer.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2005, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2004, 2005 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/misc/timer.hh b/src/misc/timer.hh index c990dfb45..3d3547b53 100644 --- a/src/misc/timer.hh +++ b/src/misc/timer.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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/saba/Makefile.am b/src/saba/Makefile.am index 37527c6bc..676f2863e 100644 --- a/src/saba/Makefile.am +++ b/src/saba/Makefile.am @@ -1,6 +1,5 @@ -## Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -## département Systèmes Répartis Coopératifs (SRC), Université Pierre -## et Marie Curie. +## Copyright (C) 2009 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). ## ## This file is part of Spot, a model checking library. ## diff --git a/src/saba/explicitstateconjunction.cc b/src/saba/explicitstateconjunction.cc index 4ffed619b..dbf05bc0a 100644 --- a/src/saba/explicitstateconjunction.cc +++ b/src/saba/explicitstateconjunction.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/saba/explicitstateconjunction.hh b/src/saba/explicitstateconjunction.hh index ef43d997d..11945cd6c 100644 --- a/src/saba/explicitstateconjunction.hh +++ b/src/saba/explicitstateconjunction.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/saba/saba.cc b/src/saba/saba.cc index cc31a911b..5abb80273 100644 --- a/src/saba/saba.cc +++ b/src/saba/saba.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/saba/saba.hh b/src/saba/saba.hh index 47f733eec..863eab96b 100644 --- a/src/saba/saba.hh +++ b/src/saba/saba.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université -// Pierre et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/saba/sabacomplementtgba.cc b/src/saba/sabacomplementtgba.cc index 0578ace60..907347f23 100644 --- a/src/saba/sabacomplementtgba.cc +++ b/src/saba/sabacomplementtgba.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2009, 2010 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009, 2010 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/saba/sabacomplementtgba.hh b/src/saba/sabacomplementtgba.hh index b834eb273..903158f3e 100644 --- a/src/saba/sabacomplementtgba.hh +++ b/src/saba/sabacomplementtgba.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/saba/sabastate.hh b/src/saba/sabastate.hh index 9e3319724..4e82a9263 100644 --- a/src/saba/sabastate.hh +++ b/src/saba/sabastate.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 -// (LIP6), département Systèmes Répartis Coopératifs (SRC), Université -// Pierre et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/saba/sabasucciter.hh b/src/saba/sabasucciter.hh index 58188d669..4f2c273e3 100644 --- a/src/saba/sabasucciter.hh +++ b/src/saba/sabasucciter.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/sabaalgos/Makefile.am b/src/sabaalgos/Makefile.am index 7488db283..9c517d759 100644 --- a/src/sabaalgos/Makefile.am +++ b/src/sabaalgos/Makefile.am @@ -1,6 +1,5 @@ -## Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -## département Systèmes Répartis Coopératifs (SRC), Université Pierre -## et Marie Curie. +## Copyright (C) 2009 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). ## ## This file is part of Spot, a model checking library. ## diff --git a/src/sabaalgos/sabadotty.cc b/src/sabaalgos/sabadotty.cc index cf0109705..51b72c4fa 100644 --- a/src/sabaalgos/sabadotty.cc +++ b/src/sabaalgos/sabadotty.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/sabaalgos/sabadotty.hh b/src/sabaalgos/sabadotty.hh index 4e8b92169..eec2d4c68 100644 --- a/src/sabaalgos/sabadotty.hh +++ b/src/sabaalgos/sabadotty.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/sabaalgos/sabareachiter.cc b/src/sabaalgos/sabareachiter.cc index 951457c0e..e59ff0c0b 100644 --- a/src/sabaalgos/sabareachiter.cc +++ b/src/sabaalgos/sabareachiter.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/sabaalgos/sabareachiter.hh b/src/sabaalgos/sabareachiter.hh index c94f48680..f9ddfc2d5 100644 --- a/src/sabaalgos/sabareachiter.hh +++ b/src/sabaalgos/sabareachiter.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 -// (LIP6), département Systèmes Répartis Coopératifs (SRC), Université -// Pierre et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/sabatest/Makefile.am b/src/sabatest/Makefile.am index 7fa6281f1..2157ad1c8 100644 --- a/src/sabatest/Makefile.am +++ b/src/sabatest/Makefile.am @@ -1,6 +1,5 @@ -## Copyright (C) 2009 Laboratoire d'Informatique de -## Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -## Université Pierre et Marie Curie. +## Copyright (C) 2009 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). ## ## This file is part of Spot, a model checking library. ## diff --git a/src/sabatest/defs.in b/src/sabatest/defs.in index c70a8b026..fc4b0ba9e 100644 --- a/src/sabatest/defs.in +++ b/src/sabatest/defs.in @@ -1,5 +1,7 @@ # -*- shell-script -*- -# Copyright (C) 2003, 2004, 2006, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# 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. # diff --git a/src/sanity/Makefile.am b/src/sanity/Makefile.am index a9bf2e2b7..88aa5e3e7 100644 --- a/src/sanity/Makefile.am +++ b/src/sanity/Makefile.am @@ -1,4 +1,6 @@ -## Copyright (C) 2004, 2010 Laboratoire d'Informatique de Paris 6 (LIP6), +## Copyright (C) 2010 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). +## 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/tgba/Makefile.am b/src/tgba/Makefile.am index 8168ac52c..46cb3e7ff 100644 --- a/src/tgba/Makefile.am +++ b/src/tgba/Makefile.am @@ -1,4 +1,6 @@ -## Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +## Copyright (C) 2009 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). +## Copyright (C) 2003, 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/tgba/bdddict.cc b/src/tgba/bdddict.cc index 30f40b380..eb452d46c 100644 --- a/src/tgba/bdddict.cc +++ b/src/tgba/bdddict.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2005, 2006, 2009 Laboratoire d'Informatique de +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 2004, 2005, 2006 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/tgba/bddprint.cc b/src/tgba/bddprint.cc index a96fd30d1..ce09998ac 100644 --- a/src/tgba/bddprint.cc +++ b/src/tgba/bddprint.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/tgba/formula2bdd.cc b/src/tgba/formula2bdd.cc index c6464a9d6..50c1fcdaf 100644 --- a/src/tgba/formula2bdd.cc +++ b/src/tgba/formula2bdd.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/tgba/state.hh b/src/tgba/state.hh index 3fc25d35b..1b5911b6c 100644 --- a/src/tgba/state.hh +++ b/src/tgba/state.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/tgba/succiterconcrete.cc b/src/tgba/succiterconcrete.cc index 690c1e54e..0fc9b5307 100644 --- a/src/tgba/succiterconcrete.cc +++ b/src/tgba/succiterconcrete.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003 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/tgba/taatgba.hh b/src/tgba/taatgba.hh index ff188b654..ebd1a3188 100644 --- a/src/tgba/taatgba.hh +++ b/src/tgba/taatgba.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris -// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -// Université Pierre et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/tgba/tgba.hh b/src/tgba/tgba.hh index fdb9bd55d..03c7632fd 100644 --- a/src/tgba/tgba.hh +++ b/src/tgba/tgba.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2005, 2009 Laboratoire d'Informatique de +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 2004, 2005 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/tgba/tgbabddconcretefactory.cc b/src/tgba/tgbabddconcretefactory.cc index 879f60fc6..685fe5a96 100644 --- a/src/tgba/tgbabddconcretefactory.cc +++ b/src/tgba/tgbabddconcretefactory.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003 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/tgba/tgbabddconcretefactory.hh b/src/tgba/tgbabddconcretefactory.hh index c31aa6a89..d67fc62dd 100644 --- a/src/tgba/tgbabddconcretefactory.hh +++ b/src/tgba/tgbabddconcretefactory.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2005, 2008 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 2005 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/tgba/tgbacomplement.cc b/src/tgba/tgbacomplement.cc index 6f4f21639..47aeb8e6a 100644 --- a/src/tgba/tgbacomplement.cc +++ b/src/tgba/tgbacomplement.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/tgba/tgbacomplement.hh b/src/tgba/tgbacomplement.hh index 1c7eb08bf..1bc7597d4 100644 --- a/src/tgba/tgbacomplement.hh +++ b/src/tgba/tgbacomplement.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/tgba/tgbaexplicit.cc b/src/tgba/tgbaexplicit.cc index 06e697621..0a225e2ad 100644 --- a/src/tgba/tgbaexplicit.cc +++ b/src/tgba/tgbaexplicit.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/tgba/tgbaexplicit.hh b/src/tgba/tgbaexplicit.hh index e81e4340c..4f38c4bdf 100644 --- a/src/tgba/tgbaexplicit.hh +++ b/src/tgba/tgbaexplicit.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2006, 2009 Laboratoire d'Informatique de +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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. // diff --git a/src/tgba/tgbaproduct.cc b/src/tgba/tgbaproduct.cc index 102ec2aea..6b4b6387d 100644 --- a/src/tgba/tgbaproduct.cc +++ b/src/tgba/tgbaproduct.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2006, 2009 Laboratoire d'Informatique de +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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. // diff --git a/src/tgba/tgbareduc.cc b/src/tgba/tgbareduc.cc index 11ff817a1..bc9818efc 100644 --- a/src/tgba/tgbareduc.cc +++ b/src/tgba/tgbareduc.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2005, 2008, 2009 Laboratoire d'Informatique de Paris +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2004, 2005 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/tgba/tgbareduc.hh b/src/tgba/tgbareduc.hh index ea6bb6a0d..80a60917f 100644 --- a/src/tgba/tgbareduc.hh +++ b/src/tgba/tgbareduc.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2005, 2006, 2008, 2009 Laboratoire d'Informatique de +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2004, 2005, 2006 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/tgba/tgbasafracomplement.cc b/src/tgba/tgbasafracomplement.cc index e9c51dc04..c465dc810 100644 --- a/src/tgba/tgbasafracomplement.cc +++ b/src/tgba/tgbasafracomplement.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/tgba/tgbasgba.cc b/src/tgba/tgbasgba.cc index 6379c0d75..67078b67a 100644 --- a/src/tgba/tgbasgba.cc +++ b/src/tgba/tgbasgba.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/tgba/tgbasgba.hh b/src/tgba/tgbasgba.hh index 814fb430b..90f1f4935 100644 --- a/src/tgba/tgbasgba.hh +++ b/src/tgba/tgbasgba.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris -// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -// Université Pierre et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/tgba/tgbaunion.cc b/src/tgba/tgbaunion.cc index 8e55d4302..0f3865f23 100644 --- a/src/tgba/tgbaunion.cc +++ b/src/tgba/tgbaunion.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de -// Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -// Université Pierre et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/tgba/tgbaunion.hh b/src/tgba/tgbaunion.hh index 59b7ce43e..182be8567 100644 --- a/src/tgba/tgbaunion.hh +++ b/src/tgba/tgbaunion.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris -// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -// Université Pierre et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/tgbaalgos/dupexp.cc b/src/tgbaalgos/dupexp.cc index f9fe192ce..b88127af8 100644 --- a/src/tgbaalgos/dupexp.cc +++ b/src/tgbaalgos/dupexp.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/eltl2tgba_lacim.cc b/src/tgbaalgos/eltl2tgba_lacim.cc index 907b72ba6..308afd443 100644 --- a/src/tgbaalgos/eltl2tgba_lacim.cc +++ b/src/tgbaalgos/eltl2tgba_lacim.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2008, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/tgbaalgos/eltl2tgba_lacim.hh b/src/tgbaalgos/eltl2tgba_lacim.hh index 053ea287a..5e9b5b6b8 100644 --- a/src/tgbaalgos/eltl2tgba_lacim.hh +++ b/src/tgbaalgos/eltl2tgba_lacim.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2008 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/tgbaalgos/emptiness.cc b/src/tgbaalgos/emptiness.cc index cbbb77acf..bda1bcc06 100644 --- a/src/tgbaalgos/emptiness.cc +++ b/src/tgbaalgos/emptiness.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2005, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2004, 2005 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/gtec/gtec.cc b/src/tgbaalgos/gtec/gtec.cc index 73bb4b2c5..0406f80f8 100644 --- a/src/tgbaalgos/gtec/gtec.cc +++ b/src/tgbaalgos/gtec/gtec.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2005, 2006, 2008 Laboratoire d'Informatique de +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 2004, 2005, 2006 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/ltl2taa.cc b/src/tgbaalgos/ltl2taa.cc index 447c9888d..a2e472690 100644 --- a/src/tgbaalgos/ltl2taa.cc +++ b/src/tgbaalgos/ltl2taa.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris -// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -// Université Pierre et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/tgbaalgos/ltl2taa.hh b/src/tgbaalgos/ltl2taa.hh index 77fe723d6..89d6c2cd6 100644 --- a/src/tgbaalgos/ltl2taa.hh +++ b/src/tgbaalgos/ltl2taa.hh @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris -// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -// Université Pierre et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/tgbaalgos/ltl2tgba_lacim.cc b/src/tgbaalgos/ltl2tgba_lacim.cc index e21ae3ad9..e8a20be01 100644 --- a/src/tgbaalgos/ltl2tgba_lacim.cc +++ b/src/tgbaalgos/ltl2tgba_lacim.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/neverclaim.cc b/src/tgbaalgos/neverclaim.cc index d4c372a92..beb7a069b 100644 --- a/src/tgbaalgos/neverclaim.cc +++ b/src/tgbaalgos/neverclaim.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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/neverclaim.hh b/src/tgbaalgos/neverclaim.hh index f6ccb59a4..eca8349b5 100644 --- a/src/tgbaalgos/neverclaim.hh +++ b/src/tgbaalgos/neverclaim.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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/powerset.cc b/src/tgbaalgos/powerset.cc index 6f54a5d6a..ab41829e9 100644 --- a/src/tgbaalgos/powerset.cc +++ b/src/tgbaalgos/powerset.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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/reachiter.cc b/src/tgbaalgos/reachiter.cc index 1be3de987..8d64d980f 100644 --- a/src/tgbaalgos/reachiter.cc +++ b/src/tgbaalgos/reachiter.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/reachiter.hh b/src/tgbaalgos/reachiter.hh index afb2e31ff..6f516c6fb 100644 --- a/src/tgbaalgos/reachiter.hh +++ b/src/tgbaalgos/reachiter.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2008, 2009 Laboratoire d'Informatique de Paris 6 +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/reductgba_sim.cc b/src/tgbaalgos/reductgba_sim.cc index 6f4d3a684..f818954c4 100644 --- a/src/tgbaalgos/reductgba_sim.cc +++ b/src/tgbaalgos/reductgba_sim.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2005, 2007, 2009 Laboratoire d'Informatique de +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2004, 2005, 2007 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/reductgba_sim.hh b/src/tgbaalgos/reductgba_sim.hh index 0ae7af328..ac53d8843 100644 --- a/src/tgbaalgos/reductgba_sim.hh +++ b/src/tgbaalgos/reductgba_sim.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2005, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2004, 2005 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/reductgba_sim_del.cc b/src/tgbaalgos/reductgba_sim_del.cc index efbe7ae3d..ec9b1ceda 100644 --- a/src/tgbaalgos/reductgba_sim_del.cc +++ b/src/tgbaalgos/reductgba_sim_del.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2005, 2008 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2004, 2005 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/stats.cc b/src/tgbaalgos/stats.cc index a93a97fe1..dccdef772 100644 --- a/src/tgbaalgos/stats.cc +++ b/src/tgbaalgos/stats.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2008 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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/stats.hh b/src/tgbaalgos/stats.hh index 50971fd53..38383248d 100644 --- a/src/tgbaalgos/stats.hh +++ b/src/tgbaalgos/stats.hh @@ -1,4 +1,6 @@ -// Copyright (C) 2004, 2008 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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/tgbaparse/Makefile.am b/src/tgbaparse/Makefile.am index 9a4118bde..ee61ea01a 100644 --- a/src/tgbaparse/Makefile.am +++ b/src/tgbaparse/Makefile.am @@ -1,4 +1,6 @@ -## Copyright (C) 2003, 2004, 2006, 2008, 2009 Laboratoire d'Informatique de +## Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). +## 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. ## diff --git a/src/tgbaparse/tgbaparse.yy b/src/tgbaparse/tgbaparse.yy index 67c7606e4..7bbce303c 100644 --- a/src/tgbaparse/tgbaparse.yy +++ b/src/tgbaparse/tgbaparse.yy @@ -1,4 +1,6 @@ -/* Copyright (C) 2003, 2004, 2005, 2006, 2009 Laboratoire d'Informatique de +/* Copyright (C) 2009 Laboratoire de Recherche et Développement +** de l'Epita (LRDE). +/* Copyright (C) 2003, 2004, 2005, 2006 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/tgbatest/Makefile.am b/src/tgbatest/Makefile.am index 17731347a..65ea2eba0 100644 --- a/src/tgbatest/Makefile.am +++ b/src/tgbatest/Makefile.am @@ -1,4 +1,6 @@ -## Copyright (C) 2003, 2004, 2005, 2006, 2009 Laboratoire d'Informatique de +## Copyright (C) 2009 Laboratoire de Recherche et Développement +## de l'Epita (LRDE). +## Copyright (C) 2003, 2004, 2005, 2006 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/tgbatest/bddprod.test b/src/tgbatest/bddprod.test index 56fa99e78..056aac7cf 100755 --- a/src/tgbatest/bddprod.test +++ b/src/tgbatest/bddprod.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/tgbatest/complementation.cc b/src/tgbatest/complementation.cc index 74917d0c8..12b455e2f 100644 --- a/src/tgbatest/complementation.cc +++ b/src/tgbatest/complementation.cc @@ -1,3 +1,23 @@ +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// +// This file is part of Spot, a model checking library. +// +// Spot is free software; you can redistribute it and/or modify it +// under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// Spot is distributed in the hope that it will be useful, but WITHOUT +// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY +// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public +// License for more details. +// +// You should have received a copy of the GNU General Public License +// along with Spot; see the file COPYING. If not, write to the Free +// Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA +// 02111-1307, USA. + #include #include #include "tgbaalgos/dotty.hh" diff --git a/src/tgbatest/complementation.test b/src/tgbatest/complementation.test index 136620aa4..578f3fee4 100755 --- a/src/tgbatest/complementation.test +++ b/src/tgbatest/complementation.test @@ -1,7 +1,6 @@ #!/bin/sh -# Copyright (C) 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -# département Systèmes Répartis Coopératifs (SRC), Université Pierre -# et Marie Curie. +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/tgbatest/defs.in b/src/tgbatest/defs.in index c70a8b026..7923b14b6 100644 --- a/src/tgbatest/defs.in +++ b/src/tgbatest/defs.in @@ -1,5 +1,7 @@ # -*- shell-script -*- -# Copyright (C) 2003, 2004, 2006, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# 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. # diff --git a/src/tgbatest/dfs.test b/src/tgbatest/dfs.test index 18d929647..fed7014c3 100755 --- a/src/tgbatest/dfs.test +++ b/src/tgbatest/dfs.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2005, 2009 Laboratoire d'Informatique de +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 2004, 2005 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/tgbatest/dupexp.test b/src/tgbatest/dupexp.test index 1bcff6f95..a41f68fc7 100755 --- a/src/tgbatest/dupexp.test +++ b/src/tgbatest/dupexp.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/tgbatest/explicit.cc b/src/tgbatest/explicit.cc index 4862a2b96..4013b4301 100644 --- a/src/tgbatest/explicit.cc +++ b/src/tgbatest/explicit.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/tgbatest/explicit.test b/src/tgbatest/explicit.test index 95e081b8e..428d1196c 100755 --- a/src/tgbatest/explicit.test +++ b/src/tgbatest/explicit.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2005, 2008, 2009 Laboratoire d'Informatique de +# Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 2004, 2005 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/tgbatest/explpro3.test b/src/tgbatest/explpro3.test index f14a7cfbd..81a906902 100755 --- a/src/tgbatest/explpro3.test +++ b/src/tgbatest/explpro3.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/tgbatest/explpro4.test b/src/tgbatest/explpro4.test index 72bdb7ff9..e7ede0ac1 100755 --- a/src/tgbatest/explpro4.test +++ b/src/tgbatest/explpro4.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2006, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2006 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/tgbatest/explprod.cc b/src/tgbatest/explprod.cc index 94648919a..5b4b8d77c 100644 --- a/src/tgbatest/explprod.cc +++ b/src/tgbatest/explprod.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2008 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/tgbatest/explprod.test b/src/tgbatest/explprod.test index 24db2115e..1eed5e2e3 100755 --- a/src/tgbatest/explprod.test +++ b/src/tgbatest/explprod.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2005, 2008, 2009 Laboratoire d'Informatique de +# Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 2004, 2005 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/tgbatest/ltl2neverclaim.test b/src/tgbatest/ltl2neverclaim.test index 2f8a054c2..4604fc3c3 100755 --- a/src/tgbatest/ltl2neverclaim.test +++ b/src/tgbatest/ltl2neverclaim.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# 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/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc index f840341fc..0104a8e47 100644 --- a/src/tgbatest/ltl2tgba.cc +++ b/src/tgbatest/ltl2tgba.cc @@ -1,5 +1,7 @@ -// Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009 Laboratoire -// d'Informatique de Paris 6 (LIP6), département Systèmes Répartis +// Copyright (C) 2007, 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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. // // This file is part of Spot, a model checking library. diff --git a/src/tgbatest/ltl2tgba.test b/src/tgbatest/ltl2tgba.test index 400ce1a73..675064886 100755 --- a/src/tgbatest/ltl2tgba.test +++ b/src/tgbatest/ltl2tgba.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/tgbatest/ltlprod.cc b/src/tgbatest/ltlprod.cc index ceddb42f6..7eb66e178 100644 --- a/src/tgbatest/ltlprod.cc +++ b/src/tgbatest/ltlprod.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2008, 2009 Laboratoire d'Informatique de +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/tgbatest/ltlprod.test b/src/tgbatest/ltlprod.test index d2ace8127..23e5f55a6 100755 --- a/src/tgbatest/ltlprod.test +++ b/src/tgbatest/ltlprod.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/tgbatest/mixprod.cc b/src/tgbatest/mixprod.cc index c0abb2422..259f3a0e6 100644 --- a/src/tgbatest/mixprod.cc +++ b/src/tgbatest/mixprod.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2008, 2009 Laboratoire d'Informatique de Paris +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/tgbatest/mixprod.test b/src/tgbatest/mixprod.test index 4e55ebad0..2011a901c 100755 --- a/src/tgbatest/mixprod.test +++ b/src/tgbatest/mixprod.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/tgbatest/powerset.cc b/src/tgbatest/powerset.cc index 6bfebd85e..46177b0eb 100644 --- a/src/tgbatest/powerset.cc +++ b/src/tgbatest/powerset.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2008 Laboratoire d'Informatique de Paris +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/tgbatest/readsave.cc b/src/tgbatest/readsave.cc index 6783ed265..241387805 100644 --- a/src/tgbatest/readsave.cc +++ b/src/tgbatest/readsave.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2006, 2008 Laboratoire d'Informatique de +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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. // diff --git a/src/tgbatest/readsave.test b/src/tgbatest/readsave.test index 8f9dc1994..54a69be36 100755 --- a/src/tgbatest/readsave.test +++ b/src/tgbatest/readsave.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/tgbatest/reduccmp.test b/src/tgbatest/reduccmp.test index f1d780e98..f6fafc9b6 100755 --- a/src/tgbatest/reduccmp.test +++ b/src/tgbatest/reduccmp.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/tgbatest/reductgba.cc b/src/tgbatest/reductgba.cc index 946611c77..68d3674bd 100644 --- a/src/tgbatest/reductgba.cc +++ b/src/tgbatest/reductgba.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2006, 2008, 2009 Laboratoire d'Informatique de +// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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. // diff --git a/src/tgbatest/reductgba.test b/src/tgbatest/reductgba.test index 62080c5d5..5f787d653 100755 --- a/src/tgbatest/reductgba.test +++ b/src/tgbatest/reductgba.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/tgbatest/taatgba.cc b/src/tgbatest/taatgba.cc index e28704c1b..1eacf2abb 100644 --- a/src/tgbatest/taatgba.cc +++ b/src/tgbatest/taatgba.cc @@ -1,6 +1,5 @@ -// Copyright (C) 2009 Laboratoire d'Informatique de Paris -// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -// Université Pierre et Marie Curie. +// Copyright (C) 2009 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/tgbatest/tgbaread.cc b/src/tgbatest/tgbaread.cc index d05e6cf78..27ed5b564 100644 --- a/src/tgbatest/tgbaread.cc +++ b/src/tgbatest/tgbaread.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2006, 2008 Laboratoire d'Informatique de +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// 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. // diff --git a/src/tgbatest/tgbaread.test b/src/tgbatest/tgbaread.test index 4fadd69a1..6c0c4ed5a 100755 --- a/src/tgbatest/tgbaread.test +++ b/src/tgbatest/tgbaread.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/tgbatest/tripprod.cc b/src/tgbatest/tripprod.cc index 0a33f2e6b..f8a5ff599 100644 --- a/src/tgbatest/tripprod.cc +++ b/src/tgbatest/tripprod.cc @@ -1,4 +1,6 @@ -// Copyright (C) 2003, 2004, 2008 Laboratoire d'Informatique de Paris +// Copyright (C) 2008 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). +// Copyright (C) 2003, 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/tgbatest/tripprod.test b/src/tgbatest/tripprod.test index ba8ccd03f..a700a7c3e 100755 --- a/src/tgbatest/tripprod.test +++ b/src/tgbatest/tripprod.test @@ -1,5 +1,7 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2005, 2008, 2009 Laboratoire d'Informatique de +# Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de # Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), # Université Pierre et Marie Curie. # diff --git a/wrap/python/cgi/ltl2tgba.in b/wrap/python/cgi/ltl2tgba.in old mode 100644 new mode 100755 index 15ee20ab5..dbd0c2095 --- a/wrap/python/cgi/ltl2tgba.in +++ b/wrap/python/cgi/ltl2tgba.in @@ -1,6 +1,8 @@ #!@PYTHON@ # -*- mode: python; coding: iso-8859-1 -*- -# Copyright (C) 2003, 2004, 2006, 2007, 2009 Laboratoire d'Informatique de +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# 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. # diff --git a/wrap/python/tests/ltl2tgba.py b/wrap/python/tests/ltl2tgba.py index 5a1967ad0..9e206916a 100755 --- a/wrap/python/tests/ltl2tgba.py +++ b/wrap/python/tests/ltl2tgba.py @@ -1,5 +1,7 @@ # -*- mode: python; coding: iso-8859-1 -*- -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/wrap/python/tests/ltlparse.py b/wrap/python/tests/ltlparse.py index ba40531f3..4f9527208 100755 --- a/wrap/python/tests/ltlparse.py +++ b/wrap/python/tests/ltlparse.py @@ -1,5 +1,7 @@ # -*- mode: python; coding: iso-8859-1 -*- -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 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/wrap/python/tests/ltlsimple.py b/wrap/python/tests/ltlsimple.py index 3ea90ba15..a700bb536 100755 --- a/wrap/python/tests/ltlsimple.py +++ b/wrap/python/tests/ltlsimple.py @@ -1,5 +1,7 @@ # -*- mode: python; coding: iso-8859-1 -*- -# Copyright (C) 2003, 2004, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2009 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). +# Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), # département Systèmes Répartis Coopératifs (SRC), Université Pierre # et Marie Curie. # -- GitLab