Author: weinberg
Date: Mon Sep 14 13:41:43 2009
New Revision: 4700

URL: http://svn.gna.org/viewcvs/service-tech?rev=4700&view=rev
Log:
* did a lot of refactoring, moved functions/ attributes of StoredKnowledge to 
Knowledge
* made some code in Knowledge.cc more robust (usage of std::map)
* hopefully, increased code coverage by adding test cases for checking 
synchronous communication together with livelock freedom and reduction rule 
"quit as soon as possible"

Added:
    trunk/wendy/tests/testfiles/genericSynchLFQAP.owfn
Modified:
    trunk/wendy/ChangeLog
    trunk/wendy/NEWS
    trunk/wendy/doc/ChangeLog.texi
    trunk/wendy/src/Knowledge.cc
    trunk/wendy/src/Knowledge.h
    trunk/wendy/src/StoredKnowledge.cc
    trunk/wendy/src/StoredKnowledge.h
    trunk/wendy/src/main.cc
    trunk/wendy/tests/Makefile.am
    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.

Reply via email to