Author: niels Date: Wed Aug 26 11:09:07 2009 New Revision: 4657 URL: http://svn.gna.org/viewcvs/service-tech?rev=4657&view=rev Log: Wendy Version 2.0 =================
* removed parameter `--noDeadlockDetection' * reorganized internal livelock detection; avoided additional bit to be stored for each internal marking * fixed bug #14166 (`https://gna.org/bugs/?14166'): adding dead dummy transition to avoid parser errors from LoLA * added scripts to use LCOV (`http://ltp.sourceforge.net/coverage/lcov.php') to determine test case coverage (use `make cover' in `tests' directory) * added test cases to test Wendy's integration into Mia (`http://service-technology.org/mia') * solved task #6701 (`https://gna.org/task/?6701'): output files (including temporary files) are now organized by dedicated class; `mktemp' function is used due to portability issues * output can be piped to standard output (`stdout') by using the filename `-'; example: `wendy file.owfn --og=-' * generated temporary files are deleted if the `--clean' parameter is given * fixed bug #14158 (`https://gna.org/bugs/?14158'): removed conflicts in graph grammar Added: trunk/wendy/tests/testfiles/sync_deadlock.owfn Modified: trunk/wendy/ChangeLog trunk/wendy/NEWS trunk/wendy/REQUIREMENTS trunk/wendy/configure.ac trunk/wendy/doc/ChangeLog.texi trunk/wendy/doc/wendy.texi trunk/wendy/src/cmdline.ggo trunk/wendy/src/lexic_graph.ll trunk/wendy/src/syntax_graph.yy 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.
