2020-09-16 |
weiyu | Add memmove and bzero |
blob | commitdiff | raw |
2020-09-15 |
weiyu | Fix a bug in memcpy, implement memset, and remove model... |
blob | commitdiff | raw | diff to current |
2020-09-15 |
weiyu | Try to catch data races for memcpy |
blob | commitdiff | raw | diff to current |
2020-09-05 |
weiyu | Change initialize a bit |
blob | commitdiff | raw | diff to current |
2019-12-10 |
weiyu | Merge branch 'master' into branch-weiyu |
blob | commitdiff | raw | diff to current |
2019-12-10 |
Brian Demsky | Merge branch 'branch-weiyu' of ssh://plrg.eecs.uci... |
blob | commitdiff | raw | diff to current |
2019-12-06 |
bdemsky | Remove mprotect snapshots |
blob | commitdiff | raw | diff to current |
2019-11-21 |
bdemsky | Merge branch 'master' of ssh://plrg.eecs.uci.edu:/home... |
blob | commitdiff | raw | diff to current |
2019-11-20 |
bdemsky | bug fix |
blob | commitdiff | raw | diff to current |
2019-11-20 |
bdemsky | Add datarace support for atomics and calloc |
blob | commitdiff | raw | diff to current |
2019-07-31 |
weiyu | merge |
blob | commitdiff | raw | diff to current |
2019-07-30 |
root | remove STL vector |
blob | commitdiff | raw | diff to current |
2019-07-08 |
weiyu | merge and resolve conflict |
blob | commitdiff | raw | diff to current |
2019-07-03 |
root | Fork handler mitigations |
blob | commitdiff | raw | diff to current |
2019-07-01 |
weiyu | fix git conflict |
blob | commitdiff | raw | diff to current |
2019-06-28 |
root | tabbing plus lots of memory fixes |
blob | commitdiff | raw | diff to current |
2019-06-28 |
root | towards not calling system malloc |
blob | commitdiff | raw | diff to current |
2019-06-26 |
Brian Demsky | Get gdax to not crash |
blob | commitdiff | raw | diff to current |
2019-06-26 |
root | Merge branch 'new_fuzzer' of /home/git/random-fuzzer... |
blob | commitdiff | raw | diff to current |
2019-06-26 |
root | changes |
blob | commitdiff | raw | diff to current |
2019-06-19 |
root | merge |
blob | commitdiff | raw | diff to current |
2019-06-14 |
weiyu | Merge branch 'new_fuzzer' of /home/git/random-fuzzer... |
blob | commitdiff | raw | diff to current |
2019-06-12 |
bdemsky | fix tabbing comment issue |
blob | commitdiff | raw | diff to current |
2019-06-11 |
bdemsky | fix tabbing |
blob | commitdiff | raw | diff to current |
2016-11-24 |
bdemsky | Work around changes in newer versions of glibc |
blob | commitdiff | raw | diff to current |
2015-12-17 |
bdemsky | Increase size of bootstrap bytes as some Linux distribu... |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Brian Norris | mymemory: fix compiling with !USE_MPROTECT_SNAPSHOT |
blob | commitdiff | raw | diff to current |
2013-03-09 |
Brian Norris | mymemory: enforce that user allocations come from user... |
blob | commitdiff | raw | diff to current |
2013-03-09 |
Brian Norris | mymemory, threads: add allocator specifically for Thread |
blob | commitdiff | raw | diff to current |
2013-01-03 |
Brian Norris | dissolve snapshotimp.h |
blob | commitdiff | raw | diff to current |
2013-01-03 |
Brian Norris | mymemory/snapshot: rearrange snapshot implementation |
blob | commitdiff | raw | diff to current |
2013-01-03 |
Brian Norris | fixup style |
blob | commitdiff | raw | diff to current |
2012-12-11 |
Brian Norris | include the correct standard headers |
blob | commitdiff | raw | diff to current |
2012-11-16 |
Brian Norris | printf -> model_print |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Brian Norris | mymemory: add SnapshotAlloc STL allocator |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Brian Norris | mymemory: implement snapshot_*() allocations on model... |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Brian Norris | mymemory: add basic model_snapshot_space |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Brian Norris | rename again (snapshot_space -> user_snapshot_space) |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Brian Norris | mymemory: kill system_malloc() |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Brian Norris | snapshot: don't need any snapshotting space for fork... |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Brian Norris | rename 'mySpace' to 'snapshot_space' |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Brian Norris | mymemory: make DontFree() static |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Brian Norris | mymemory: reformat spacing |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Brian Norris | mymemory: kill system_free() |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Brian Norris | snapshot: remove global 'basemySpace' |
blob | commitdiff | raw | diff to current |
2012-10-03 |
Brian Demsky | Merge branch 'master' of /home/git/model-checker |
blob | commitdiff | raw | diff to current |
2012-10-03 |
Brian Norris | mymemory: reword comments |
blob | commitdiff | raw | diff to current |
2012-10-03 |
Brian Norris | mymemory: make snapshot_{malloc,calloc,free} externally... |
blob | commitdiff | raw | diff to current |
2012-10-03 |
Brian Demsky | missing change |
blob | commitdiff | raw | diff to current |
2012-10-03 |
Brian Demsky | mspace_malloc will call into mmap if it runs out of... |
blob | commitdiff | raw | diff to current |
2012-10-03 |
Brian Demsky | random memory leak fixes and memory access fixes |
blob | commitdiff | raw | diff to current |
2012-10-02 |
Brian Norris | rename MYFREE -> model_free |
blob | commitdiff | raw | diff to current |
2012-10-02 |
Brian Norris | rename MYCALLOC -> model_calloc |
blob | commitdiff | raw | diff to current |
2012-10-02 |
Brian Norris | rename MYMALLOC -> model_malloc |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | more hashtable fixes |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | switch everything over to our own hashtable |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | trying to get fork based snapshotting to work |
blob | commitdiff | raw | diff to current |
2012-07-12 |
Brian Norris | reformat some doxygen comments, remove newlines |
blob | commitdiff | raw | diff to current |
2012-07-12 |
Brian Norris | Merge branch 'master' into brian |
blob | commitdiff | raw | diff to current |
2012-07-11 |
Brian Norris | remove EOL spaces, fix indentation |
blob | commitdiff | raw | diff to current |
2012-06-21 |
Subramanian Ganapathy | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
2012-06-18 |
Brian Demsky | builds |
blob | commitdiff | raw | diff to current |
2012-06-15 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
2012-06-15 |
Brian Demsky | subramanian lied when he said he fixed these... |
blob | commitdiff | raw | diff to current |
2012-06-14 |
Brian Norris | rename struct Snapshot_t => struct Snapshot |
blob | commitdiff | raw | diff to current |
2012-06-14 |
Subramanian Ganapathy | Removing comment asking to fix fork(), has been fixed now |
blob | commitdiff | raw | diff to current |
2012-06-14 |
Subramanian Ganapathy | fixing calloc(), fix Makefile |
blob | commitdiff | raw | diff to current |
2012-06-06 |
Brian Demsky | more documentation |
blob | commitdiff | raw | diff to current |
2012-05-31 |
Brian Norris | use EXIT_SUCCESS and EXIT_FAILURE |
blob | commitdiff | raw | diff to current |
2012-05-31 |
Subramanian Ganapathy | Adding fixes for the fork based implementation, also... |
blob | commitdiff | raw | diff to current |
2012-05-30 |
Subramanian Ganapathy | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
2012-05-30 |
Brian Norris | snapshot: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT |
blob | commitdiff | raw | diff to current |
2012-05-25 |
Brian Norris | mymemory: use the right *&^% allocator!! |
blob | commitdiff | raw | diff to current |
2012-05-24 |
Brian Demsky | fix page alignment issue... |
blob | commitdiff | raw | diff to current |
2012-05-21 |
Brian Norris | Merge commit: branch 'work' |
blob | commitdiff | raw | diff to current |
2012-05-21 |
Brian Demsky | remove lines from other files |
blob | commitdiff | raw | diff to current |
2012-05-21 |
Brian Demsky | switch back to norris style spacing in changed files |
blob | commitdiff | raw | diff to current |
2012-05-19 |
Brian Demsky | remove unused #define |
blob | commitdiff | raw | diff to current |
2012-05-19 |
Brian Demsky | let us set the size of the heap in a sane way |
blob | commitdiff | raw | diff to current |
2012-05-18 |
Brian Demsky | transfer stuff |
blob | commitdiff | raw | diff to current |
2012-05-18 |
Brian Demsky | merging stuff...made need to clean up some stuff..... |
blob | commitdiff | raw | diff to current |
2012-05-15 |
Subramanian Ganapathy | Defining the interfaces to add various regions to snapshot |
blob | commitdiff | raw | diff to current |
2012-05-09 |
Subramanian Ganapathy | Adding STL stuff and operator news of snapshot to model... |
blob | commitdiff | raw | diff to current |
|