Author: gierds
Date: Mon Jul 28 10:47:04 2008
New Revision: 3174
URL: http://svn.gna.org/viewcvs/service-tech?rev=3174&view=rev
Log:
+ zwei neue Features testweise in den Adapterbranch eingefügt
(wird hier noch stärker getestet und dann in den Hauptzweig gemerged):
- NOFINALMARKING als neues Schlüsselwort im oWFN-Formal
(siehe task #6101 [https://gna.org/task/?6101])
- Strukturelle Reduktion in PNapi erweitert
(siehe task #6100 [https://gna.org/task/?6100])
Modified:
branches/adapter_synthesis/fiona/configure.ac
branches/adapter_synthesis/fiona/doc/texinfo.tex
branches/adapter_synthesis/fiona/src/AnnotatedGraph.cc
branches/adapter_synthesis/fiona/src/AnnotatedGraph.h
branches/adapter_synthesis/fiona/src/CommunicationGraph.cc
branches/adapter_synthesis/fiona/src/adapter.cc
branches/adapter_synthesis/fiona/src/lexer_og.ll
branches/adapter_synthesis/fiona/src/lexer_owfn.ll
branches/adapter_synthesis/fiona/src/main.cc
branches/adapter_synthesis/fiona/src/options.cc
branches/adapter_synthesis/fiona/src/owfn.cc
branches/adapter_synthesis/fiona/src/owfn.h
branches/adapter_synthesis/fiona/src/owfnTransition.cc
branches/adapter_synthesis/fiona/src/pnapi/helpers.cc
branches/adapter_synthesis/fiona/src/pnapi/helpers.h
branches/adapter_synthesis/fiona/src/pnapi/petrinet-output.cc
branches/adapter_synthesis/fiona/src/pnapi/petrinet-reduction.cc
branches/adapter_synthesis/fiona/src/pnapi/petrinet.cc
branches/adapter_synthesis/fiona/src/pnapi/petrinet.h
branches/adapter_synthesis/fiona/src/pnapi/pnapi.h
branches/adapter_synthesis/fiona/src/stg2owfn.cc
branches/adapter_synthesis/fiona/src/syntax_og.yy
branches/adapter_synthesis/fiona/src/syntax_owfn.yy
branches/adapter_synthesis/fiona/tests/Makefile.am
branches/adapter_synthesis/fiona/tests/falseannos/bluefalsenode.expected.og
branches/adapter_synthesis/fiona/tests/falseannos/shorten.expected.og
branches/adapter_synthesis/fiona/tests/oWFNreduction.sh
branches/adapter_synthesis/fiona/tests/productog/1x2.expected.og
branches/adapter_synthesis/fiona/tests/samples/keesCoffee_condition.owfn.png
branches/adapter_synthesis/fiona/tests/samples/myCoffee.owfn.png
branches/adapter_synthesis/fiona/tests/syntax/formula.owfn.expected.og
--
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.
