README: more formatting, correct statement about bench.sh
[model-checker.git] / snapshot-interface.h
2013-01-03 Brian Norrissnapshot: more renaming
2013-01-03 Brian Norrissnapshot: turn C++ interface into C interface
2013-01-03 Brian Norrisfixup style
2012-10-03 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian Norrissnapshot: rename 'SnapShot' -> 'Snapshot'
2012-07-12 Brian NorrisMerge branch 'master' into brian
2012-07-11 Brian Norrisremove EOL spaces, fix indentation
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-21 Brian NorrisMerge branch 'sandbox' (remove finalize())
2012-06-14 Subramanian Ganapathy(snapshot) removing mbFinalize and usage of finalize
2012-06-14 Brian Norrissnapshot-interface: don't export SnapshotGlobalSegments()
2012-06-06 Brian Demskymore documentation
2012-05-31 Subramanian GanapathyAdding fixes for the fork based implementation, also...
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-05-30 Brian Norrissnapshot: move declarations to the right interface...
2012-05-26 Brian Norrisrename snapshotStack -> SnapshotStack
2012-05-26 Brian Norrissnapshot-interface: cleanup interface header
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-19 Brian Demskymy changes
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-15 Brian Demskyfix this stuff...
2012-05-15 Subramanian GanapathyDefining the interfaces to add various regions to snapshot
2012-05-10 Subramanian GanapathyAdding support to return global segments of the process...