nodestack: localize the model-checker parameters
[model-checker.git] / scanalysis.cc
2013-04-16 Brian Norrisscanalysis: allocate structures as true members of...
2013-04-16 Brian Norrisscanalysis: fixup spacing
2013-04-16 Brian NorrisMerge cleanup branch
2013-04-16 Brian Norrisscanalysis: use ModelExecution interfaces
2013-04-16 Brian Norrisscanalysis: install ModelExecution object in the analysis
2013-04-16 Brian NorrisMerge cleanup code from Brian N.
2013-04-15 Brian Demskyfix weird duplicated code
2013-04-15 Brian Norrisscanalysis: fix warning
2013-04-15 Brian Norrisscanalysis: remove whitespace
2013-04-14 Brian Demskyclean up printing a little for cycle cases...
2013-04-13 Brian Demskymore implementation of scanalysis...
2013-04-13 Brian Demskymore implementation of scanalysis...
2013-04-13 Brian Demskytowards supporting scanalysis...
2013-04-13 Brian Demskyadd some support for traceanalysis plugins