Author: gierds Date: Fri Sep 18 23:23:23 2009 New Revision: 4733 URL: http://svn.gna.org/viewcvs/service-tech?rev=4733&view=rev Log: Version 1.1 ===========
* changed behavior concerning prefixes: default is no prefixes added to the nets, `--with-prefix' adds a unique prefix to each read net. (parameter for invoking prefixes is `--withprefix') * added parameter `--engineonly' to get only the engine part of an adapter * composition of controller and engine works now (see bug #13968, `https://gna.org/bugs/?13968') * switched off redution rule `conflictfree transitions' due to counterexamples by Arjan Modified: trunk/marlene/ChangeLog trunk/marlene/NEWS trunk/marlene/configure.ac trunk/marlene/doc/ChangeLog.texi trunk/marlene/libs/pnapi/automaton.cc trunk/marlene/libs/pnapi/automaton.h trunk/marlene/libs/pnapi/io-format.cc trunk/marlene/libs/pnapi/parser.cc trunk/marlene/libs/pnapi/petrinet-petrify.cc trunk/marlene/libs/pnapi/petrinet.cc trunk/marlene/libs/pnapi/petrinet.h trunk/marlene/src/Output.cc trunk/marlene/src/adapter.cc trunk/marlene/src/cmdline.ggo trunk/marlene/src/marlene.conf.in -- 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.
