Author: danitz
Date: Wed Jan 14 15:56:11 2009
New Revision: 3710
URL: http://svn.gna.org/viewcvs/service-tech?rev=3710&view=rev
Log:
merged trunk into branch (r3571 - r3708)
Added:
branches/exchangeability/fiona/doc/docShop.owfn.cov
- copied unchanged from r3708, trunk/fiona/doc/docShop.owfn.cov
branches/exchangeability/fiona/doc/docShop.owfn.covog
- copied unchanged from r3708, trunk/fiona/doc/docShop.owfn.covog
branches/exchangeability/fiona/nets/benchmark/nocomment
- copied unchanged from r3708, trunk/fiona/nets/benchmark/nocomment
branches/exchangeability/fiona/tests/matching/cycle_1.og
- copied unchanged from r3708, trunk/fiona/tests/matching/cycle_1.og
branches/exchangeability/fiona/tests/matching/cycle_1.owfn
- copied unchanged from r3708, trunk/fiona/tests/matching/cycle_1.owfn
branches/exchangeability/fiona/tests/matching/cycle_2.og
- copied unchanged from r3708, trunk/fiona/tests/matching/cycle_2.og
branches/exchangeability/fiona/tests/matching/cycle_2.owfn
- copied unchanged from r3708, trunk/fiona/tests/matching/cycle_2.owfn
branches/exchangeability/fiona/tests/matching/cycle_3.og
- copied unchanged from r3708, trunk/fiona/tests/matching/cycle_3.og
branches/exchangeability/fiona/tests/matching/small_cycle.owfn
- copied unchanged from r3708, trunk/fiona/tests/matching/small_cycle.owfn
branches/exchangeability/fiona/tests/matching/small_cycle_1a.og
- copied unchanged from r3708,
trunk/fiona/tests/matching/small_cycle_1a.og
branches/exchangeability/fiona/tests/matching/small_cycle_1b.og
- copied unchanged from r3708,
trunk/fiona/tests/matching/small_cycle_1b.og
branches/exchangeability/fiona/tests/matching/small_cycle_2a.og
- copied unchanged from r3708,
trunk/fiona/tests/matching/small_cycle_2a.og
branches/exchangeability/fiona/tests/matching/small_cycle_2b.og
- copied unchanged from r3708,
trunk/fiona/tests/matching/small_cycle_2b.og
Modified:
branches/exchangeability/fiona/ChangeLog
branches/exchangeability/fiona/Makefile.am
branches/exchangeability/fiona/NEWS
branches/exchangeability/fiona/configure.ac
branches/exchangeability/fiona/doc/ChangeLog.texi
branches/exchangeability/fiona/doc/fiona.texi
branches/exchangeability/fiona/libs/pnapi/petrinet-output.cc
branches/exchangeability/fiona/libs/pnapi/pnapi.h
branches/exchangeability/fiona/nets/benchmark/_default.sh
branches/exchangeability/fiona/nets/benchmark/all.sh
branches/exchangeability/fiona/nets/benchmark/helpers/compileFiona.sh
branches/exchangeability/fiona/nets/benchmark/start.sh
branches/exchangeability/fiona/nets/phcontrol10.unf.owfn
branches/exchangeability/fiona/nets/phcontrol3.unf.owfn
branches/exchangeability/fiona/nets/phcontrol4.unf.owfn
branches/exchangeability/fiona/nets/phcontrol5.unf.owfn
branches/exchangeability/fiona/nets/phcontrol6.unf.owfn
branches/exchangeability/fiona/nets/phcontrol7.unf.owfn
branches/exchangeability/fiona/nets/phcontrol8.unf.owfn
branches/exchangeability/fiona/nets/phcontrol9.unf.owfn
branches/exchangeability/fiona/src/AnnotatedGraph.cc
branches/exchangeability/fiona/src/AnnotatedGraph.h
branches/exchangeability/fiona/src/BddRepresentation.cc
branches/exchangeability/fiona/src/CommunicationGraph.cc
branches/exchangeability/fiona/src/Exchangeability.cc
branches/exchangeability/fiona/src/Graph.cc
branches/exchangeability/fiona/src/IG.cc
branches/exchangeability/fiona/src/Makefile.am
branches/exchangeability/fiona/src/OG.cc
branches/exchangeability/fiona/src/adapter.cc
branches/exchangeability/fiona/src/binDecision.cc
branches/exchangeability/fiona/src/debug.h
branches/exchangeability/fiona/src/getopt.c
branches/exchangeability/fiona/src/getopt1.c
branches/exchangeability/fiona/src/main.cc
branches/exchangeability/fiona/src/options.cc
branches/exchangeability/fiona/src/options.h
branches/exchangeability/fiona/src/owfn.cc
branches/exchangeability/fiona/src/owfn.h
branches/exchangeability/fiona/src/state.cc
branches/exchangeability/fiona/src/state.h
branches/exchangeability/fiona/src/stg2owfn.cc
branches/exchangeability/fiona/src/syntax_owfn.yy
branches/exchangeability/fiona/tests/Makefile.am
branches/exchangeability/fiona/tests/coverability.sh
branches/exchangeability/fiona/tests/matching.sh
branches/exchangeability/fiona/tests/philosophers.sh
branches/exchangeability/fiona/tests/philosophers/phcontrol10.unf.owfn
branches/exchangeability/fiona/tests/philosophers/phcontrol10.unf.owfn.png
branches/exchangeability/fiona/tests/philosophers/phcontrol3.unf.owfn
branches/exchangeability/fiona/tests/philosophers/phcontrol3.unf.owfn.png
branches/exchangeability/fiona/tests/philosophers/phcontrol4.unf.owfn
branches/exchangeability/fiona/tests/philosophers/phcontrol4.unf.owfn.png
branches/exchangeability/fiona/tests/philosophers/phcontrol5.unf.owfn
branches/exchangeability/fiona/tests/philosophers/phcontrol5.unf.owfn.png
branches/exchangeability/fiona/tests/philosophers/phcontrol6.unf.owfn
branches/exchangeability/fiona/tests/philosophers/phcontrol6.unf.owfn.png
branches/exchangeability/fiona/tests/philosophers/phcontrol7.unf.owfn
branches/exchangeability/fiona/tests/philosophers/phcontrol7.unf.owfn.png
branches/exchangeability/fiona/tests/philosophers/phcontrol8.unf.owfn
branches/exchangeability/fiona/tests/philosophers/phcontrol8.unf.owfn.png
branches/exchangeability/fiona/tests/philosophers/phcontrol9.unf.owfn
branches/exchangeability/fiona/tests/philosophers/phcontrol9.unf.owfn.png
branches/exchangeability/fiona/tests/syntax.sh
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
