towards supporting scanalysis...
[model-checker.git] / snapshot-interface.cc
2013-03-07 Brian Norrisbugfix - add stl-model.h wrappers, to provide more...
2013-01-03 Brian Norrissnapshot-interface: bugfix - reorder constructor params
2013-01-03 Brian Norrissnapshot-interface: rename, clean up
2013-01-03 Brian Norrissnapshot-interface: change hand-coded stack to vector
2013-01-03 Brian Norrissnapshot: turn C++ interface into C interface
2013-01-03 Brian Norrisfixup style
2013-01-03 Brian Norrissnapshot: more renaming
2013-01-03 Brian Norrisfixup style
2012-12-11 Brian Norrisinclude the correct standard headers
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-11-14 Brian Norrissnapshot: find the correct binary name
2012-11-14 Brian Norrissnapshot: read from /proc/self/maps
2012-11-04 Brian NorrisMerge branch 'master' into pldi13
2012-11-03 Brian Norrissnapshot: find the correct binary name
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-03 Brian Norrissnapshot: read from /proc/self/maps
2012-10-02 Brian Norrisrename MYFREE -> model_free
2012-10-02 Brian Norrisrename MYMALLOC -> model_malloc
2012-09-07 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-09-06 Brian NorrisMerge branch 'norris'
2012-09-06 Brian Norrissnapshot-interface: debug prints: lengthen the "regionn...
2012-08-02 Brian NorrisMerge branch 'brian'
2012-08-02 Brian Demskybug fix
2012-08-02 Brian Norristrivial - whitespace, debugging cleanup, etc.
2012-08-02 Brian DemskyAdd RMW support to core.
2012-07-12 Brian Norrisreformat some doxygen comments, remove newlines
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-14 Brian Norrissnapshot-interface: don't export SnapshotGlobalSegments()
2012-06-06 Brian Demskymore documentation
2012-06-04 Brian DemskyChanges needed to run on OS X... Example runs on my...
2012-06-04 Brian Demskyhack some stuff towards running on mac... unrelated...
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-05-30 Brian Norrissnapshot-interface: replace Subramanian's /proc/*/maps...
2012-05-29 Brian Norrissnapshot-interface: don't redefine PAGESIZE
2012-05-29 Brian Norrissnapshot-interface: bugfix - fixup array indeces
2012-05-26 Brian Norrisrename snapshotStack -> SnapshotStack
2012-05-26 Brian Norrissnapshot-interface: cleanup interface header
2012-05-24 Brian Demskyfix one segfault bug...something is still strange,...
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-21 Brian Norrissnapshot: remove references to libmymemory.so
2012-05-21 Brian Norrissnapshot: move local defines after #includes
2012-05-21 Brian Demskyremove lines from other files
2012-05-21 Brian Demskyswitch back to norris style spacing in changed files
2012-05-19 Brian Demskymy changes
2012-05-19 Brian Demskylet us set the size of the heap in a sane way
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...