model: add some mo_graph fixup code to work_queue
[model-checker.git] / snapshot.h
2012-08-02 Brian Demskymove more configurables and add documentation
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 Norrissnapshot: switch back to mprotect-based snapshotting
2012-06-14 Subramanian Ganapathy(snapshot) removing mbFinalize and usage of finalize
2012-06-14 Brian Norrissnapshot: remove 'extern "C"' block
2012-06-06 Brian Demskymore documentation
2012-06-04 Brian DemskyChanges needed to run on OS X... Example runs on my...
2012-05-31 Brian Norrissnapshot: remove duplicate definition of finalize()
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-30 Brian Norrissnapshot: rename MyFuncPtr to VoidFuncPtr
2012-05-30 Brian Norrissnapshot: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT
2012-05-24 Brian Demskywow, this is a nasty bug...
2012-05-24 Brian Demskyfactor page alignment into function call...place near...
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-19 Brian Demskylet us set the size of the heap in a sane way
2012-05-19 Brian Demskysetup main wrapper and then call into norris code
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-15 Subramanian GanapathyDefining the interfaces to add various regions to snapshot
2012-05-09 Subramanian GanapathyAdding STL stuff and operator news of snapshot to model...