Programming Languages Research Group: Git

2019-06-24	weiyu	add a separate rule for futex.o	commit \| commitdiff \| tree
2019-06-17	weiyu	implement usleep and sleep system calls as no operation...	commit \| commitdiff \| tree
2019-06-17	weiyu	rename pthead.h to mypthread.h	commit \| commitdiff \| tree
2019-06-14	weiyu	add source line number as a parameter to ModelAction	commit \| commitdiff \| tree
2019-06-14	weiyu	add a missing line	commit \| commitdiff \| tree
2019-06-14	weiyu	add support for function calls 'atomic_init' and 'atomic_com...	commit \| commitdiff \| tree
2019-06-14	weiyu	rename mypthread.h to pthread.h	commit \| commitdiff \| tree
2019-06-14	weiyu	Merge branch 'new_fuzzer' of /home/git/random-fuzzer... ...git/random-fuzzer into branch-weiyu	commit \| commitdiff \| tree
2019-06-10	weiyu	Merge branch 'branch-weiyu' of /home/git/random-fuzzer... Merge branch 'branch-weiyu' of /home/git/random-fuzzer into...	commit \| commitdiff \| tree
2019-06-10	weiyu	add subdirectory for tests	commit \| commitdiff \| tree
2019-05-29	weiyu	change snapshot mode	commit \| commitdiff \| tree
2019-05-29	weiyu	clean up	commit \| commitdiff \| tree
2019-05-29	weiyu	add futex.o as a recipe for libmodel	commit \| commitdiff \| tree
2019-05-28	weiyu	implement futex.cc	commit \| commitdiff \| tree
2019-05-28	weiyu	fix the case where no waiter is waiting	commit \| commitdiff \| tree
2019-05-28	weiyu	add NOOP to action type	commit \| commitdiff \| tree
2019-05-28	weiyu	change the namespace of mutex from std to cdsc	commit \| commitdiff \| tree
2019-03-01	weiyu	add support for condition variable	commit \| commitdiff \| tree
2019-02-15	weiyu	clean up unnecessary member functions	commit \| commitdiff \| tree
2019-02-15	weiyu	move pthread_map and mutex_map inside of execution.h	commit \| commitdiff \| tree
2019-02-01	weiyu	pthread_join is able to return values	commit \| commitdiff \| tree
2019-01-24	weiyu	add support for pthread_mutex	commit \| commitdiff \| tree
2019-01-22	weiyu	pthread join seems to be working	commit \| commitdiff \| tree
2019-01-22	weiyu	pthread_create is working now	commit \| commitdiff \| tree
2019-01-18	weiyu	add support for pthread_create (in progress)	commit \| commitdiff \| tree
2019-01-17	weiyu	add a new thread constructor for pthread	commit \| commitdiff \| tree
2019-01-16	weiyu	try to add support for pthread_create/pthread_join	commit \| commitdiff \| tree
2019-01-08	weiyu	remove two unnecessary files	commit \| commitdiff \| tree
2019-01-08	weiyu	change cds checker to accomdate llvm pass	commit \| commitdiff \| tree
2018-11-09	weiyu	improve randomization	commit \| commitdiff \| tree
2018-10-26	weiyu	delete plugins	commit \| commitdiff \| tree
2018-10-26	weiyu	remove plugins	commit \| commitdiff \| tree

C11 Tester Tool Public Repository

RSS Atom