http://www.ratatanek.cz/hg/pepmc/ en-us pepmc Changelog pepmc Changelog Set processor affinity on Linux to get good multithreaded performance. http://www.ratatanek.cz/hg/pepmc/rev/afce36436b43 Martin Vejnar <avakar@ratatanek.cz> Thu, 24 Jun 2010 12:48:49 +0200 Removed initial condition from model_small_fa1. http://www.ratatanek.cz/hg/pepmc/rev/6e8ed21dbde1 Martin Vejnar <avakar@ratatanek.cz> Thu, 24 Jun 2010 12:44:09 +0200 Now using simple barriers to synchronize threads in succ. http://www.ratatanek.cz/hg/pepmc/rev/369ed38dcdba Martin Vejnar <avakar@ratatanek.cz> Wed, 23 Jun 2010 12:48:59 +0200 Added printing of BFS levels. http://www.ratatanek.cz/hg/pepmc/rev/49bac7415434 Martin Vejnar <avakar@ratatanek.cz> Wed, 16 Jun 2010 22:56:29 +0200 Removed trailing whitespace. http://www.ratatanek.cz/hg/pepmc/rev/ca7f98e893bb Martin Vejnar <avakar@ratatanek.cz> Wed, 16 Jun 2010 22:55:35 +0200 Fixed printing of self-loop counterexamples. http://www.ratatanek.cz/hg/pepmc/rev/6970c07a299d Martin Vejnar <avakar@ratatanek.cz> Wed, 16 Jun 2010 22:55:08 +0200 Fixed self loop in synchronous product. http://www.ratatanek.cz/hg/pepmc/rev/76ff0c5babb9 Martin Vejnar <avakar@ratatanek.cz> Wed, 16 Jun 2010 22:53:04 +0200 merge http://www.ratatanek.cz/hg/pepmc/rev/39130dc41912 Martin Vejnar <avakar@ratatanek.cz> Wed, 16 Jun 2010 22:20:07 +0200 Fixed the error in paramset::remove_cut. http://www.ratatanek.cz/hg/pepmc/rev/f7b17cb86963 Martin Vejnar <avakar@ratatanek.cz> Wed, 16 Jun 2010 22:19:21 +0200 Fixed the deadlock in succ again. http://www.ratatanek.cz/hg/pepmc/rev/6bd06180afed Martin Vejnar <avakar@ratatanek.cz> Mon, 14 Jun 2010 17:12:46 +0200