Author: fahland
Date: Sun Mar 15 00:58:44 2009
New Revision: 4000
URL: http://svn.gna.org/viewcvs/service-tech?rev=4000&view=rev
Log:
* Added `./lola/Makefile' to automatically create all LoLA binaries needed for
soundness analysis. Prepared a sample translation and analysis scenario.
* uml2owfn v2.00 release
Added:
trunk/uml2owfn/lola/Makefile.am
Modified:
trunk/uml2owfn/ChangeLog
trunk/uml2owfn/Makefile.am
trunk/uml2owfn/NEWS
trunk/uml2owfn/configure.ac
trunk/uml2owfn/doc/ChangeLog.texi
trunk/uml2owfn/doc/uml2owfn.texi
trunk/uml2owfn/scripts/Makefile
trunk/uml2owfn/src/internal-representation.cc
trunk/uml2owfn/src/internal-representation.h
trunk/uml2owfn/src/uml2owfn.cc
trunk/uml2owfn/tests/compiler/TestSuite.xml
trunk/uml2owfn/tests/compiler_soundness.sh
trunk/uml2owfn/tests/soundness/TestSuite_soundness.txt
trunk/uml2owfn/tests/soundness/TestSuite_soundness.xml
--
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.
