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

2019-12-10	weiyu	Merge branch 'master' into branch-weiyu	blob \| commitdiff \| raw
2019-12-10	Brian Demsky	Merge branch 'branch-weiyu' of ssh://plrg.eecs.uci...	blob \| commitdiff \| raw
2019-12-07	root	Remove snapshot stack	blob \| commitdiff \| raw
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-08-20	weiyu	Merge branch 'master' into branch-weiyu	blob \| commitdiff \| raw \| diff to current
2019-08-02	weiyu	move code around	blob \| commitdiff \| raw \| diff to current
2019-08-01	weiyu	unlink the extra tmp file generated	blob \| commitdiff \| raw \| diff to current
2019-08-01	weiyu	merge	blob \| commitdiff \| raw \| diff to current
2019-08-01	Brian Demsky	Get GDAX working.	blob \| commitdiff \| raw \| diff to current
2019-07-31	weiyu	merge	blob \| commitdiff \| raw \| diff to current
2019-07-31	root	bug fix for snapshotting code	blob \| commitdiff \| raw \| diff to current
2019-07-30	root	remove STL vector	blob \| commitdiff \| raw \| diff to current
2019-07-29	root	Merge branch 'branch-weiyu' of /home/git/random-fuzzer...	blob \| commitdiff \| raw \| diff to current
2019-07-27	root	Lock model check when we terminate proxy thread	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-29	root	bug fixes	blob \| commitdiff \| raw \| diff to current
2019-06-28	root	towards not calling system malloc	blob \| commitdiff \| raw \| diff to current
2019-06-27	bdemsky	revamp scheduler so we can start threads early	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	bdemsky	redo model object initialization	blob \| commitdiff \| raw \| diff to current
2019-06-21	bdemsky	fix tabbing	blob \| commitdiff \| raw \| diff to current
2019-06-21	bdemsky	Merge branch 'new_fuzzer' of ssh://plrg.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2019-06-21	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2019-06-21	Brian Demsky	performance improvements	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
2019-01-08	weiyu	change cds checker to accomdate llvm pass	blob \| commitdiff \| raw \| diff to current
2013-04-19	Brian Norris	snapshot: debugging - show the snapshot regions that...	blob \| commitdiff \| raw \| diff to current
2013-04-19	Brian Norris	snapshot: use perror()	blob \| commitdiff \| raw \| diff to current
2013-04-19	Brian Norris	TMP: improve debugging, remove print_trace()	blob \| commitdiff \| raw \| diff to current
2013-04-06	Brian Norris	snapshot: cleanup/document much of fork-based snapshotting	blob \| commitdiff \| raw \| diff to current
2013-04-05	Brian Norris	snapshot: use sizeof(*fork_snap)	blob \| commitdiff \| raw \| diff to current
2013-04-05	Brian Norris	snapshot: clean up fork-based error handling	blob \| commitdiff \| raw \| diff to current
2013-04-05	Brian Norris	snapshot: kill useless macro	blob \| commitdiff \| raw \| diff to current
2013-04-04	Brian Norris	swapcontext() fix for Mac OSX	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	snapshot: more renaming	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	snapshot: more renaming	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	snapshot: add (unused) mprot_snapshotter destructor	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	snapshot: rename HandlePF -> mprot_handle_pf	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	snapshot: add constructor for mprot_snapshotter	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	snapshot: separate struct SnapShot naming	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	snapshot: edit capitalization in comment	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	snapshot: combine public interfaces	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	snapshot: split up fork-based and mprotect-based snapsh...	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	snapshot: remove SSDEBUG	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	snapshot: change 'struct SnapShotPage' to a simple...	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-10	Brian Norris	segfault file/line breakpoint info	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	snapshot: use snapshot_space only in mprotect-based	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	snapshot: remove global 'basemySpace'	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Demsky	fix low hanging fruit when profiling...	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	snapshot: rename 'SnapShot' -> 'Snapshot'	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 Demsky	small hack to optimize our common case for snapshotting...	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-09-13	Brian Norris	snapshot: print stack trace on segfault	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	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-07-03	Brian Norris	Merge branch 'brian'	blob \| commitdiff \| raw \| diff to current
2012-07-03	Subramanian Ganapathy	Adding relevant comments for fork based implementation.	blob \| commitdiff \| raw \| diff to current
2012-06-21	Subramanian Ganapathy	Adding relevant comments for fork based implementation.	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-21	Brian Norris	Merge branch 'sandbox' (remove finalize())	blob \| commitdiff \| raw \| diff to current
2012-06-14	Subramanian Ganapathy	(snapshot) removing mbFinalize and usage of finalize	blob \| commitdiff \| raw \| diff to current
2012-06-14	Brian Norris	snapshot: refactor the fork-based stack initialization	blob \| commitdiff \| raw \| diff to current
2012-06-14	Brian Norris	snapshot: remove unused 'uc_link' context	blob \| commitdiff \| raw \| diff to current
2012-06-14	Brian Norris	snapshot: don't put entire if (...) on one line	blob \| commitdiff \| raw \| diff to current
2012-06-14	Brian Norris	snapshot: define macros with type size_t	blob \| commitdiff \| raw \| diff to current
2012-06-14	Brian Norris	snapshot: use (void ) instead of (char )	blob \| commitdiff \| raw \| diff to current
2012-06-14	Brian Norris	snapshot: rearrange #if a little	blob \| commitdiff \| raw \| diff to current
2012-06-14	Brian Norris	snapshot: remove extra blank lines	blob \| commitdiff \| raw \| diff to current
2012-06-14	Brian Norris	snapshot: make other file-scope functions static	blob \| commitdiff \| raw \| diff to current
2012-06-14	Brian Norris	snapshot: don't export page-aligning functions	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	Brian Norris	snapshot: don't declare sTheRecord in both #if and...	blob \| commitdiff \| raw \| diff to current
2012-06-14	Brian Norris	snapshot: remove 'extern "C"' block	blob \| commitdiff \| raw \| diff to current
2012-06-14	Brian Norris	snapshot: replace DumpIntoLog() with lighter-weight...	blob \| commitdiff \| raw \| diff to current
2012-06-14	Brian Norris	snapshot: move comments to the right place	blob \| commitdiff \| raw \| diff to current
2012-06-06	Brian Demsky	more comments	blob \| commitdiff \| raw \| diff to current
2012-06-06	Brian Demsky	more documentation	blob \| commitdiff \| raw \| diff to current
next

C11 Tester Tool Public Repository

RSS Atom