Author: niels
Date: Wed Aug 26 10:11:51 2009
New Revision: 4655
URL: http://svn.gna.org/viewcvs/service-tech?rev=4655&view=rev
Log:
LoLA Version 1.13
=================
* fixed a small bug in the `PREDUCTION' mode: nets without significant places
are now analyzed instantly
* added new scripts to build binary releases
* a binary release consists of the following pre-configured LoLAs: lola-full,
lola-full1, lola-deadlock, lola-deadlock1, lola-modelchecking,
lola-boundednet, lola-liveprop, lola-liveprop1, lola-statepredicate, and
lola-statepredicate1
* changed the way tests are run (using GNU Autotest now)
Modified:
trunk/lola/ChangeLog
trunk/lola/NEWS
trunk/lola/configure.ac
trunk/lola/doc/ChangeLog.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.
