Author: gierds
Date: Tue Feb 17 13:48:04 2009
New Revision: 3888
URL: http://svn.gna.org/viewcvs/service-tech?rev=3888&view=rev
Log:
* update because of merge, not working right now
Added:
branches/synchronous_controllability/fiona/doc/docShop.owfn.cov
- copied unchanged from r3887, trunk/fiona/doc/docShop.owfn.cov
branches/synchronous_controllability/fiona/doc/docShop.owfn.covog
- copied unchanged from r3887, trunk/fiona/doc/docShop.owfn.covog
branches/synchronous_controllability/fiona/libs/cudd/test-helper.cc
- copied unchanged from r3887, trunk/fiona/libs/cudd/test-helper.cc
branches/synchronous_controllability/fiona/maintainer/
- copied from r3887, trunk/fiona/maintainer/
branches/synchronous_controllability/fiona/nets/benchmark/nocomment
- copied unchanged from r3887, trunk/fiona/nets/benchmark/nocomment
branches/synchronous_controllability/fiona/src/ConstraintOG.cc
- copied unchanged from r3887, trunk/fiona/src/ConstraintOG.cc
branches/synchronous_controllability/fiona/src/ConstraintOG.h
- copied unchanged from r3887, trunk/fiona/src/ConstraintOG.h
branches/synchronous_controllability/fiona/src/lexer_cov.ll
- copied unchanged from r3887, trunk/fiona/src/lexer_cov.ll
branches/synchronous_controllability/fiona/src/lexer_covog.ll
- copied unchanged from r3887, trunk/fiona/src/lexer_covog.ll
branches/synchronous_controllability/fiona/src/syntax_cov.yy
- copied unchanged from r3887, trunk/fiona/src/syntax_cov.yy
branches/synchronous_controllability/fiona/src/syntax_covog.yy
- copied unchanged from r3887, trunk/fiona/src/syntax_covog.yy
branches/synchronous_controllability/fiona/tests/coverability/
- copied from r3887, trunk/fiona/tests/coverability/
branches/synchronous_controllability/fiona/tests/coverability.sh
- copied unchanged from r3887, trunk/fiona/tests/coverability.sh
branches/synchronous_controllability/fiona/tests/matching/cycle_1.og
- copied unchanged from r3887, trunk/fiona/tests/matching/cycle_1.og
branches/synchronous_controllability/fiona/tests/matching/cycle_1.owfn
- copied unchanged from r3887, trunk/fiona/tests/matching/cycle_1.owfn
branches/synchronous_controllability/fiona/tests/matching/cycle_2.og
- copied unchanged from r3887, trunk/fiona/tests/matching/cycle_2.og
branches/synchronous_controllability/fiona/tests/matching/cycle_2.owfn
- copied unchanged from r3887, trunk/fiona/tests/matching/cycle_2.owfn
branches/synchronous_controllability/fiona/tests/matching/cycle_3.og
- copied unchanged from r3887, trunk/fiona/tests/matching/cycle_3.og
branches/synchronous_controllability/fiona/tests/matching/small_cycle.owfn
- copied unchanged from r3887, trunk/fiona/tests/matching/small_cycle.owfn
branches/synchronous_controllability/fiona/tests/matching/small_cycle_1a.og
- copied unchanged from r3887,
trunk/fiona/tests/matching/small_cycle_1a.og
branches/synchronous_controllability/fiona/tests/matching/small_cycle_1b.og
- copied unchanged from r3887,
trunk/fiona/tests/matching/small_cycle_1b.og
branches/synchronous_controllability/fiona/tests/matching/small_cycle_2a.og
- copied unchanged from r3887,
trunk/fiona/tests/matching/small_cycle_2a.og
branches/synchronous_controllability/fiona/tests/matching/small_cycle_2b.og
- copied unchanged from r3887,
trunk/fiona/tests/matching/small_cycle_2b.og
branches/synchronous_controllability/fiona/tests/regression/
- copied from r3887, trunk/fiona/tests/regression/
Removed:
branches/synchronous_controllability/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.OG.BDD_ANN.cudd
branches/synchronous_controllability/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.OG.BDD_MP.cudd
branches/synchronous_controllability/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.OG.png
branches/synchronous_controllability/fiona/tests/bdd_ref/sequence3_reference.owfn.OG.BDD_ANN.cudd
branches/synchronous_controllability/fiona/tests/bdd_ref/sequence3_reference.owfn.OG.BDD_MP.cudd
branches/synchronous_controllability/fiona/tests/bdd_ref/sequence3_reference.owfn.OG.png
Modified:
branches/synchronous_controllability/fiona/ChangeLog
branches/synchronous_controllability/fiona/Doxyfile.in
branches/synchronous_controllability/fiona/Makefile.am
branches/synchronous_controllability/fiona/NEWS
branches/synchronous_controllability/fiona/configure.ac
branches/synchronous_controllability/fiona/doc/ChangeLog.texi
branches/synchronous_controllability/fiona/doc/fdl.texi
branches/synchronous_controllability/fiona/doc/fiona.texi
branches/synchronous_controllability/fiona/doc/fionaDocumentation.pdf
branches/synchronous_controllability/fiona/libs/cudd/Makefile.am
branches/synchronous_controllability/fiona/libs/cudd/include/util.h
branches/synchronous_controllability/fiona/libs/cudd/testobj.sh
branches/synchronous_controllability/fiona/libs/pnapi/petrinet-output.cc
branches/synchronous_controllability/fiona/libs/pnapi/pnapi.h
branches/synchronous_controllability/fiona/nets/benchmark/_default.sh
branches/synchronous_controllability/fiona/nets/benchmark/all.sh
branches/synchronous_controllability/fiona/nets/benchmark/helpers/compileFiona.sh
branches/synchronous_controllability/fiona/nets/benchmark/prepare.sh
branches/synchronous_controllability/fiona/nets/benchmark/publish.sh
branches/synchronous_controllability/fiona/nets/benchmark/start.sh
branches/synchronous_controllability/fiona/nets/phcontrol10.unf.owfn
branches/synchronous_controllability/fiona/nets/phcontrol3.unf.owfn
branches/synchronous_controllability/fiona/nets/phcontrol4.unf.owfn
branches/synchronous_controllability/fiona/nets/phcontrol5.unf.owfn
branches/synchronous_controllability/fiona/nets/phcontrol6.unf.owfn
branches/synchronous_controllability/fiona/nets/phcontrol7.unf.owfn
branches/synchronous_controllability/fiona/nets/phcontrol8.unf.owfn
branches/synchronous_controllability/fiona/nets/phcontrol9.unf.owfn
branches/synchronous_controllability/fiona/src/AnnotatedGraph.cc
branches/synchronous_controllability/fiona/src/AnnotatedGraph.h
branches/synchronous_controllability/fiona/src/AnnotatedGraphEdge.cc
branches/synchronous_controllability/fiona/src/AnnotatedGraphNode.cc
branches/synchronous_controllability/fiona/src/BddRepresentation.cc
branches/synchronous_controllability/fiona/src/CommunicationGraph.cc
branches/synchronous_controllability/fiona/src/CommunicationGraph.h
branches/synchronous_controllability/fiona/src/Exchangeability.cc
branches/synchronous_controllability/fiona/src/GastexGraph.cc
branches/synchronous_controllability/fiona/src/Graph.cc
branches/synchronous_controllability/fiona/src/Graph.h
branches/synchronous_controllability/fiona/src/GraphNode.cc
branches/synchronous_controllability/fiona/src/IG.cc
branches/synchronous_controllability/fiona/src/IG.h
branches/synchronous_controllability/fiona/src/Makefile.am
branches/synchronous_controllability/fiona/src/OG.cc
branches/synchronous_controllability/fiona/src/OG.h
branches/synchronous_controllability/fiona/src/SinglyLinkedList.h
branches/synchronous_controllability/fiona/src/adapter.cc
branches/synchronous_controllability/fiona/src/binDecision.cc
branches/synchronous_controllability/fiona/src/cmdline.ggo
branches/synchronous_controllability/fiona/src/debug.cc
branches/synchronous_controllability/fiona/src/debug.h
branches/synchronous_controllability/fiona/src/getopt.c
branches/synchronous_controllability/fiona/src/getopt1.c
branches/synchronous_controllability/fiona/src/main.cc
branches/synchronous_controllability/fiona/src/main.h
branches/synchronous_controllability/fiona/src/options.cc
branches/synchronous_controllability/fiona/src/options.h
branches/synchronous_controllability/fiona/src/owfn.cc
branches/synchronous_controllability/fiona/src/owfn.h
branches/synchronous_controllability/fiona/src/set_helpers.h
branches/synchronous_controllability/fiona/src/state.cc
branches/synchronous_controllability/fiona/src/state.h
branches/synchronous_controllability/fiona/src/stg2owfn.cc
branches/synchronous_controllability/fiona/src/symboltab.cc
branches/synchronous_controllability/fiona/src/symboltab.h
branches/synchronous_controllability/fiona/src/syntax_owfn.yy
branches/synchronous_controllability/fiona/tests/Makefile.am
branches/synchronous_controllability/fiona/tests/bddtest.sh
branches/synchronous_controllability/fiona/tests/countservices.sh
branches/synchronous_controllability/fiona/tests/cyclic.sh
branches/synchronous_controllability/fiona/tests/evaluateExitCode.sh
branches/synchronous_controllability/fiona/tests/extrema.sh
branches/synchronous_controllability/fiona/tests/falseannos.sh
branches/synchronous_controllability/fiona/tests/matching.sh
branches/synchronous_controllability/fiona/tests/memcheck_helper.sh
branches/synchronous_controllability/fiona/tests/messagebound.sh
branches/synchronous_controllability/fiona/tests/minimize.sh
branches/synchronous_controllability/fiona/tests/normalize.sh
branches/synchronous_controllability/fiona/tests/oWFNreduction.sh
branches/synchronous_controllability/fiona/tests/partner.sh
branches/synchronous_controllability/fiona/tests/philosophers.sh
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol10.unf.owfn
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol10.unf.owfn.png
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol3.unf.owfn
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol3.unf.owfn.png
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol4.unf.owfn
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol4.unf.owfn.png
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol5.unf.owfn
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol5.unf.owfn.png
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol6.unf.owfn
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol6.unf.owfn.png
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol7.unf.owfn
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol7.unf.owfn.png
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol8.unf.owfn
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol8.unf.owfn.png
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol9.unf.owfn
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol9.unf.owfn.png
branches/synchronous_controllability/fiona/tests/png.sh
branches/synchronous_controllability/fiona/tests/productog.sh
branches/synchronous_controllability/fiona/tests/publicview.sh
branches/synchronous_controllability/fiona/tests/responsive.sh
branches/synchronous_controllability/fiona/tests/samples.sh
branches/synchronous_controllability/fiona/tests/sequences.sh
branches/synchronous_controllability/fiona/tests/sim_og.sh
branches/synchronous_controllability/fiona/tests/slist.sh
branches/synchronous_controllability/fiona/tests/smtp.sh
branches/synchronous_controllability/fiona/tests/statesReduction.sh
branches/synchronous_controllability/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.
