Author: niels Date: Fri Apr 2 19:13:47 2010 New Revision: 5586 URL: http://svn.gna.org/viewcvs/service-tech?rev=5586&view=rev Log: Wendy Version 3.0 (2 April 2010) ================================
* implemented parameter `--pnml' to read a PNML file format * moved the utility to minimize operating guidelines to the `ogapi' trunk (see `http://svn.gna.org/viewcvs/service-tech/trunk/ogapi/') * added a tool paper with a case study (see `doc/toolpaper.pdf') * Wendy now checks whether it can use an installed version of the Petri Net API (`libpnapi') and only compiles its shipped version (see `libs/pnapi') if the installed version is missing, the installed version cannot be linked (e.g., due to a wrong architecture), or the configure script option `--without-pnapi' is used. * added a parameter `-r'/`--resultFile' to write all analysis results into a single file in the file format of libconfig (see `http://www.hyperrealm.com/libconfig') * fixed bug #15385 (see `https://gna.org/bugs/?15385'): runtime output using the `--stats' crashed under certain Linux systems * updated to Petri Net API 4.00 (revision r5519) Modified: trunk/wendy/ChangeLog trunk/wendy/NEWS trunk/wendy/configure.ac trunk/wendy/doc/ChangeLog.texi trunk/wendy/doc/toolpaper.pdf -- 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.
