fix missing atomic...
[model-checker.git] / snapshotimp.h
2012-08-02 Brian Demskytrying to get fork based snapshotting to work
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 Norrissnapshotimp: reindent file
2012-06-14 Brian Norrissnapshot: define macros with type size_t
2012-06-14 Brian Norrissnapshot: use (void *) instead of (char *)
2012-06-14 Brian Norrissnapshot: don't export page-aligning functions
2012-06-14 Brian Norrisrename struct Snapshot_t => struct Snapshot
2012-06-06 Brian Demskymore documentation
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-05-30 Brian Norrissnapshot: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT
2012-05-25 Brian Norrissnapshot: remove time information
2012-05-24 Brian Demskyfactor page alignment into function call...place near...
2012-05-21 Brian Norrissnapshot: use 'SSDEBUG', not 'DEBUG'
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-09 Subramanian GanapathyAdding STL stuff and operator news of snapshot to model...