towards supporting scanalysis...
[model-checker.git] / mymemory.cc
2013-04-02 Brian Norrismymemory: fix compiling with !USE_MPROTECT_SNAPSHOT
2013-03-09 Brian Norrismymemory: enforce that user allocations come from user...
2013-03-09 Brian Norrismymemory, threads: add allocator specifically for Thread
2013-01-03 Brian Norrisdissolve snapshotimp.h
2013-01-03 Brian Norrismymemory/snapshot: rearrange snapshot implementation
2013-01-03 Brian Norrisfixup style
2012-12-11 Brian Norrisinclude the correct standard headers
2012-11-16 Brian Norrisprintf -> model_print
2012-10-08 Brian Norrismymemory: add SnapshotAlloc STL allocator
2012-10-08 Brian Norrismymemory: implement snapshot_*() allocations on model...
2012-10-08 Brian Norrismymemory: add basic model_snapshot_space
2012-10-08 Brian Norrisrename again (snapshot_space -> user_snapshot_space)
2012-10-08 Brian Norrismymemory: kill system_malloc()
2012-10-08 Brian Norrissnapshot: don't need any snapshotting space for fork...
2012-10-08 Brian Norrisrename 'mySpace' to 'snapshot_space'
2012-10-08 Brian Norrismymemory: make DontFree() static
2012-10-08 Brian Norrismymemory: reformat spacing
2012-10-08 Brian Norrismymemory: kill system_free()
2012-10-08 Brian Norrissnapshot: remove global 'basemySpace'
2012-10-03 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian Norrismymemory: reword comments
2012-10-03 Brian Norrismymemory: make snapshot_{malloc,calloc,free} externally...
2012-10-03 Brian Demskymissing change
2012-10-03 Brian Demskymspace_malloc will call into mmap if it runs out of...
2012-10-03 Brian Demskyrandom memory leak fixes and memory access fixes
2012-10-02 Brian Norrisrename MYFREE -> model_free
2012-10-02 Brian Norrisrename MYCALLOC -> model_calloc
2012-10-02 Brian Norrisrename MYMALLOC -> model_malloc
2012-08-02 Brian Demskymore hashtable fixes
2012-08-02 Brian Demskyswitch everything over to our own hashtable
2012-08-02 Brian Demskytrying to get fork based snapshotting to work
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-18 Brian Demskybuilds
2012-06-15 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-15 Brian Demskysubramanian lied when he said he fixed these...
2012-06-14 Brian Norrisrename struct Snapshot_t => struct Snapshot
2012-06-14 Subramanian GanapathyRemoving comment asking to fix fork(), has been fixed now
2012-06-14 Subramanian Ganapathyfixing calloc(), fix Makefile
2012-06-06 Brian Demskymore documentation
2012-05-31 Brian Norrisuse EXIT_SUCCESS and EXIT_FAILURE
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: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT
2012-05-25 Brian Norrismymemory: use the right *&^% allocator!!
2012-05-24 Brian Demskyfix page alignment issue...
2012-05-21 Brian NorrisMerge commit: branch 'work'
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 Demskyremove unused #define
2012-05-19 Brian Demskylet us set the size of the heap in a sane way
2012-05-18 Brian Demskytransfer stuff
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...