Author: niels Date: Sat Nov 21 17:28:29 2009 New Revision: 5067 URL: http://svn.gna.org/viewcvs/service-tech?rev=5067&view=rev Log: Wendy Version 2.5 (21 November 2009) ====================================
* Wendy expects LoLA to omit printing out statistical data; usage of LoLA 1.14 is required * fixed bug #14798 (see `https://gna.org/bugs/?14798'): smart sending is too strict (now fix of bug #14782 is obsolete and is handled with the new implementation) * fixed bug #14782 (see `https://gna.org/bugs/?14782'): smart sending event does not handle self loops of inner markings correctly * added an error message to avoid segmentation faults in case a marking has two outgoing transitions with the same synchronous label (see `https://gna.org/bugs/?14719') Modified: trunk/wendy/ChangeLog trunk/wendy/NEWS trunk/wendy/REQUIREMENTS trunk/wendy/configure.ac trunk/wendy/doc/ChangeLog.texi trunk/wendy/doc/wendy.texi trunk/wendy/src/InnerMarking.cc trunk/wendy/src/Knowledge.h trunk/wendy/src/lexic_graph.ll trunk/wendy/src/syntax_graph.yy -- 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.
