README.md: update title
[model-checker.git] / params.h
2013-05-31 Brian Norrisparams: add multi-level verbosity
2013-05-06 Brian Demskyadd traceanalysis support
2013-04-18 Brian DemskyAdd yield block support. The idea is to not generate...
2013-04-16 Brian NorrisMerge cleanup code from Brian N.
2013-04-15 Brian Norrisparams: move model_params to header file