Programming Languages Research Group: Git

2019-07-24	root	Make everything do stores + add more buffer for printing	commit \| commitdiff \| tree
2019-07-23	root	Merge branch 'branch-weiyu' of /home/git/random-fuzzer...	commit \| commitdiff \| tree
2019-07-23	root	Add model checker check before trylock	commit \| commitdiff \| tree
2019-07-22	root	remove some datarace code	commit \| commitdiff \| tree
2019-07-22	root	fix conflict	commit \| commitdiff \| tree
2019-07-19	root	More code towards support non-atomic stores	commit \| commitdiff \| tree
2019-07-11	root	Get data race detector working... Commented out function...	commit \| commitdiff \| tree
2019-07-03	root	get rid of nodestack	commit \| commitdiff \| tree
2019-07-03	root	Fork handler mitigations	commit \| commitdiff \| tree
2019-07-03	root	Fix printf compile issue	commit \| commitdiff \| tree
2019-07-02	root	bug fix	commit \| commitdiff \| tree
2019-06-29	root	add pthread_detach function	commit \| commitdiff \| tree
2019-06-29	root	bug fixes	commit \| commitdiff \| tree
2019-06-28	root	tabbing plus lots of memory fixes	commit \| commitdiff \| tree
2019-06-28	root	towards not calling system malloc	commit \| commitdiff \| tree
2019-06-27	root	bug fixes	commit \| commitdiff \| tree
2019-06-26	root	Merge branch 'new_fuzzer' of /home/git/random-fuzzer...	commit \| commitdiff \| tree
2019-06-26	root	changes	commit \| commitdiff \| tree
2019-06-21	root	change exit we call so we don't call into client code	commit \| commitdiff \| tree
2019-06-21	root	prune mod order	commit \| commitdiff \| tree
2019-06-19	root	merge	commit \| commitdiff \| tree

C11 Tester Tool Public Repository