Author: gierds
Date: Wed Oct 29 11:17:30 2008
New Revision: 3542
URL: http://svn.gna.org/viewcvs/service-tech?rev=3542&view=rev
Log:
* update from trunk
Added:
branches/synchronous_controllability/fiona/Doxyfile.in
- copied unchanged from r3541, trunk/fiona/Doxyfile.in
branches/synchronous_controllability/fiona/THANKS
- copied unchanged from r3541, trunk/fiona/THANKS
branches/synchronous_controllability/fiona/doc/ChangeLog.texi
- copied unchanged from r3541, trunk/fiona/doc/ChangeLog.texi
branches/synchronous_controllability/fiona/doc/Makefile.am
- copied unchanged from r3541, trunk/fiona/doc/Makefile.am
branches/synchronous_controllability/fiona/doc/docShop.owfn
- copied unchanged from r3541, trunk/fiona/doc/docShop.owfn
branches/synchronous_controllability/fiona/doc/docShop.owfn.og
- copied unchanged from r3541, trunk/fiona/doc/docShop.owfn.og
branches/synchronous_controllability/fiona/doc/fdl.texi
- copied unchanged from r3541, trunk/fiona/doc/fdl.texi
branches/synchronous_controllability/fiona/doc/figs/
- copied from r3541, trunk/fiona/doc/figs/
branches/synchronous_controllability/fiona/doc/fiona.texi
- copied unchanged from r3541, trunk/fiona/doc/fiona.texi
branches/synchronous_controllability/fiona/doc/fionaDocumentation.pdf
- copied unchanged from r3541, trunk/fiona/doc/fionaDocumentation.pdf
branches/synchronous_controllability/fiona/doc/gendocs.sh
- copied unchanged from r3541, trunk/fiona/doc/gendocs.sh
branches/synchronous_controllability/fiona/doc/gendocs_template
- copied unchanged from r3541, trunk/fiona/doc/gendocs_template
branches/synchronous_controllability/fiona/libs/
- copied from r3541, trunk/fiona/libs/
branches/synchronous_controllability/fiona/man/
- copied from r3541, trunk/fiona/man/
branches/synchronous_controllability/fiona/nets/ (props changed)
- copied from r3541, trunk/fiona/nets/
branches/synchronous_controllability/fiona/tests/bdd_ref/myCoffee.owfn
- copied unchanged from r3541, trunk/fiona/tests/bdd_ref/myCoffee.owfn
branches/synchronous_controllability/fiona/tests/bdd_ref/myCoffee_reference.owfn
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn
branches/synchronous_controllability/fiona/tests/bdd_ref/myCoffee_reference.owfn.og
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og
branches/synchronous_controllability/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_ANN.cudd
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_ANN.cudd
branches/synchronous_controllability/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_ANN.out
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_ANN.out
branches/synchronous_controllability/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_MP.cudd
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_MP.cudd
branches/synchronous_controllability/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_MP.out
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_MP.out
branches/synchronous_controllability/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.out
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.out
branches/synchronous_controllability/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.png
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.png
branches/synchronous_controllability/fiona/tests/bdd_ref/myCoffee_reference_assignments.txt
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/myCoffee_reference_assignments.txt
branches/synchronous_controllability/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.og.BDD_ANN.cudd
- copied unchanged from r3541,
trunk/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_ANN.cudd_alt
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.og.BDD_ANN.cudd_alt
branches/synchronous_controllability/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.og.BDD_MP.cudd
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.og.BDD_MP.cudd
branches/synchronous_controllability/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.og.BDD_MP.cudd_alt
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.og.BDD_MP.cudd_alt
branches/synchronous_controllability/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.og.png
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.og.png
branches/synchronous_controllability/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_ANN.cudd
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_ANN.cudd
branches/synchronous_controllability/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_ANN.cudd_alt
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_ANN.cudd_alt
branches/synchronous_controllability/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_ANN.out
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_ANN.out
branches/synchronous_controllability/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_MP.cudd
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_MP.cudd
branches/synchronous_controllability/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_MP.cudd_alt
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_MP.cudd_alt
branches/synchronous_controllability/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_MP.out
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_MP.out
branches/synchronous_controllability/fiona/tests/bdd_ref/sequence3_reference.owfn.og.png
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.png
branches/synchronous_controllability/fiona/tests/bdd_ref/sequence3_reference.owfn_alt
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn_alt
branches/synchronous_controllability/fiona/tests/bdd_ref/sequence3_reference_assignments.txt
- copied unchanged from r3541,
trunk/fiona/tests/bdd_ref/sequence3_reference_assignments.txt
branches/synchronous_controllability/fiona/tests/constraints/enforce_constraintDrink.a.og.png
- copied unchanged from r3541,
trunk/fiona/tests/constraints/enforce_constraintDrink.a.og.png
branches/synchronous_controllability/fiona/tests/constraints/enforce_vending.owfn.a.og.png
- copied unchanged from r3541,
trunk/fiona/tests/constraints/enforce_vending.owfn.a.og.png
branches/synchronous_controllability/fiona/tests/countservices/acyclic.og.png
- copied unchanged from r3541,
trunk/fiona/tests/countservices/acyclic.og.png
branches/synchronous_controllability/fiona/tests/countservices/cyclic.og.png
- copied unchanged from r3541,
trunk/fiona/tests/countservices/cyclic.og.png
branches/synchronous_controllability/fiona/tests/countservices/false_nodes.og.png
- copied unchanged from r3541,
trunk/fiona/tests/countservices/false_nodes.og.png
branches/synchronous_controllability/fiona/tests/countservices/multiple_arcs.og.png
- copied unchanged from r3541,
trunk/fiona/tests/countservices/multiple_arcs.og.png
branches/synchronous_controllability/fiona/tests/countservices/nostrat.og.png
- copied unchanged from r3541,
trunk/fiona/tests/countservices/nostrat.og.png
branches/synchronous_controllability/fiona/tests/countservices/sequence4.owfn.og.png
- copied unchanged from r3541,
trunk/fiona/tests/countservices/sequence4.owfn.og.png
branches/synchronous_controllability/fiona/tests/evaluateExitCode.sh
- copied unchanged from r3541, trunk/fiona/tests/evaluateExitCode.sh
branches/synchronous_controllability/fiona/tests/extrema/initial_marking_midways.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/extrema/initial_marking_midways.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/initialmarking_is_a_finalmarking.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/extrema/initialmarking_is_a_finalmarking.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/innerUnbounded.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/extrema/innerUnbounded.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/non_empty_true_node.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/extrema/non_empty_true_node.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/non_empty_true_node2.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/extrema/non_empty_true_node2.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/transient_finalmarking.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/extrema/transient_finalmarking.owfn.png
branches/synchronous_controllability/fiona/tests/falseannos/bluefalsenode.expected.og.png
- copied unchanged from r3541,
trunk/fiona/tests/falseannos/bluefalsenode.expected.og.png
branches/synchronous_controllability/fiona/tests/falseannos/bluefalsenode.og.png
- copied unchanged from r3541,
trunk/fiona/tests/falseannos/bluefalsenode.og.png
branches/synchronous_controllability/fiona/tests/falseannos/shorten.expected.og.png
- copied unchanged from r3541,
trunk/fiona/tests/falseannos/shorten.expected.og.png
branches/synchronous_controllability/fiona/tests/falseannos/shorten.og.png
- copied unchanged from r3541, trunk/fiona/tests/falseannos/shorten.og.png
branches/synchronous_controllability/fiona/tests/falseannos/violating.expected.og.png
- copied unchanged from r3541,
trunk/fiona/tests/falseannos/violating.expected.og.png
branches/synchronous_controllability/fiona/tests/falseannos/violating.og.png
- copied unchanged from r3541,
trunk/fiona/tests/falseannos/violating.og.png
branches/synchronous_controllability/fiona/tests/matching/agency_traveler.og.png
- copied unchanged from r3541,
trunk/fiona/tests/matching/agency_traveler.og.png
branches/synchronous_controllability/fiona/tests/matching/agency_traveler.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/matching/agency_traveler.owfn.png
branches/synchronous_controllability/fiona/tests/matching/airline.og.png
- copied unchanged from r3541, trunk/fiona/tests/matching/airline.og.png
branches/synchronous_controllability/fiona/tests/matching/airline.owfn.png
- copied unchanged from r3541, trunk/fiona/tests/matching/airline.owfn.png
branches/synchronous_controllability/fiona/tests/matching/client_match_1.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/matching/client_match_1.owfn.png
branches/synchronous_controllability/fiona/tests/matching/client_nomatch_1.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/matching/client_nomatch_1.owfn.png
branches/synchronous_controllability/fiona/tests/matching/client_nomatch_2.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/matching/client_nomatch_2.owfn.png
branches/synchronous_controllability/fiona/tests/matching/client_nosupport_1.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/matching/client_nosupport_1.owfn.png
branches/synchronous_controllability/fiona/tests/matching/interface-partner.owfn
- copied unchanged from r3541,
trunk/fiona/tests/matching/interface-partner.owfn
branches/synchronous_controllability/fiona/tests/matching/interface_match.og
- copied unchanged from r3541,
trunk/fiona/tests/matching/interface_match.og
branches/synchronous_controllability/fiona/tests/matching/interface_nomatch.og
- copied unchanged from r3541,
trunk/fiona/tests/matching/interface_nomatch.og
branches/synchronous_controllability/fiona/tests/matching/internal.og
- copied unchanged from r3541, trunk/fiona/tests/matching/internal.og
branches/synchronous_controllability/fiona/tests/matching/internal_match.owfn
- copied unchanged from r3541,
trunk/fiona/tests/matching/internal_match.owfn
branches/synchronous_controllability/fiona/tests/messagebound/innerBounded.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/messagebound/innerBounded.owfn.png
branches/synchronous_controllability/fiona/tests/messagebound/messageboundtest1.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/messagebound/messageboundtest1.owfn.png
branches/synchronous_controllability/fiona/tests/messagebound/messageboundtest2.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/messagebound/messageboundtest2.owfn.png
branches/synchronous_controllability/fiona/tests/messagebound/messageboundtest3.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/messagebound/messageboundtest3.owfn.png
branches/synchronous_controllability/fiona/tests/messagebound/messageboundtest4.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/messagebound/messageboundtest4.owfn.png
branches/synchronous_controllability/fiona/tests/messagebound/messageboundtest5.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/messagebound/messageboundtest5.owfn.png
branches/synchronous_controllability/fiona/tests/messagebound/unlimited-communication.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/messagebound/unlimited-communication.owfn.png
branches/synchronous_controllability/fiona/tests/minimize/06-03-23_BPM06_shop_sect_3.owfn.og.png
- copied unchanged from r3541,
trunk/fiona/tests/minimize/06-03-23_BPM06_shop_sect_3.owfn.og.png
branches/synchronous_controllability/fiona/tests/minimize/4-loop.og.png
- copied unchanged from r3541, trunk/fiona/tests/minimize/4-loop.og.png
branches/synchronous_controllability/fiona/tests/minimize/final_non-final.og.png
- copied unchanged from r3541,
trunk/fiona/tests/minimize/final_non-final.og.png
branches/synchronous_controllability/fiona/tests/minimize/keesCoffee_condition.emptyNode.og.png
- copied unchanged from r3541,
trunk/fiona/tests/minimize/keesCoffee_condition.emptyNode.og.png
branches/synchronous_controllability/fiona/tests/minimize/keesCoffee_condition.og.png
- copied unchanged from r3541,
trunk/fiona/tests/minimize/keesCoffee_condition.og.png
branches/synchronous_controllability/fiona/tests/minimize/myCoffee.og.png
- copied unchanged from r3541, trunk/fiona/tests/minimize/myCoffee.og.png
branches/synchronous_controllability/fiona/tests/minimize/non-final_final.og.png
- copied unchanged from r3541,
trunk/fiona/tests/minimize/non-final_final.og.png
branches/synchronous_controllability/fiona/tests/minimize/nostrat.og.png
- copied unchanged from r3541, trunk/fiona/tests/minimize/nostrat.og.png
branches/synchronous_controllability/fiona/tests/minimize/sample.og.png
- copied unchanged from r3541, trunk/fiona/tests/minimize/sample.og.png
branches/synchronous_controllability/fiona/tests/normalize/
- copied from r3541, trunk/fiona/tests/normalize/
branches/synchronous_controllability/fiona/tests/normalize.sh
- copied unchanged from r3541, trunk/fiona/tests/normalize.sh
branches/synchronous_controllability/fiona/tests/oWFNreduction/06-03-23_BPM06_shop_sect_6.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/oWFNreduction/06-03-23_BPM06_shop_sect_6.owfn.png
branches/synchronous_controllability/fiona/tests/oWFNreduction/060116-misc-coffee.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/oWFNreduction/060116-misc-coffee.owfn.png
branches/synchronous_controllability/fiona/tests/oWFNreduction/phcontrol3.unf.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/oWFNreduction/phcontrol3.unf.owfn.png
branches/synchronous_controllability/fiona/tests/partner/coffee-partner.expected.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/partner/coffee-partner.expected.owfn.png
branches/synchronous_controllability/fiona/tests/partner/coffee.owfn.png
- copied unchanged from r3541, trunk/fiona/tests/partner/coffee.owfn.png
branches/synchronous_controllability/fiona/tests/partner/coffee2-partner.expected.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/partner/coffee2-partner.expected.owfn.png
branches/synchronous_controllability/fiona/tests/partner/coffee2.owfn.png
- copied unchanged from r3541, trunk/fiona/tests/partner/coffee2.owfn.png
branches/synchronous_controllability/fiona/tests/partner/coffee_extended-partner.expected.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/partner/coffee_extended-partner.expected.owfn.png
branches/synchronous_controllability/fiona/tests/partner/coffee_extended.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/partner/coffee_extended.owfn.png
branches/synchronous_controllability/fiona/tests/partner/sequence3-partner.expected.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/partner/sequence3-partner.expected.owfn.png
branches/synchronous_controllability/fiona/tests/partner/sequence3.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/partner/sequence3.owfn.png
branches/synchronous_controllability/fiona/tests/png/06-03-23_BPM06_shop_sect_3.owfn.og
- copied unchanged from r3541,
trunk/fiona/tests/png/06-03-23_BPM06_shop_sect_3.owfn.og
branches/synchronous_controllability/fiona/tests/productog/1.og.png
- copied unchanged from r3541, trunk/fiona/tests/productog/1.og.png
branches/synchronous_controllability/fiona/tests/productog/1x2.expected.og.png
- copied unchanged from r3541,
trunk/fiona/tests/productog/1x2.expected.og.png
branches/synchronous_controllability/fiona/tests/productog/1x2x3.expected.og.png
- copied unchanged from r3541,
trunk/fiona/tests/productog/1x2x3.expected.og.png
branches/synchronous_controllability/fiona/tests/productog/2.og.png
- copied unchanged from r3541, trunk/fiona/tests/productog/2.og.png
branches/synchronous_controllability/fiona/tests/productog/3.og.png
- copied unchanged from r3541, trunk/fiona/tests/productog/3.og.png
branches/synchronous_controllability/fiona/tests/productog/3x1x2.expected.og.png
- copied unchanged from r3541,
trunk/fiona/tests/productog/3x1x2.expected.og.png
branches/synchronous_controllability/fiona/tests/publicview/NonFinalTauNode1.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/publicview/NonFinalTauNode1.owfn.png
branches/synchronous_controllability/fiona/tests/publicview/NonFinalTauNode1not.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/publicview/NonFinalTauNode1not.owfn.png
branches/synchronous_controllability/fiona/tests/publicview/NonFinalTauNode2.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/publicview/NonFinalTauNode2.owfn.png
branches/synchronous_controllability/fiona/tests/publicview/NonFinalTauNode2not.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/publicview/NonFinalTauNode2not.owfn.png
branches/synchronous_controllability/fiona/tests/publicview/NonFinalTauNode3.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/publicview/NonFinalTauNode3.owfn.png
branches/synchronous_controllability/fiona/tests/publicview/NonFinalTauNode4.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/publicview/NonFinalTauNode4.owfn.png
branches/synchronous_controllability/fiona/tests/publicview/complexPV.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/publicview/complexPV.owfn.png
branches/synchronous_controllability/fiona/tests/publicview/non_empty_true_node2.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/publicview/non_empty_true_node2.owfn.png
branches/synchronous_controllability/fiona/tests/publicview/non_empty_true_node3.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/publicview/non_empty_true_node3.owfn.png
branches/synchronous_controllability/fiona/tests/responsive/2_TSCCs_in_1_node_with_communication_1.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/responsive/2_TSCCs_in_1_node_with_communication_1.owfn.png
branches/synchronous_controllability/fiona/tests/responsive/2_TSCCs_in_1_node_with_communication_2.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/responsive/2_TSCCs_in_1_node_with_communication_2.owfn.png
branches/synchronous_controllability/fiona/tests/responsive/cgvExample.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/responsive/cgvExample.owfn.png
branches/synchronous_controllability/fiona/tests/responsive/controllable_and_responsive_controllable.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/responsive/controllable_and_responsive_controllable.owfn.png
branches/synchronous_controllability/fiona/tests/responsive/controllable_not_responsive_controllable.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/responsive/controllable_not_responsive_controllable.owfn.png
branches/synchronous_controllability/fiona/tests/responsive/finalmarking_in_TSCC.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/responsive/finalmarking_in_TSCC.owfn.png
branches/synchronous_controllability/fiona/tests/responsive/responsive1.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/responsive/responsive1.owfn.png
branches/synchronous_controllability/fiona/tests/responsive/responsive2.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/responsive/responsive2.owfn.png
branches/synchronous_controllability/fiona/tests/responsive/responsive3.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/responsive/responsive3.owfn.png
branches/synchronous_controllability/fiona/tests/samples/sequence9.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/samples/sequence9.owfn.png
branches/synchronous_controllability/fiona/tests/sim_og/coarse-chopped.og.png
- copied unchanged from r3541,
trunk/fiona/tests/sim_og/coarse-chopped.og.png
branches/synchronous_controllability/fiona/tests/sim_og/coarse.og.png
- copied unchanged from r3541, trunk/fiona/tests/sim_og/coarse.og.png
branches/synchronous_controllability/fiona/tests/sim_og/compact.og.png
- copied unchanged from r3541, trunk/fiona/tests/sim_og/compact.og.png
branches/synchronous_controllability/fiona/tests/sim_og/cyclic1.og.png
- copied unchanged from r3541, trunk/fiona/tests/sim_og/cyclic1.og.png
branches/synchronous_controllability/fiona/tests/sim_og/cyclic2.og.png
- copied unchanged from r3541, trunk/fiona/tests/sim_og/cyclic2.og.png
branches/synchronous_controllability/fiona/tests/sim_og/trafo_rule3_N7.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/sim_og/trafo_rule3_N7.owfn.png
branches/synchronous_controllability/fiona/tests/sim_og/trafo_rule3_N8.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/sim_og/trafo_rule3_N8.owfn.png
branches/synchronous_controllability/fiona/tests/sim_og/trafo_rule4_N10.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/sim_og/trafo_rule4_N10.owfn.png
branches/synchronous_controllability/fiona/tests/sim_og/trafo_rule4_N9.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/sim_og/trafo_rule4_N9.owfn.png
branches/synchronous_controllability/fiona/tests/sim_og/trafo_wsfm_M0.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/sim_og/trafo_wsfm_M0.owfn.png
branches/synchronous_controllability/fiona/tests/sim_og/trafo_wsfm_M1.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/sim_og/trafo_wsfm_M1.owfn.png
branches/synchronous_controllability/fiona/tests/sim_og/trafo_wsfm_M2.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/sim_og/trafo_wsfm_M2.owfn.png
branches/synchronous_controllability/fiona/tests/sim_og/trafo_wsfm_M3.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/sim_og/trafo_wsfm_M3.owfn.png
branches/synchronous_controllability/fiona/tests/smtp/
- copied from r3541, trunk/fiona/tests/smtp/
branches/synchronous_controllability/fiona/tests/statesReduction/Reservations.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/statesReduction/Reservations.owfn.png
branches/synchronous_controllability/fiona/tests/statesReduction/myCoffee.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/statesReduction/myCoffee.owfn.png
branches/synchronous_controllability/fiona/tests/syntax/formula.owfn.expected.og.png
- copied unchanged from r3541,
trunk/fiona/tests/syntax/formula.owfn.expected.og.png
branches/synchronous_controllability/fiona/tests/syntax/formula.owfn.png
- copied unchanged from r3541, trunk/fiona/tests/syntax/formula.owfn.png
branches/synchronous_controllability/fiona/tests/syntax/max_occurrence.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/syntax/max_occurrence.owfn.png
branches/synchronous_controllability/fiona/tests/syntax/syntax_example.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/syntax/syntax_example.owfn.png
branches/synchronous_controllability/fiona/tests/syntax/syntax_example_new.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/syntax/syntax_example_new.owfn.png
branches/synchronous_controllability/fiona/tests/syntax/syntax_example_new_short.owfn.png
- copied unchanged from r3541,
trunk/fiona/tests/syntax/syntax_example_new_short.owfn.png
Removed:
branches/synchronous_controllability/fiona/COPYING
branches/synchronous_controllability/fiona/Doxyfile
branches/synchronous_controllability/fiona/INSTALL
branches/synchronous_controllability/fiona/cudd/
branches/synchronous_controllability/fiona/doc/.cvsignore
branches/synchronous_controllability/fiona/doc/gpl.texi
branches/synchronous_controllability/fiona/doc/images/
branches/synchronous_controllability/fiona/doc/install.texi
branches/synchronous_controllability/fiona/doc/texinfo.tex
branches/synchronous_controllability/fiona/guide/
branches/synchronous_controllability/fiona/manual/
branches/synchronous_controllability/fiona/netze/
branches/synchronous_controllability/fiona/src/.cvsignore
branches/synchronous_controllability/fiona/src/Doxyfile
branches/synchronous_controllability/fiona/src/pnapi/
branches/synchronous_controllability/fiona/tests/.cvsignore
branches/synchronous_controllability/fiona/tests/bdd_ref/.cvsignore
branches/synchronous_controllability/fiona/tests/countservices/.cvsignore
branches/synchronous_controllability/fiona/tests/coverability/
branches/synchronous_controllability/fiona/tests/cyclic/.cvsignore
branches/synchronous_controllability/fiona/tests/extrema/.cvsignore
branches/synchronous_controllability/fiona/tests/falseannos/.cvsignore
branches/synchronous_controllability/fiona/tests/matching/.cvsignore
branches/synchronous_controllability/fiona/tests/messagebound/.cvsignore
branches/synchronous_controllability/fiona/tests/minimize/.cvsignore
branches/synchronous_controllability/fiona/tests/oWFNreduction/.cvsignore
branches/synchronous_controllability/fiona/tests/partner/.cvsignore
branches/synchronous_controllability/fiona/tests/philosophers/.cvsignore
branches/synchronous_controllability/fiona/tests/png/.cvsignore
branches/synchronous_controllability/fiona/tests/productog/.cvsignore
branches/synchronous_controllability/fiona/tests/publicview/.cvsignore
branches/synchronous_controllability/fiona/tests/publicview/complexPV.owfn.og
branches/synchronous_controllability/fiona/tests/samples/.cvsignore
branches/synchronous_controllability/fiona/tests/sequence_suite/.cvsignore
branches/synchronous_controllability/fiona/tests/sim_og/.cvsignore
branches/synchronous_controllability/fiona/tests/statesReduction/.cvsignore
branches/synchronous_controllability/fiona/tests/syntax/.cvsignore
Modified:
branches/synchronous_controllability/fiona/AUTHORS
branches/synchronous_controllability/fiona/ChangeLog
branches/synchronous_controllability/fiona/Makefile.am
branches/synchronous_controllability/fiona/Makefile.covcommon
branches/synchronous_controllability/fiona/NEWS
branches/synchronous_controllability/fiona/README
branches/synchronous_controllability/fiona/configure.ac
branches/synchronous_controllability/fiona/libs/cudd/ (props changed)
branches/synchronous_controllability/fiona/libs/cudd/cudd/ (props changed)
branches/synchronous_controllability/fiona/libs/cudd/dddmp/ (props
changed)
branches/synchronous_controllability/fiona/libs/cudd/epd/ (props changed)
branches/synchronous_controllability/fiona/libs/cudd/mnemosyne/ (props
changed)
branches/synchronous_controllability/fiona/libs/cudd/mtr/ (props changed)
branches/synchronous_controllability/fiona/libs/cudd/nanotrav/ (props
changed)
branches/synchronous_controllability/fiona/libs/cudd/obj/ (props changed)
branches/synchronous_controllability/fiona/libs/cudd/st/ (props changed)
branches/synchronous_controllability/fiona/libs/cudd/util/ (props changed)
branches/synchronous_controllability/fiona/libs/pnapi/ (props changed)
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/AnnotatedGraphEdge.h
branches/synchronous_controllability/fiona/src/AnnotatedGraphNode.cc
branches/synchronous_controllability/fiona/src/AnnotatedGraphNode.h
branches/synchronous_controllability/fiona/src/BddLabel.cc
branches/synchronous_controllability/fiona/src/BddLabel.h
branches/synchronous_controllability/fiona/src/BddRepresentation.cc
branches/synchronous_controllability/fiona/src/BddRepresentation.h
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/Exchangeability.h
branches/synchronous_controllability/fiona/src/GastexGraph.cc
branches/synchronous_controllability/fiona/src/GastexGraph.h
branches/synchronous_controllability/fiona/src/Graph.cc
branches/synchronous_controllability/fiona/src/Graph.h
branches/synchronous_controllability/fiona/src/GraphEdge.cc
branches/synchronous_controllability/fiona/src/GraphEdge.h
branches/synchronous_controllability/fiona/src/GraphFormula.cc
branches/synchronous_controllability/fiona/src/GraphFormula.h
branches/synchronous_controllability/fiona/src/GraphNode.cc
branches/synchronous_controllability/fiona/src/GraphNode.h
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/PetriNetNode.cc
branches/synchronous_controllability/fiona/src/PetriNetNode.h
branches/synchronous_controllability/fiona/src/SinglyLinkedList.h
branches/synchronous_controllability/fiona/src/adapter.cc
branches/synchronous_controllability/fiona/src/adapter.h
branches/synchronous_controllability/fiona/src/binDecision.cc
branches/synchronous_controllability/fiona/src/binDecision.h
branches/synchronous_controllability/fiona/src/cmdline.ggo
branches/synchronous_controllability/fiona/src/containers.cc
branches/synchronous_controllability/fiona/src/containers.h
branches/synchronous_controllability/fiona/src/debug.cc
branches/synchronous_controllability/fiona/src/debug.h
branches/synchronous_controllability/fiona/src/dimensions.h
branches/synchronous_controllability/fiona/src/dot2tex.cc
branches/synchronous_controllability/fiona/src/dot2tex.h
branches/synchronous_controllability/fiona/src/formula.cc
branches/synchronous_controllability/fiona/src/formula.h
branches/synchronous_controllability/fiona/src/lexer_adapt_rules.ll
branches/synchronous_controllability/fiona/src/lexer_dot.ll
branches/synchronous_controllability/fiona/src/lexer_og.ll
branches/synchronous_controllability/fiona/src/lexer_owfn.ll
branches/synchronous_controllability/fiona/src/lexer_owfn_wrap.h
branches/synchronous_controllability/fiona/src/lexer_stg.ll
branches/synchronous_controllability/fiona/src/main.cc
branches/synchronous_controllability/fiona/src/main.h
branches/synchronous_controllability/fiona/src/mynew.h
branches/synchronous_controllability/fiona/src/newlogger.cc
branches/synchronous_controllability/fiona/src/newlogger.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/owfnPlace.cc
branches/synchronous_controllability/fiona/src/owfnPlace.h
branches/synchronous_controllability/fiona/src/owfnTransition.cc
branches/synchronous_controllability/fiona/src/owfnTransition.h
branches/synchronous_controllability/fiona/src/searchTrace.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_adapt_rules.yy
branches/synchronous_controllability/fiona/src/syntax_dot.yy
branches/synchronous_controllability/fiona/src/syntax_og.yy
branches/synchronous_controllability/fiona/src/syntax_owfn.yy
branches/synchronous_controllability/fiona/src/syntax_owfn_wrap.h
branches/synchronous_controllability/fiona/src/syntax_stg.yy
branches/synchronous_controllability/fiona/src/userconfig.h
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/defaults.sh
branches/synchronous_controllability/fiona/tests/extrema.sh
branches/synchronous_controllability/fiona/tests/extrema/all_final_marking.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/empty.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/filename WiTh
SpaCeS.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/multiple_input.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/multiple_input_multiple_output.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/multiple_output.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/no_communication.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/no_final_marking.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/no_initial_marking.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/no_initial_marking2.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/one_input.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/one_input_2.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/one_input_marked.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/one_input_one_output.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/one_output.owfn.png
branches/synchronous_controllability/fiona/tests/extrema/one_output_marked.owfn.png
branches/synchronous_controllability/fiona/tests/falseannos.sh
branches/synchronous_controllability/fiona/tests/matching.sh
branches/synchronous_controllability/fiona/tests/matching/interface_rcv-a_snd-by.owfn.png
branches/synchronous_controllability/fiona/tests/matching/interface_rcv-ax_snd-b.owfn.png
branches/synchronous_controllability/fiona/tests/matching/shop.og
branches/synchronous_controllability/fiona/tests/matching/shop_rednodes.og
branches/synchronous_controllability/fiona/tests/messagebound.sh
branches/synchronous_controllability/fiona/tests/minimize.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.png
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol3.unf.owfn.png
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol4.unf.owfn.png
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol5.unf.owfn.png
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol6.unf.owfn.png
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol7.unf.owfn.png
branches/synchronous_controllability/fiona/tests/philosophers/phcontrol8.unf.owfn.png
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/samples/keesCoffee_condition.owfn.png
branches/synchronous_controllability/fiona/tests/samples/myCoffee.owfn.png
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/slistcheck.cc
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.
