Author: niels Date: Wed Jul 23 09:35:06 2008 New Revision: 94 URL: http://svn.gna.org/viewcvs/service-tech?rev=94&view=rev Log: LoLA Version 1.01 ================= + fixed bug #12062 <http://gna.org/bugs/?12062> + added Makefile target "cvs-clean" that removes all files that can be rebuilt by "autoreconf -iv" + the information gathered by the configure script is now collected in a header file "src/config.H" + tidied Makefiles + added a testsuite (invoked by Makefile target "check") consisting of + the Dining Philosophers + the Echo Algorithm (currently not used) + a business process translated from a UML specification + an AI planning problem + added the documentation from <http://www.informatik.hu-berlin.de/~kschmidt/doku.ps> + added a (undocumented) command line parameter "--bug" for debug purposes
WARNING! This is not an official release version of LoLA. For an official release, visit <http://service-technology.org/lola>. Added: trunk/lola/ trunk/lola/AUTHORS trunk/lola/ChangeLog trunk/lola/Makefile.am trunk/lola/NEWS trunk/lola/README trunk/lola/configure.ac trunk/lola/doc/ trunk/lola/doc/lola.ps trunk/lola/src/ trunk/lola/src/Makefile.am trunk/lola/src/check.H trunk/lola/src/check.cc trunk/lola/src/dimensions.H trunk/lola/src/dimensions.cc trunk/lola/src/formula.H trunk/lola/src/formula.cc trunk/lola/src/graph.H trunk/lola/src/graph.cc trunk/lola/src/net.H trunk/lola/src/net.cc trunk/lola/src/path.H trunk/lola/src/path.cc trunk/lola/src/printnet.H trunk/lola/src/printnet.cc trunk/lola/src/readnet-lexic.ll trunk/lola/src/readnet-syntax.yy trunk/lola/src/structure.H trunk/lola/src/stubborn.H trunk/lola/src/stubborn.cc trunk/lola/src/sweep.H trunk/lola/src/sweep.cc trunk/lola/src/symboltab.H trunk/lola/src/symboltab.cc trunk/lola/src/symm.H trunk/lola/src/symm.cc trunk/lola/src/tinv.H trunk/lola/src/tinv.cc trunk/lola/src/unfold.H trunk/lola/src/unfold.cc trunk/lola/src/userconfig.H trunk/lola/tests/ trunk/lola/tests/Makefile.am trunk/lola/tests/nets/ trunk/lola/tests/nets/echo.lola trunk/lola/tests/nets/echo.userconfig.H.deadlock trunk/lola/tests/nets/phils.lola trunk/lola/tests/nets/phils.userconfig.H.deadlock trunk/lola/tests/nets/planner.lola trunk/lola/tests/nets/planner.task trunk/lola/tests/nets/planner.userconfig.H.statepredicate trunk/lola/tests/nets/process.lola trunk/lola/tests/nets/process.task trunk/lola/tests/nets/process.userconfig.H.modelchecking trunk/lola/tests/test_init (with props) trunk/lola/tests/test_phils (with props) trunk/lola/tests/test_planner (with props) trunk/lola/tests/test_process (with props) trunk/lola/tests/test_tidy (with props) -- 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.
