Author: niels Date: Wed Oct 22 13:42:50 2008 New Revision: 3512 URL: http://svn.gna.org/viewcvs/service-tech?rev=3512&view=rev Log: LoLA Version 1.03 =================
* fixed bug #12302 (`https://gna.org/bugs/?12302'): LoLA: Uneinheitliche bzw. falsche Rückgabewerte bei `MODELCHECKING', LoLA now returns the result via the `_exit' command * added directory `patches' collecting some unpublished adjustments * fixed bug #12063 (`https://gna.org/bugs/?12063'): `LIVEPROP' now works without crashing * added a test case `umlprocess' to avoid regression of bug #12063 (`https://gna.org/bugs/?12063') * out-commented `TWOPHASE' in `userconfig.H' for liveprop test * fixed bug #12061 (`https://gna.org/bugs/?12061'): `BOUNDEDNET' now works without crashing * added a test case `unbounded' to avoid regression of bug #12061 (`https://gna.org/bugs/?12061') * updated the documentation - integrated first parts of `http://wwwteo.informatik.uni-rostock.de/ls_tpp/lola/' * the files `ChangeLog' and `NEWS' are now generated from the file `doc/ChangeLog.texi' as it is done in Rachel or BPEL2oWFN * renamed Makefile target `cvs-clean' to `svn-clean' * tidied the configure script and removed unnecessary checks * set bug reporting address to <[EMAIL PROTECTED]> * added command line parameters for the `configure' script: * `--disable-assert' to disable assertions (enabled by default) * `--enable-64bit' to build for a 64 bit architecture such as x86_64 or ppc64 (disabled by default) * `--enable-universal' to build a Mac Universal binary which is executable on Intel and Power PC platforms (disabled by default) * `--enable-win32' to build a Windows binary that is independent of a local Cygwin installation (disabled by default) * updated documentation - took text from `http://wwwteo.informatik.uni-rostock.de/ls_tpp/lola' Modified: trunk/lola/ChangeLog trunk/lola/Makefile.am trunk/lola/NEWS trunk/lola/configure.ac trunk/lola/doc/ChangeLog.texi trunk/lola/doc/Makefile.am trunk/lola/doc/lola.texi trunk/lola/src/userconfig.H -- 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.
