Author: gierds Date: Thu May 6 12:05:48 2010 New Revision: 5711 URL: http://svn.gna.org/viewcvs/service-tech?rev=5711&view=rev Log: Version 1.1-tscspecial ======================
Initially planned as 1.2 release, therefore lot of features in this version :) * support for different properties - default is deadlock, optional is livelock freedom * update to version 4.0 of PNAPI (nets no longer become unbounded when normalized, port support) * when building binary for Win32-Systems, path for temporary files is automatically set to %TEMP% * added experimental support for Candy (`http://service-technology.org/tools/candy') * added support for building controllers using Genet (which will be default, Petrify is still backup) * open nets with synchronous interface are now supported * to be more consistent, engine interface is partioned into ports * added initial CMake support (all rules, to build binaries, but no documentation or tests) * known issues: * cost-optimization is not fully working Modified: trunk/marlene/ChangeLog trunk/marlene/NEWS trunk/marlene/doc/ChangeLog.texi trunk/marlene/libs/pnapi/condition.cc trunk/marlene/libs/pnapi/condition.h trunk/marlene/libs/pnapi/formula.cc trunk/marlene/libs/pnapi/formula.h trunk/marlene/libs/pnapi/parser-owfn-wrapper.cc trunk/marlene/libs/pnapi/parser-pn-lexer.cc trunk/marlene/libs/pnapi/parser-pn.cc trunk/marlene/libs/pnapi/parser-pn.h trunk/marlene/libs/pnapi/parser-woflan-wrapper.cc trunk/marlene/libs/pnapi/parser-woflan-wrapper.h trunk/marlene/libs/pnapi/parser-woflan.cc trunk/marlene/libs/pnapi/parser-woflan.h trunk/marlene/libs/pnapi/petrinet-pn.cc trunk/marlene/libs/pnapi/petrinet-reduction.cc trunk/marlene/libs/pnapi/petrinet.cc trunk/marlene/libs/pnapi/petrinet.h trunk/marlene/src/adapter.cc trunk/marlene/src/cmdline.ggo -- 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.
