Author: rimueller
Date: Tue Apr 7 12:56:49 2009
New Revision: 4049
URL: http://svn.gna.org/viewcvs/service-tech?rev=4049&view=rev
Log:
- fixed bug#12901 (see https://gna.org/bugs/?12901 for details):
wrote workaround for some tests
- fixed bug#12589 (see https://gna.org/bugs/?12589 for details)
- fixed bug#12756 (see https://gna.org/bugs/?12756 for details)
- refactored adapter synthesis algorithm
- implemented partial communication flow
- added tests for partial communication flow
Added:
trunk/fiona/tests/adapter/
trunk/fiona/tests/adapter.sh (with props)
trunk/fiona/tests/adapter/coffee_disjoint.owfn
trunk/fiona/tests/adapter/coffee_joint.owfn
trunk/fiona/tests/adapter/machine_disjoint.owfn
trunk/fiona/tests/adapter/machine_joint.owfn
trunk/fiona/tests/adapter/vending_disjoint.ar
trunk/fiona/tests/adapter/vending_joint.ar
trunk/fiona/tests/adapter/vending_partial0_disjoint.ar
trunk/fiona/tests/adapter/vending_partial1_disjoint.ar
trunk/fiona/tests/adapter/vending_partial2_disjoint.ar
Modified:
trunk/fiona/src/adapter.cc
trunk/fiona/src/adapter.h
trunk/fiona/src/lexer_adapt_rules.ll
trunk/fiona/src/main.cc
trunk/fiona/src/options.cc
trunk/fiona/src/options.h
trunk/fiona/src/owfn.cc
trunk/fiona/src/owfnTransition.cc
trunk/fiona/src/syntax_adapt_rules.yy
trunk/fiona/src/syntax_owfn.yy
trunk/fiona/tests/Makefile.am
trunk/fiona/tests/matching.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.
