Author: weinberg
Date: Thu Apr 9 15:23:56 2009
New Revision: 4057
URL: http://svn.gna.org/viewcvs/service-tech?rev=4057&view=rev
Log:
+ merged all revisions of trunk (up to HEAD) into this branch
Added:
branches/livelock/fiona/ChangeLog
- copied unchanged from r4055, trunk/fiona/ChangeLog
branches/livelock/fiona/THANKS
- copied unchanged from r4055, trunk/fiona/THANKS
branches/livelock/fiona/configure.ac
- copied unchanged from r4055, trunk/fiona/configure.ac
branches/livelock/fiona/doc/ChangeLog.texi
- copied unchanged from r4055, trunk/fiona/doc/ChangeLog.texi
branches/livelock/fiona/doc/Doxyfile.in
- copied unchanged from r4055, trunk/fiona/doc/Doxyfile.in
branches/livelock/fiona/doc/docShop.owfn
- copied unchanged from r4055, trunk/fiona/doc/docShop.owfn
branches/livelock/fiona/doc/docShop.owfn.cov
- copied unchanged from r4055, trunk/fiona/doc/docShop.owfn.cov
branches/livelock/fiona/doc/docShop.owfn.covog
- copied unchanged from r4055, trunk/fiona/doc/docShop.owfn.covog
branches/livelock/fiona/doc/docShop.owfn.og
- copied unchanged from r4055, trunk/fiona/doc/docShop.owfn.og
branches/livelock/fiona/doc/fdl.texi
- copied unchanged from r4055, trunk/fiona/doc/fdl.texi
branches/livelock/fiona/doc/figs/
- copied from r4055, trunk/fiona/doc/figs/
branches/livelock/fiona/doc/fionaDocumentation.pdf
- copied unchanged from r4055, trunk/fiona/doc/fionaDocumentation.pdf
branches/livelock/fiona/doc/gendocs.sh
- copied unchanged from r4055, trunk/fiona/doc/gendocs.sh
branches/livelock/fiona/doc/gendocs_template
- copied unchanged from r4055, trunk/fiona/doc/gendocs_template
branches/livelock/fiona/maintainer/
- copied from r4055, trunk/fiona/maintainer/
branches/livelock/fiona/man/
- copied from r4055, trunk/fiona/man/
branches/livelock/fiona/nets/ (props changed)
- copied from r4055, trunk/fiona/nets/
branches/livelock/fiona/src/ConstraintOG.cc
- copied unchanged from r4055, trunk/fiona/src/ConstraintOG.cc
branches/livelock/fiona/src/ConstraintOG.h
- copied unchanged from r4055, trunk/fiona/src/ConstraintOG.h
branches/livelock/fiona/src/lexer_cov.ll
- copied unchanged from r4055, trunk/fiona/src/lexer_cov.ll
branches/livelock/fiona/src/lexer_covog.ll
- copied unchanged from r4055, trunk/fiona/src/lexer_covog.ll
branches/livelock/fiona/src/syntax_cov.yy
- copied unchanged from r4055, trunk/fiona/src/syntax_cov.yy
branches/livelock/fiona/src/syntax_covog.yy
- copied unchanged from r4055, trunk/fiona/src/syntax_covog.yy
branches/livelock/fiona/tests/adapter/
- copied from r4055, trunk/fiona/tests/adapter/
branches/livelock/fiona/tests/adapter.sh
- copied unchanged from r4055, trunk/fiona/tests/adapter.sh
branches/livelock/fiona/tests/bdd_ref/myCoffee.owfn
- copied unchanged from r4055, trunk/fiona/tests/bdd_ref/myCoffee.owfn
branches/livelock/fiona/tests/bdd_ref/myCoffee_reference.owfn
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn
branches/livelock/fiona/tests/bdd_ref/myCoffee_reference.owfn.og
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og
branches/livelock/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_ANN.cudd
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_ANN.cudd
branches/livelock/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_ANN.out
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_ANN.out
branches/livelock/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_MP.cudd
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_MP.cudd
branches/livelock/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_MP.out
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_MP.out
branches/livelock/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.out
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.out
branches/livelock/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.png
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.png
branches/livelock/fiona/tests/bdd_ref/myCoffee_reference_assignments.txt
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/myCoffee_reference_assignments.txt
branches/livelock/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.og.BDD_ANN.cudd_alt
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.og.BDD_ANN.cudd_alt
branches/livelock/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.og.BDD_MP.cudd_alt
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.og.BDD_MP.cudd_alt
branches/livelock/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_ANN.cudd_alt
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_ANN.cudd_alt
branches/livelock/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_ANN.out
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_ANN.out
branches/livelock/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_MP.cudd_alt
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_MP.cudd_alt
branches/livelock/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_MP.out
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_MP.out
branches/livelock/fiona/tests/bdd_ref/sequence3_reference.owfn_alt
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn_alt
branches/livelock/fiona/tests/bdd_ref/sequence3_reference_assignments.txt
- copied unchanged from r4055,
trunk/fiona/tests/bdd_ref/sequence3_reference_assignments.txt
branches/livelock/fiona/tests/constraints/enforce_constraintDrink.a.og.png
- copied unchanged from r4055,
trunk/fiona/tests/constraints/enforce_constraintDrink.a.og.png
branches/livelock/fiona/tests/constraints/enforce_vending.owfn.a.og.png
- copied unchanged from r4055,
trunk/fiona/tests/constraints/enforce_vending.owfn.a.og.png
branches/livelock/fiona/tests/countservices/acyclic.og.png
- copied unchanged from r4055,
trunk/fiona/tests/countservices/acyclic.og.png
branches/livelock/fiona/tests/countservices/cyclic.og.png
- copied unchanged from r4055,
trunk/fiona/tests/countservices/cyclic.og.png
branches/livelock/fiona/tests/countservices/false_nodes.og
- copied unchanged from r4055,
trunk/fiona/tests/countservices/false_nodes.og
branches/livelock/fiona/tests/countservices/false_nodes.og.png
- copied unchanged from r4055,
trunk/fiona/tests/countservices/false_nodes.og.png
branches/livelock/fiona/tests/countservices/multiple_arcs.og
- copied unchanged from r4055,
trunk/fiona/tests/countservices/multiple_arcs.og
branches/livelock/fiona/tests/countservices/multiple_arcs.og.png
- copied unchanged from r4055,
trunk/fiona/tests/countservices/multiple_arcs.og.png
branches/livelock/fiona/tests/countservices/nostrat.og.png
- copied unchanged from r4055,
trunk/fiona/tests/countservices/nostrat.og.png
branches/livelock/fiona/tests/countservices/sequence4.owfn.og
- copied unchanged from r4055,
trunk/fiona/tests/countservices/sequence4.owfn.og
branches/livelock/fiona/tests/countservices/sequence4.owfn.og.png
- copied unchanged from r4055,
trunk/fiona/tests/countservices/sequence4.owfn.og.png
branches/livelock/fiona/tests/coverability.sh
- copied unchanged from r4055, trunk/fiona/tests/coverability.sh
branches/livelock/fiona/tests/coverability/M1.owfn
- copied unchanged from r4055, trunk/fiona/tests/coverability/M1.owfn
branches/livelock/fiona/tests/coverability/M2.owfn
- copied unchanged from r4055, trunk/fiona/tests/coverability/M2.owfn
branches/livelock/fiona/tests/coverability/Nc1.owfn
- copied unchanged from r4055, trunk/fiona/tests/coverability/Nc1.owfn
branches/livelock/fiona/tests/coverability/Nc1.owfn.cov
- copied unchanged from r4055, trunk/fiona/tests/coverability/Nc1.owfn.cov
branches/livelock/fiona/tests/coverability/Nc1.owfn.covog
- copied unchanged from r4055,
trunk/fiona/tests/coverability/Nc1.owfn.covog
branches/livelock/fiona/tests/coverability/Nc2.owfn
- copied unchanged from r4055, trunk/fiona/tests/coverability/Nc2.owfn
branches/livelock/fiona/tests/coverability/Nc2.owfn.cov
- copied unchanged from r4055, trunk/fiona/tests/coverability/Nc2.owfn.cov
branches/livelock/fiona/tests/coverability/Nc2.owfn.covog
- copied unchanged from r4055,
trunk/fiona/tests/coverability/Nc2.owfn.covog
branches/livelock/fiona/tests/coverability/Nc3.owfn
- copied unchanged from r4055, trunk/fiona/tests/coverability/Nc3.owfn
branches/livelock/fiona/tests/coverability/Nc3.owfn.cov
- copied unchanged from r4055, trunk/fiona/tests/coverability/Nc3.owfn.cov
branches/livelock/fiona/tests/coverability/Nc3.owfn.covog
- copied unchanged from r4055,
trunk/fiona/tests/coverability/Nc3.owfn.covog
branches/livelock/fiona/tests/evaluateExitCode.sh
- copied unchanged from r4055, trunk/fiona/tests/evaluateExitCode.sh
branches/livelock/fiona/tests/extrema/initial_marking_midways.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/extrema/initial_marking_midways.owfn.png
branches/livelock/fiona/tests/extrema/initialmarking_is_a_finalmarking.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/extrema/initialmarking_is_a_finalmarking.owfn.png
branches/livelock/fiona/tests/extrema/innerUnbounded.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/extrema/innerUnbounded.owfn.png
branches/livelock/fiona/tests/extrema/non_empty_true_node.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/extrema/non_empty_true_node.owfn.png
branches/livelock/fiona/tests/extrema/non_empty_true_node2.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/extrema/non_empty_true_node2.owfn.png
branches/livelock/fiona/tests/extrema/transient_finalmarking.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/extrema/transient_finalmarking.owfn.png
branches/livelock/fiona/tests/falseannos/bluefalsenode.expected.og.png
- copied unchanged from r4055,
trunk/fiona/tests/falseannos/bluefalsenode.expected.og.png
branches/livelock/fiona/tests/falseannos/bluefalsenode.og.png
- copied unchanged from r4055,
trunk/fiona/tests/falseannos/bluefalsenode.og.png
branches/livelock/fiona/tests/falseannos/shorten.expected.og.png
- copied unchanged from r4055,
trunk/fiona/tests/falseannos/shorten.expected.og.png
branches/livelock/fiona/tests/falseannos/shorten.og.png
- copied unchanged from r4055, trunk/fiona/tests/falseannos/shorten.og.png
branches/livelock/fiona/tests/falseannos/violating.expected.og.png
- copied unchanged from r4055,
trunk/fiona/tests/falseannos/violating.expected.og.png
branches/livelock/fiona/tests/falseannos/violating.og.png
- copied unchanged from r4055,
trunk/fiona/tests/falseannos/violating.og.png
branches/livelock/fiona/tests/matching/agency_traveler.og.png
- copied unchanged from r4055,
trunk/fiona/tests/matching/agency_traveler.og.png
branches/livelock/fiona/tests/matching/agency_traveler.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/matching/agency_traveler.owfn.png
branches/livelock/fiona/tests/matching/airline.og.png
- copied unchanged from r4055, trunk/fiona/tests/matching/airline.og.png
branches/livelock/fiona/tests/matching/airline.owfn.png
- copied unchanged from r4055, trunk/fiona/tests/matching/airline.owfn.png
branches/livelock/fiona/tests/matching/client_match_1.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/matching/client_match_1.owfn.png
branches/livelock/fiona/tests/matching/client_nomatch_1.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/matching/client_nomatch_1.owfn.png
branches/livelock/fiona/tests/matching/client_nomatch_2.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/matching/client_nomatch_2.owfn.png
branches/livelock/fiona/tests/matching/client_nosupport_1.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/matching/client_nosupport_1.owfn.png
branches/livelock/fiona/tests/matching/cycle_1.og
- copied unchanged from r4055, trunk/fiona/tests/matching/cycle_1.og
branches/livelock/fiona/tests/matching/cycle_1.owfn
- copied unchanged from r4055, trunk/fiona/tests/matching/cycle_1.owfn
branches/livelock/fiona/tests/matching/cycle_2.og
- copied unchanged from r4055, trunk/fiona/tests/matching/cycle_2.og
branches/livelock/fiona/tests/matching/cycle_2.owfn
- copied unchanged from r4055, trunk/fiona/tests/matching/cycle_2.owfn
branches/livelock/fiona/tests/matching/cycle_3.og
- copied unchanged from r4055, trunk/fiona/tests/matching/cycle_3.og
branches/livelock/fiona/tests/matching/interface-partner.owfn
- copied unchanged from r4055,
trunk/fiona/tests/matching/interface-partner.owfn
branches/livelock/fiona/tests/matching/interface_match.og
- copied unchanged from r4055,
trunk/fiona/tests/matching/interface_match.og
branches/livelock/fiona/tests/matching/interface_nomatch.og
- copied unchanged from r4055,
trunk/fiona/tests/matching/interface_nomatch.og
branches/livelock/fiona/tests/matching/internal.og
- copied unchanged from r4055, trunk/fiona/tests/matching/internal.og
branches/livelock/fiona/tests/matching/internal_match.owfn
- copied unchanged from r4055,
trunk/fiona/tests/matching/internal_match.owfn
branches/livelock/fiona/tests/matching/small_cycle.owfn
- copied unchanged from r4055, trunk/fiona/tests/matching/small_cycle.owfn
branches/livelock/fiona/tests/matching/small_cycle_1a.og
- copied unchanged from r4055,
trunk/fiona/tests/matching/small_cycle_1a.og
branches/livelock/fiona/tests/matching/small_cycle_1b.og
- copied unchanged from r4055,
trunk/fiona/tests/matching/small_cycle_1b.og
branches/livelock/fiona/tests/matching/small_cycle_2a.og
- copied unchanged from r4055,
trunk/fiona/tests/matching/small_cycle_2a.og
branches/livelock/fiona/tests/matching/small_cycle_2b.og
- copied unchanged from r4055,
trunk/fiona/tests/matching/small_cycle_2b.og
branches/livelock/fiona/tests/messagebound/innerBounded.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/messagebound/innerBounded.owfn.png
branches/livelock/fiona/tests/messagebound/messageboundtest1.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/messagebound/messageboundtest1.owfn.png
branches/livelock/fiona/tests/messagebound/messageboundtest2.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/messagebound/messageboundtest2.owfn.png
branches/livelock/fiona/tests/messagebound/messageboundtest3.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/messagebound/messageboundtest3.owfn.png
branches/livelock/fiona/tests/messagebound/messageboundtest4.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/messagebound/messageboundtest4.owfn.png
branches/livelock/fiona/tests/messagebound/messageboundtest5.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/messagebound/messageboundtest5.owfn.png
branches/livelock/fiona/tests/messagebound/unlimited-communication.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/messagebound/unlimited-communication.owfn.png
branches/livelock/fiona/tests/minimize/06-03-23_BPM06_shop_sect_3.owfn.og.png
- copied unchanged from r4055,
trunk/fiona/tests/minimize/06-03-23_BPM06_shop_sect_3.owfn.og.png
branches/livelock/fiona/tests/minimize/4-loop.og.png
- copied unchanged from r4055, trunk/fiona/tests/minimize/4-loop.og.png
branches/livelock/fiona/tests/minimize/final_non-final.og.png
- copied unchanged from r4055,
trunk/fiona/tests/minimize/final_non-final.og.png
branches/livelock/fiona/tests/minimize/keesCoffee_condition.emptyNode.og.png
- copied unchanged from r4055,
trunk/fiona/tests/minimize/keesCoffee_condition.emptyNode.og.png
branches/livelock/fiona/tests/minimize/keesCoffee_condition.og.png
- copied unchanged from r4055,
trunk/fiona/tests/minimize/keesCoffee_condition.og.png
branches/livelock/fiona/tests/minimize/myCoffee.og.png
- copied unchanged from r4055, trunk/fiona/tests/minimize/myCoffee.og.png
branches/livelock/fiona/tests/minimize/non-final_final.og.png
- copied unchanged from r4055,
trunk/fiona/tests/minimize/non-final_final.og.png
branches/livelock/fiona/tests/minimize/nostrat.og.png
- copied unchanged from r4055, trunk/fiona/tests/minimize/nostrat.og.png
branches/livelock/fiona/tests/minimize/sample.og.png
- copied unchanged from r4055, trunk/fiona/tests/minimize/sample.og.png
branches/livelock/fiona/tests/normalize/
- copied from r4055, trunk/fiona/tests/normalize/
branches/livelock/fiona/tests/normalize.sh
- copied unchanged from r4055, trunk/fiona/tests/normalize.sh
branches/livelock/fiona/tests/oWFNreduction/06-03-23_BPM06_shop_sect_6.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/oWFNreduction/06-03-23_BPM06_shop_sect_6.owfn.png
branches/livelock/fiona/tests/oWFNreduction/060116-misc-coffee.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/oWFNreduction/060116-misc-coffee.owfn.png
branches/livelock/fiona/tests/oWFNreduction/phcontrol3.unf.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/oWFNreduction/phcontrol3.unf.owfn.png
branches/livelock/fiona/tests/partner/coffee-partner.expected.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/partner/coffee-partner.expected.owfn.png
branches/livelock/fiona/tests/partner/coffee.owfn.png
- copied unchanged from r4055, trunk/fiona/tests/partner/coffee.owfn.png
branches/livelock/fiona/tests/partner/coffee2-partner.expected.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/partner/coffee2-partner.expected.owfn.png
branches/livelock/fiona/tests/partner/coffee2.owfn.png
- copied unchanged from r4055, trunk/fiona/tests/partner/coffee2.owfn.png
branches/livelock/fiona/tests/partner/coffee_extended-partner.expected.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/partner/coffee_extended-partner.expected.owfn.png
branches/livelock/fiona/tests/partner/coffee_extended.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/partner/coffee_extended.owfn.png
branches/livelock/fiona/tests/partner/sequence3-partner.expected.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/partner/sequence3-partner.expected.owfn.png
branches/livelock/fiona/tests/partner/sequence3.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/partner/sequence3.owfn.png
branches/livelock/fiona/tests/png/06-03-23_BPM06_shop_sect_3.owfn.og
- copied unchanged from r4055,
trunk/fiona/tests/png/06-03-23_BPM06_shop_sect_3.owfn.og
branches/livelock/fiona/tests/productog/1.og.png
- copied unchanged from r4055, trunk/fiona/tests/productog/1.og.png
branches/livelock/fiona/tests/productog/1x2.expected.og.png
- copied unchanged from r4055,
trunk/fiona/tests/productog/1x2.expected.og.png
branches/livelock/fiona/tests/productog/1x2x3.expected.og.png
- copied unchanged from r4055,
trunk/fiona/tests/productog/1x2x3.expected.og.png
branches/livelock/fiona/tests/productog/2.og.png
- copied unchanged from r4055, trunk/fiona/tests/productog/2.og.png
branches/livelock/fiona/tests/productog/3.og.png
- copied unchanged from r4055, trunk/fiona/tests/productog/3.og.png
branches/livelock/fiona/tests/productog/3x1x2.expected.og.png
- copied unchanged from r4055,
trunk/fiona/tests/productog/3x1x2.expected.og.png
branches/livelock/fiona/tests/publicview/NonFinalTauNode1.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/publicview/NonFinalTauNode1.owfn.png
branches/livelock/fiona/tests/publicview/NonFinalTauNode1not.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/publicview/NonFinalTauNode1not.owfn.png
branches/livelock/fiona/tests/publicview/NonFinalTauNode2.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/publicview/NonFinalTauNode2.owfn.png
branches/livelock/fiona/tests/publicview/NonFinalTauNode2not.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/publicview/NonFinalTauNode2not.owfn.png
branches/livelock/fiona/tests/publicview/NonFinalTauNode3.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/publicview/NonFinalTauNode3.owfn.png
branches/livelock/fiona/tests/publicview/NonFinalTauNode4.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/publicview/NonFinalTauNode4.owfn.png
branches/livelock/fiona/tests/publicview/complexPV.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/publicview/complexPV.owfn.png
branches/livelock/fiona/tests/publicview/non_empty_true_node2.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/publicview/non_empty_true_node2.owfn.png
branches/livelock/fiona/tests/publicview/non_empty_true_node3.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/publicview/non_empty_true_node3.owfn.png
branches/livelock/fiona/tests/regression/
- copied from r4055, trunk/fiona/tests/regression/
branches/livelock/fiona/tests/responsive/2_TSCCs_in_1_node_with_communication_1.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/responsive/2_TSCCs_in_1_node_with_communication_1.owfn.png
branches/livelock/fiona/tests/responsive/2_TSCCs_in_1_node_with_communication_2.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/responsive/2_TSCCs_in_1_node_with_communication_2.owfn.png
branches/livelock/fiona/tests/responsive/cgvExample.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/responsive/cgvExample.owfn.png
branches/livelock/fiona/tests/responsive/controllable_and_responsive_controllable.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/responsive/controllable_and_responsive_controllable.owfn.png
branches/livelock/fiona/tests/responsive/controllable_not_responsive_controllable.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/responsive/controllable_not_responsive_controllable.owfn.png
branches/livelock/fiona/tests/responsive/finalmarking_in_TSCC.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/responsive/finalmarking_in_TSCC.owfn.png
branches/livelock/fiona/tests/responsive/responsive1.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/responsive/responsive1.owfn.png
branches/livelock/fiona/tests/responsive/responsive2.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/responsive/responsive2.owfn.png
branches/livelock/fiona/tests/responsive/responsive3.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/responsive/responsive3.owfn.png
branches/livelock/fiona/tests/samples/sequence9.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/samples/sequence9.owfn.png
branches/livelock/fiona/tests/sim_og/coarse-chopped.og.png
- copied unchanged from r4055,
trunk/fiona/tests/sim_og/coarse-chopped.og.png
branches/livelock/fiona/tests/sim_og/coarse.og.png
- copied unchanged from r4055, trunk/fiona/tests/sim_og/coarse.og.png
branches/livelock/fiona/tests/sim_og/compact.og.png
- copied unchanged from r4055, trunk/fiona/tests/sim_og/compact.og.png
branches/livelock/fiona/tests/sim_og/cyclic1.og.png
- copied unchanged from r4055, trunk/fiona/tests/sim_og/cyclic1.og.png
branches/livelock/fiona/tests/sim_og/cyclic2.og.png
- copied unchanged from r4055, trunk/fiona/tests/sim_og/cyclic2.og.png
branches/livelock/fiona/tests/sim_og/trafo_rule3_N7.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/sim_og/trafo_rule3_N7.owfn.png
branches/livelock/fiona/tests/sim_og/trafo_rule3_N8.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/sim_og/trafo_rule3_N8.owfn.png
branches/livelock/fiona/tests/sim_og/trafo_rule4_N10.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/sim_og/trafo_rule4_N10.owfn.png
branches/livelock/fiona/tests/sim_og/trafo_rule4_N9.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/sim_og/trafo_rule4_N9.owfn.png
branches/livelock/fiona/tests/sim_og/trafo_wsfm_M0.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/sim_og/trafo_wsfm_M0.owfn.png
branches/livelock/fiona/tests/sim_og/trafo_wsfm_M1.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/sim_og/trafo_wsfm_M1.owfn.png
branches/livelock/fiona/tests/sim_og/trafo_wsfm_M2.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/sim_og/trafo_wsfm_M2.owfn.png
branches/livelock/fiona/tests/sim_og/trafo_wsfm_M3.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/sim_og/trafo_wsfm_M3.owfn.png
branches/livelock/fiona/tests/smtp/
- copied from r4055, trunk/fiona/tests/smtp/
branches/livelock/fiona/tests/statesReduction/Reservations.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/statesReduction/Reservations.owfn.png
branches/livelock/fiona/tests/statesReduction/myCoffee.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/statesReduction/myCoffee.owfn.png
branches/livelock/fiona/tests/syntax/formula.owfn.expected.og.png
- copied unchanged from r4055,
trunk/fiona/tests/syntax/formula.owfn.expected.og.png
branches/livelock/fiona/tests/syntax/formula.owfn.png
- copied unchanged from r4055, trunk/fiona/tests/syntax/formula.owfn.png
branches/livelock/fiona/tests/syntax/max_occurrence.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/syntax/max_occurrence.owfn.png
branches/livelock/fiona/tests/syntax/syntax_example.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/syntax/syntax_example.owfn.png
branches/livelock/fiona/tests/syntax/syntax_example_new.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/syntax/syntax_example_new.owfn.png
branches/livelock/fiona/tests/syntax/syntax_example_new_short.owfn.png
- copied unchanged from r4055,
trunk/fiona/tests/syntax/syntax_example_new_short.owfn.png
Removed:
branches/livelock/fiona/COPYING
branches/livelock/fiona/Doxyfile
branches/livelock/fiona/INSTALL
branches/livelock/fiona/netze/
Modified:
branches/livelock/fiona/AUTHORS
branches/livelock/fiona/Makefile.am
branches/livelock/fiona/Makefile.covcommon
branches/livelock/fiona/NEWS
branches/livelock/fiona/README
branches/livelock/fiona/doc/Makefile.am
branches/livelock/fiona/doc/fiona.texi
branches/livelock/fiona/libs/Makefile
branches/livelock/fiona/libs/Makefile.in
branches/livelock/fiona/libs/cudd/ (props changed)
branches/livelock/fiona/libs/cudd/cudd/ (props changed)
branches/livelock/fiona/libs/cudd/cudd/doc/cudd.doc (props changed)
branches/livelock/fiona/libs/cudd/dddmp/ (props changed)
branches/livelock/fiona/libs/cudd/epd/ (props changed)
branches/livelock/fiona/libs/cudd/mnemosyne/ (props changed)
branches/livelock/fiona/libs/cudd/mtr/ (props changed)
branches/livelock/fiona/libs/cudd/mtr/doc/mtr.doc (props changed)
branches/livelock/fiona/libs/cudd/nanotrav/ (props changed)
branches/livelock/fiona/libs/cudd/obj/ (props changed)
branches/livelock/fiona/libs/cudd/st/ (props changed)
branches/livelock/fiona/libs/cudd/testobj.sh
branches/livelock/fiona/libs/cudd/util/ (props changed)
branches/livelock/fiona/libs/pnapi/ (props changed)
branches/livelock/fiona/libs/pnapi/petrinet-output.cc
branches/livelock/fiona/libs/pnapi/pnapi.h
branches/livelock/fiona/src/AnnotatedGraph.cc
branches/livelock/fiona/src/AnnotatedGraph.h
branches/livelock/fiona/src/AnnotatedGraphEdge.cc
branches/livelock/fiona/src/AnnotatedGraphEdge.h
branches/livelock/fiona/src/AnnotatedGraphNode.cc
branches/livelock/fiona/src/AnnotatedGraphNode.h
branches/livelock/fiona/src/BddLabel.cc
branches/livelock/fiona/src/BddLabel.h
branches/livelock/fiona/src/BddRepresentation.cc
branches/livelock/fiona/src/BddRepresentation.h
branches/livelock/fiona/src/CommunicationGraph.cc
branches/livelock/fiona/src/CommunicationGraph.h
branches/livelock/fiona/src/Exchangeability.cc
branches/livelock/fiona/src/Exchangeability.h
branches/livelock/fiona/src/GastexGraph.cc
branches/livelock/fiona/src/GastexGraph.h
branches/livelock/fiona/src/Graph.cc
branches/livelock/fiona/src/Graph.h
branches/livelock/fiona/src/GraphEdge.cc
branches/livelock/fiona/src/GraphEdge.h
branches/livelock/fiona/src/GraphFormula.cc
branches/livelock/fiona/src/GraphFormula.h
branches/livelock/fiona/src/GraphNode.cc
branches/livelock/fiona/src/GraphNode.h
branches/livelock/fiona/src/IG.cc
branches/livelock/fiona/src/IG.h
branches/livelock/fiona/src/Makefile.am
branches/livelock/fiona/src/OG.cc
branches/livelock/fiona/src/OG.h
branches/livelock/fiona/src/PetriNetNode.cc
branches/livelock/fiona/src/PetriNetNode.h
branches/livelock/fiona/src/SccState.cc
branches/livelock/fiona/src/SccState.h
branches/livelock/fiona/src/SinglyLinkedList.h
branches/livelock/fiona/src/TS.cc
branches/livelock/fiona/src/adapter.cc
branches/livelock/fiona/src/adapter.h
branches/livelock/fiona/src/binDecision.cc
branches/livelock/fiona/src/binDecision.h
branches/livelock/fiona/src/cmdline.ggo
branches/livelock/fiona/src/containers.cc
branches/livelock/fiona/src/containers.h
branches/livelock/fiona/src/debug.cc
branches/livelock/fiona/src/debug.h
branches/livelock/fiona/src/dimensions.h
branches/livelock/fiona/src/dot2tex.cc
branches/livelock/fiona/src/dot2tex.h
branches/livelock/fiona/src/formula.cc
branches/livelock/fiona/src/formula.h
branches/livelock/fiona/src/getopt.c
branches/livelock/fiona/src/getopt1.c
branches/livelock/fiona/src/lexer_adapt_rules.ll
branches/livelock/fiona/src/lexer_dot.ll
branches/livelock/fiona/src/lexer_og.ll
branches/livelock/fiona/src/lexer_owfn.ll
branches/livelock/fiona/src/lexer_owfn_wrap.h
branches/livelock/fiona/src/lexer_stg.ll
branches/livelock/fiona/src/lexer_ts.ll
branches/livelock/fiona/src/main.cc
branches/livelock/fiona/src/main.h
branches/livelock/fiona/src/mynew.h
branches/livelock/fiona/src/newlogger.cc
branches/livelock/fiona/src/newlogger.h
branches/livelock/fiona/src/options.cc
branches/livelock/fiona/src/options.h
branches/livelock/fiona/src/owfn.cc
branches/livelock/fiona/src/owfn.h
branches/livelock/fiona/src/owfnPlace.cc
branches/livelock/fiona/src/owfnPlace.h
branches/livelock/fiona/src/owfnTransition.cc
branches/livelock/fiona/src/owfnTransition.h
branches/livelock/fiona/src/searchTrace.h
branches/livelock/fiona/src/set_helpers.h
branches/livelock/fiona/src/state.cc
branches/livelock/fiona/src/state.h
branches/livelock/fiona/src/stg2owfn.cc
branches/livelock/fiona/src/symboltab.cc
branches/livelock/fiona/src/symboltab.h
branches/livelock/fiona/src/syntax_adapt_rules.yy
branches/livelock/fiona/src/syntax_dot.yy
branches/livelock/fiona/src/syntax_og.yy
branches/livelock/fiona/src/syntax_owfn.yy
branches/livelock/fiona/src/syntax_owfn_wrap.h
branches/livelock/fiona/src/syntax_stg.yy
branches/livelock/fiona/src/syntax_ts.yy
branches/livelock/fiona/src/userconfig.h
branches/livelock/fiona/tests/Makefile.am
branches/livelock/fiona/tests/bddtest.sh
branches/livelock/fiona/tests/countservices.sh
branches/livelock/fiona/tests/cyclic.sh
branches/livelock/fiona/tests/defaults.sh
branches/livelock/fiona/tests/extrema.sh
branches/livelock/fiona/tests/extrema/all_final_marking.owfn.png
branches/livelock/fiona/tests/extrema/empty.owfn.png
branches/livelock/fiona/tests/extrema/filename WiTh SpaCeS.owfn.png
branches/livelock/fiona/tests/extrema/multiple_input.owfn.png
branches/livelock/fiona/tests/extrema/multiple_input_multiple_output.owfn.png
branches/livelock/fiona/tests/extrema/multiple_output.owfn.png
branches/livelock/fiona/tests/extrema/no_communication.owfn.png
branches/livelock/fiona/tests/extrema/no_final_marking.owfn.png
branches/livelock/fiona/tests/extrema/no_initial_marking.owfn.png
branches/livelock/fiona/tests/extrema/no_initial_marking2.owfn.png
branches/livelock/fiona/tests/extrema/one_input.owfn.png
branches/livelock/fiona/tests/extrema/one_input_2.owfn.png
branches/livelock/fiona/tests/extrema/one_input_marked.owfn.png
branches/livelock/fiona/tests/extrema/one_input_one_output.owfn.png
branches/livelock/fiona/tests/extrema/one_output.owfn.png
branches/livelock/fiona/tests/extrema/one_output_marked.owfn.png
branches/livelock/fiona/tests/falseannos.sh
branches/livelock/fiona/tests/matching.sh
branches/livelock/fiona/tests/matching/interface_rcv-a_snd-by.owfn.png
branches/livelock/fiona/tests/matching/interface_rcv-ax_snd-b.owfn.png
branches/livelock/fiona/tests/matching/shop.og
branches/livelock/fiona/tests/matching/shop_rednodes.og
branches/livelock/fiona/tests/memcheck_helper.sh
branches/livelock/fiona/tests/messagebound.sh
branches/livelock/fiona/tests/minimize.sh
branches/livelock/fiona/tests/oWFNreduction.sh
branches/livelock/fiona/tests/partner.sh
branches/livelock/fiona/tests/philosophers.sh
branches/livelock/fiona/tests/philosophers/phcontrol10.unf.owfn
branches/livelock/fiona/tests/philosophers/phcontrol10.unf.owfn.png
branches/livelock/fiona/tests/philosophers/phcontrol3.unf.owfn
branches/livelock/fiona/tests/philosophers/phcontrol3.unf.owfn.png
branches/livelock/fiona/tests/philosophers/phcontrol4.unf.owfn
branches/livelock/fiona/tests/philosophers/phcontrol4.unf.owfn.png
branches/livelock/fiona/tests/philosophers/phcontrol5.unf.owfn
branches/livelock/fiona/tests/philosophers/phcontrol5.unf.owfn.png
branches/livelock/fiona/tests/philosophers/phcontrol6.unf.owfn
branches/livelock/fiona/tests/philosophers/phcontrol6.unf.owfn.png
branches/livelock/fiona/tests/philosophers/phcontrol7.unf.owfn
branches/livelock/fiona/tests/philosophers/phcontrol7.unf.owfn.png
branches/livelock/fiona/tests/philosophers/phcontrol8.unf.owfn
branches/livelock/fiona/tests/philosophers/phcontrol8.unf.owfn.png
branches/livelock/fiona/tests/philosophers/phcontrol9.unf.owfn
branches/livelock/fiona/tests/philosophers/phcontrol9.unf.owfn.png
branches/livelock/fiona/tests/png.sh
branches/livelock/fiona/tests/productog.sh
branches/livelock/fiona/tests/productog/1x2.expected.og
branches/livelock/fiona/tests/publicview.sh
branches/livelock/fiona/tests/responsive.sh
branches/livelock/fiona/tests/samples.sh
branches/livelock/fiona/tests/samples/keesCoffee_condition.owfn.png
branches/livelock/fiona/tests/samples/myCoffee.owfn.png
branches/livelock/fiona/tests/sequences.sh
branches/livelock/fiona/tests/sim_og.sh
branches/livelock/fiona/tests/slist.sh
branches/livelock/fiona/tests/slistcheck.cc
branches/livelock/fiona/tests/smtp.sh
branches/livelock/fiona/tests/statesReduction.sh
branches/livelock/fiona/tests/syntax.sh
branches/livelock/fiona/tests/syntax/max_occurrence.owfn
--
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.
