Author: fahland
Date: Thu Oct 23 12:05:59 2008
New Revision: 3524
URL: http://svn.gna.org/viewcvs/service-tech?rev=3524&view=rev
Log:
+ Changed the standard soundness verification procedures to the more efficient
liveness property verification algorithm of LoLA. To use the old CTL model
checking procedures use parameter `-p ctl'.
Modified:
trunk/uml2owfn_soundness2/ChangeLog
trunk/uml2owfn_soundness2/NEWS
trunk/uml2owfn_soundness2/doc/ChangeLog.texi
trunk/uml2owfn_soundness2/doc/uml2owfn.texi
trunk/uml2owfn_soundness2/scripts/Makefile
trunk/uml2owfn_soundness2/src/options.cc
trunk/uml2owfn_soundness2/src/options.h
trunk/uml2owfn_soundness2/src/uml2owfn.cc
trunk/uml2owfn_soundness2/tests/compiler_allformats.sh
trunk/uml2owfn_soundness2/tests/compiler_soundness.sh
--
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.
