Author: niels Date: Mon Nov 9 11:14:30 2009 New Revision: 4997 URL: http://svn.gna.org/viewcvs/service-tech?rev=4997&view=rev Log: Wendy Version 2.4 =================
* added target for benchmarks (execute `make bench -C tests') * implemented new 3-bit representation: at `T' bit is necessary to correctly cope with "true"-annotated nodes - renamed `2bits' option to `bits' * removed explicit `std::flush' calls * colored status messages * fixed bug #14693 (`https://gna.org/bugs/?14693'): wrong propagation of final states yielded wrong results for livelock freedom Modified: trunk/wendy/ChangeLog trunk/wendy/NEWS trunk/wendy/configure.ac trunk/wendy/doc/ChangeLog.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.
