more implementation of scanalysis...
[model-checker.git] / cmodelint.cc
2013-02-20 Brian Norrisdon't include action.h from model.h
2012-12-12 Brian Norrismodel: return value from switch_to_master
2012-10-09 Brian Norrisrename threads.h -> threads-model.h
2012-10-04 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-03 Brian Norrismodeltypes: move small typedefs to own header
2012-09-14 Brian NorrisMerge branch 'norris'
2012-09-14 Brian Demsky(1) add actions for the fence
2012-08-02 Brian DemskyAdd documentation
2012-08-02 Brian Demskytowards making rmw work...
2012-08-02 Brian Norrispull in most of atomic header file