Author: niels
Date: Wed Sep 16 10:46:55 2009
New Revision: 4709
URL: http://svn.gna.org/viewcvs/service-tech?rev=4709&view=rev
Log:
Wendy Version 2.2 (16 September 2009)
=====================================
* added test cases for checking synchronous communication together with
livelock freedom and reduction rule "quit as soon as possible" (parameter:
`--quitAsSoonAsPossible')
* added test cases to test Wendy's integration into Marlene
* no output files are created in case of uncontrollability (unless `--diagnose'
is given)
* implemented parameter `--stats' to display information on runtime and memory
consumption (the latter uses `ps' and does not work under Cygwin)
* `--verbose' is passed to LoLA
Modified:
trunk/wendy/ChangeLog
trunk/wendy/NEWS
trunk/wendy/configure.ac
trunk/wendy/doc/ChangeLog.texi
trunk/wendy/doc/wendy.texi
--
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.
