Author: niels Date: Thu Aug 13 15:24:55 2009 New Revision: 4571 URL: http://svn.gna.org/viewcvs/service-tech?rev=4571&view=rev Log: Wendy Version 1.8 =================
* implemented reduction rule "sequentializing receiving events" (parameter: `--seqReceivingEvents'): instead of receiving messages in any order, only one sequentialization is considered. (A similar rule is implemented in Fiona where receiving events where combined rather than sequentialized.) * implemented reduction rule "succeeding sending event" (parameter: `--succeedingSendingEvent'): once a sending event has led from the current knowledge to a valid successor knowledge, we do not consider any other sending event leaving the current knowledge * fixed `--bug' parameter which caused segmentation faults on some machines * added test cases for the reduction rules * imported fixed Petri Net API: bug #14116 (`https://gna.org/bugs/?14116') yielded incorrect results, because Wendy did not recognize unnormal input files Modified: trunk/wendy/ChangeLog trunk/wendy/NEWS trunk/wendy/configure.ac trunk/wendy/doc/ChangeLog.texi trunk/wendy/doc/wendy.texi trunk/wendy/tests/testsuite.at -- 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.
