Author: niels
Date: Wed Feb 11 00:06:58 2009
New Revision: 3860
URL: http://svn.gna.org/viewcvs/service-tech?rev=3860&view=rev
Log:
* added `--enable-mpi' command line parameter for the `configure' script to
use MPI compiler wrappers instead of GCC (disabled by default)
* added an option `MAXIMALSTATES' to `userconfig.H': by defining this option
to a value, say 100000, LoLA will abort as soon as more than 100000 states
are processed; the exit code will be 5
* canonized LoLA's error messages
Added:
trunk/lola/src/configs/userconfig.H.bpm-liveprop
trunk/lola/src/configs/userconfig.H.bpm-liveprop1
trunk/lola/src/configs/userconfig.H.bpm-modelchecking
trunk/lola/src/configs/userconfig.H.bpm-modelchecking1
trunk/lola/src/configs/userconfig.H.bpm-statepredicate
trunk/lola/src/configs/userconfig.H.bpm-statepredicate1
trunk/lola/src/configs/userconfig.H.fulllimited
trunk/lola/tests/nets/echo.userconfig.H.limited
trunk/lola/tests/test_limited (with props)
Modified:
trunk/lola/ChangeLog
trunk/lola/NEWS
trunk/lola/doc/ChangeLog.texi
trunk/lola/doc/lola.texi
trunk/lola/src/Makefile.am
trunk/lola/src/check.cc
trunk/lola/src/cmdline.ggo
trunk/lola/src/graph.cc
trunk/lola/src/ltl.cc
trunk/lola/src/net.H
trunk/lola/src/net.cc
trunk/lola/src/path.cc
trunk/lola/src/readnet-lexic.ll
trunk/lola/src/readnet-syntax.yy
trunk/lola/src/sweep.cc
trunk/lola/src/unfold.cc
trunk/lola/src/userconfig.H
trunk/lola/tests/Makefile.am
--
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.
