mymemory: add SnapshotAlloc STL allocator
[c11tester.git] / mymemory.h
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: use snapshot_space only in mprotect-based
2012-10-08 Brian Norrisrename 'mySpace' to 'snapshot_space'
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: fix indentation for ModelAlloc
2012-10-03 Brian Norrisrename 'MyAlloc' to 'ModelAlloc'
2012-10-03 Brian Norrismymemory: define SNAPSHOTALLOC appropriately
2012-10-03 Brian Norrismymemory: make snapshot_{malloc,calloc,free} externally...
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-10-02 Brian Norrismymemory: add placeholder "snapshot_{calloc,malloc...
2012-08-02 Brian Demskyswitch everything over to our own hashtable
2012-07-12 Brian Norrisreformat some doxygen comments, remove newlines
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-21 Brian NorrisMerge branch 'sandbox' (remove finalize())
2012-06-15 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-15 Brian Norrisfixup some doc wording
2012-06-06 Brian Demskymore doc changes
2012-06-06 Brian Demskymore documentation
2012-05-31 Subramanian GanapathyAdding fixes for the fork based implementation, also...
2012-05-24 Brian Demskyfix page alignment issue...
2012-05-24 Brian Norrismymemory: define the "opposite" of MEMALLOC
2012-05-24 Brian Norrismymemory: include some spacing
2012-05-21 Brian Norrismymemory: fix indentation, spacing
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-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...