Programming Languages Research Group: Git - c11tester.git/history

2019-11-21	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu:/home...	blob \| commitdiff \| raw
2019-11-20	bdemsky	bug fix	blob \| commitdiff \| raw
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

C11 Tester Tool Public Repository

RSS Atom