pepmc: Summary

description	Parameter Estimation by Parametrized Model Checking (PEPMC) tool developed as a part of my participation in the Systems Biology laboratory at Faculty of Informatics, Masaryk University.
owner	unknown
last change	Thu, 24 Jun 2010 12:48:49 +0200

23 months ago	Martin Vejnar	Set processor affinity on Linux to get good multithreaded performance. default tip	changeset \| files
23 months ago	Martin Vejnar	Removed initial condition from model_small_fa1.	changeset \| files
23 months ago	Martin Vejnar	Now using simple barriers to synchronize threads in succ.	changeset \| files
23 months ago	Martin Vejnar	Added printing of BFS levels.	changeset \| files
23 months ago	Martin Vejnar	Removed trailing whitespace.	changeset \| files
23 months ago	Martin Vejnar	Fixed printing of self-loop counterexamples.	changeset \| files
23 months ago	Martin Vejnar	Fixed self loop in synchronous product.	changeset \| files
23 months ago	Martin Vejnar	merge	changeset \| files
23 months ago	Martin Vejnar	Fixed the error in paramset::remove_cut.	changeset \| files
23 months ago	Martin Vejnar	Fixed the deadlock in succ again.	changeset \| files
...

23 months ago	afce36436b43	default	changeset \| changelog \| files
...