Author: niels Date: Tue Jul 29 16:35:10 2008 New Revision: 3182 URL: http://svn.gna.org/viewcvs/service-tech?rev=3182&view=rev Log: LoLA Version 1.02 ================= + fixed bug #12089 <https://gna.org/bugs/?12089> + added Makefile target "win-bin" that produces a Cygwin independent binary when compiling under Cygwin, helps to avoid bug #12071 <http://gna.org/bugs/?12071> + added a testcase "choreography" from a BPEL4Chor choreography using symmetries (see file "tests/nets/choreography.tar.gz" on how to create this file with BPEL2oWFN) + fixed bug #12097 <https://gna.org/bugs/?12097> + fixed bug #12109 <https://gna.org/bugs/?12109>
WARNING! This is not an official release version of LoLA. For an official release, visit <http://service-technology.org/lola>. Added: trunk/lola/tests/nets/choreography.lola trunk/lola/tests/nets/choreography.tar.gz (with props) trunk/lola/tests/nets/choreography.userconfig.H.deadlock trunk/lola/tests/nets/echo.task trunk/lola/tests/nets/echo.userconfig.H.modelchecking - copied, changed from r3170, trunk/lola/tests/nets/echo.userconfig.H.deadlock trunk/lola/tests/test_choreography (with props) Removed: trunk/lola/tests/nets/echo.userconfig.H.deadlock Modified: trunk/lola/ChangeLog trunk/lola/src/net.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.
