Author: niels Date: Tue Jul 21 12:21:23 2009 New Revision: 4457 URL: http://svn.gna.org/viewcvs/service-tech?rev=4457&view=rev Log: Wendy Version 1.6 =================
* fixed bug #13994 (`https://gna.org/bugs/?13994') - malicious root node (i.e., a root not with reachable deadlocks or message bound violation) was not detected * added more test cases for synchronous communication * added a utility to minimize operating guidelines (see `utils/minimize') - this is currently an adjusted branch of Rachel which needs some polishing towards the new file formats * added `--bug' option to create debug output * using generic functions to display verbose status messages * added status messages for nets with large inner state space Added: trunk/wendy/tests/testfiles/bug13994-1.owfn trunk/wendy/tests/testfiles/bug13994-2.owfn Modified: trunk/wendy/ChangeLog trunk/wendy/NEWS trunk/wendy/configure.ac trunk/wendy/doc/ChangeLog.texi trunk/wendy/doc/wendy.texi trunk/wendy/src/Makefile.am trunk/wendy/src/StoredKnowledge.cc trunk/wendy/src/cmdline.ggo trunk/wendy/src/main.cc trunk/wendy/tests/Makefile.am trunk/wendy/tests/testsuite.at -- 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.
