Author: weinberg
Date: Thu Aug 28 14:23:46 2008
New Revision: 3291
URL: http://svn.gna.org/viewcvs/service-tech?rev=3291&view=rev
Log:
+ task #6144 (https://gna.org/task/?6144): "Fiona: Erzeugung von "responsive"
Partnern"
* branch in Hauptzweig ge-"merged"
Added:
trunk/fiona/tests/responsive/
- copied from r3262, trunk/fiona_responsive/tests/responsive/
trunk/fiona/tests/responsive.sh
- copied, changed from r3262, trunk/fiona_responsive/tests/responsive.sh
trunk/fiona/tests/responsive/2_TSCCs_in_1_node_with_communication_1.owfn
- copied unchanged from r3290,
branches/responsive/fiona/tests/responsive/2_TSCCs_in_1_node_with_communication_1.owfn
trunk/fiona/tests/responsive/2_TSCCs_in_1_node_with_communication_2.owfn
- copied unchanged from r3290,
branches/responsive/fiona/tests/responsive/2_TSCCs_in_1_node_with_communication_2.owfn
trunk/fiona/tests/responsive/controllable_and_responsive_controllable.owfn
- copied unchanged from r3290,
branches/responsive/fiona/tests/responsive/controllable_and_responsive_controllable.owfn
trunk/fiona/tests/responsive/controllable_not_responsive_controllable.owfn
- copied unchanged from r3290,
branches/responsive/fiona/tests/responsive/controllable_not_responsive_controllable.owfn
trunk/fiona/tests/responsive/finalmarking_in_TSCC.owfn
- copied unchanged from r3290,
branches/responsive/fiona/tests/responsive/finalmarking_in_TSCC.owfn
Modified:
trunk/fiona/Makefile.am
trunk/fiona/src/AnnotatedGraph.cc
trunk/fiona/src/CommunicationGraph.cc
trunk/fiona/src/Graph.cc
trunk/fiona/src/GraphFormula.cc
trunk/fiona/src/GraphFormula.h
trunk/fiona/src/IG.cc
trunk/fiona/src/IG.h
trunk/fiona/src/Makefile.am
trunk/fiona/src/OG.cc
trunk/fiona/src/main.cc
trunk/fiona/src/options.cc
trunk/fiona/src/options.h
trunk/fiona/src/owfn.cc
trunk/fiona/src/owfn.h
trunk/fiona/src/state.cc
trunk/fiona/src/state.h
trunk/fiona/src/userconfig.h
trunk/fiona/tests/Makefile.am
trunk/fiona/tests/partner.sh
trunk/fiona/tests/samples.sh
trunk/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.
