Programming Languages Research Group: Git

2019-08-20	weiyu	Merge branch 'master' into branch-weiyu Merge branch 'master' into branch-weiyu	commit \| commitdiff \| tree
2019-08-20	weiyu	allow ModelHistory to process non-atomic actions when...	commit \| commitdiff \| tree
2019-08-20	weiyu	reset memory locations of FuncInsts when new executions...	commit \| commitdiff \| tree
2019-08-20	weiyu	memory locations should not outlive executions	commit \| commitdiff \| tree
2019-08-16	weiyu	change the way to detect loops	commit \| commitdiff \| tree
2019-08-16	weiyu	defer the initial update of predicate tree for a better...	commit \| commitdiff \| tree
2019-08-16	weiyu	try to infer nullity predicate inside update_predicate_tree...	commit \| commitdiff \| tree
2019-08-15	weiyu	change the structure of predicate expressions, and...	commit \| commitdiff \| tree
2019-08-14	weiyu	experiment with adding NULLITY predicate	commit \| commitdiff \| tree
2019-08-13	weiyu	do optimization for FuncNode::update_tree	commit \| commitdiff \| tree
2019-08-12	weiyu	revert commit	commit \| commitdiff \| tree
2019-08-12	weiyu	fix a bug about get_reads_from_value	commit \| commitdiff \| tree
2019-08-09	weiyu	get rid of read_val_map; A bug is discovered.	commit \| commitdiff \| tree
2019-08-09	weiyu	fix bug - 'backedge' in predicate.cc uninitialized	commit \| commitdiff \| tree
2019-08-09	weiyu	fix bug	commit \| commitdiff \| tree
2019-08-08	weiyu	add a dummy predicate entry node to make code simpler...	commit \| commitdiff \| tree
2019-08-08	weiyu	restructrue code of funcnode.cc, and planning for adding...	commit \| commitdiff \| tree
2019-08-07	weiyu	Split FuncNode::get_or_add_inst into two separate functions...	commit \| commitdiff \| tree
2019-08-06	weiyu	move modelhistory code back	commit \| commitdiff \| tree
2019-08-06	weiyu	toward updating predicate trees every time a function...	commit \| commitdiff \| tree
2019-08-05	weiyu	move the codes that add actions to thrd_func_act_lists...	commit \| commitdiff \| tree
2019-08-05	weiyu	fix a bug and print predicate tree in xdot syntax	commit \| commitdiff \| tree
2019-08-03	weiyu	toward building a naive predicate tree	commit \| commitdiff \| tree
2019-08-03	weiyu	add print	commit \| commitdiff \| tree
2019-08-02	weiyu	move code around	commit \| commitdiff \| tree
2019-08-01	weiyu	unlink the extra tmp file generated	commit \| commitdiff \| tree
2019-08-01	weiyu	little fixes	commit \| commitdiff \| tree
2019-08-01	weiyu	merge	commit \| commitdiff \| tree
2019-08-01	weiyu	change the data structure of thrd_func_inst_list because...	commit \| commitdiff \| tree
2019-07-31	weiyu	initialize memory location first	commit \| commitdiff \| tree
2019-07-31	weiyu	bug fix	commit \| commitdiff \| tree
2019-07-31	weiyu	fix bug	commit \| commitdiff \| tree
2019-07-31	weiyu	merge	commit \| commitdiff \| tree
2019-07-31	weiyu	change some data structures	commit \| commitdiff \| tree
2019-07-30	weiyu	bug fix	commit \| commitdiff \| tree
2019-07-30	weiyu	move write_history to funcnode.cc was a mistake	commit \| commitdiff \| tree
2019-07-30	weiyu	move write_history to funcnode.cc and do experiment	commit \| commitdiff \| tree
2019-07-29	weiyu	fix bug	commit \| commitdiff \| tree
2019-07-29	weiyu	add pthread_cond_destory	commit \| commitdiff \| tree
2019-07-29	weiyu	performance fix	commit \| commitdiff \| tree
2019-07-27	weiyu	Merge branch 'new_fuzzer' into branch-weiyu ...branch 'new_fuzzer' into branch-weiyu	commit \| commitdiff \| tree
2019-07-27	weiyu	planning to build a predicate generator based on values...	commit \| commitdiff \| tree
2019-07-25	weiyu	little fixes	commit \| commitdiff \| tree
2019-07-25	weiyu	avoid the use of 'func_id_list_t *' to prevent potential...	commit \| commitdiff \| tree
2019-07-23	weiyu	fix bug	commit \| commitdiff \| tree
2019-07-23	weiyu	initialize the newly added element in the vector when...	commit \| commitdiff \| tree
2019-07-22	weiyu	add function calls for volatile loads and stores	commit \| commitdiff \| tree
2019-07-22	weiyu	add a special order for volatile loads and stores	commit \| commitdiff \| tree
2019-07-20	weiyu	able to get a FuncNode by function id	commit \| commitdiff \| tree
2019-07-19	weiyu	move the 'link_insts' method to FuncNode class	commit \| commitdiff \| tree
2019-07-19	weiyu	change the data structure for storing last read values...	commit \| commitdiff \| tree
2019-07-19	weiyu	add pthread_cond_broadcast	commit \| commitdiff \| tree
2019-07-19	weiyu	add a data structure to store the values read by last...	commit \| commitdiff \| tree
2019-07-18	weiyu	name variables	commit \| commitdiff \| tree
2019-07-18	weiyu	function id should start with 1 rather than 0	commit \| commitdiff \| tree
2019-07-16	weiyu	allow the fuzzer to continue if only a few data races...	commit \| commitdiff \| tree
2019-07-15	weiyu	fix a bug about RaceRecord capacity	commit \| commitdiff \| tree
2019-07-15	weiyu	ignore futex notify if no successful futex wait was...	commit \| commitdiff \| tree
2019-07-15	weiyu	use the hashset and hashtable implementation from satcheck...	commit \| commitdiff \| tree
2019-07-12	weiyu	fix a bug in cds_func_exit	commit \| commitdiff \| tree
2019-07-12	weiyu	fix a bug	commit \| commitdiff \| tree
2019-07-11	weiyu	Merge branch 'new_fuzzer' into branch-weiyu ...branch 'new_fuzzer' into branch-weiyu	commit \| commitdiff \| tree
2019-07-11	weiyu	commit stuff before merge	commit \| commitdiff \| tree
2019-07-10	weiyu	augment hashtable with keyset	commit \| commitdiff \| tree
2019-07-09	weiyu	add entry atomic instructions to FuncNode	commit \| commitdiff \| tree
2019-07-08	weiyu	update Makefile and fix compilation error for printf...	commit \| commitdiff \| tree
2019-07-08	weiyu	merge and resolve conflict	commit \| commitdiff \| tree
2019-07-08	weiyu	add a new data structure in execution.h, which is used...	commit \| commitdiff \| tree
2019-07-08	weiyu	factor out codes for FuncInst class	commit \| commitdiff \| tree
2019-07-06	weiyu	temporarily remove assertion for 'lock access before...	commit \| commitdiff \| tree
2019-07-06	weiyu	add func_map_rev to map function ids to function names	commit \| commitdiff \| tree
2019-07-01	weiyu	resolve git conflict	commit \| commitdiff \| tree
2019-07-01	weiyu	fix git conflict	commit \| commitdiff \| tree
2019-06-28	weiyu	move work_list (thrd_func_list) from history.h to execution...	commit \| commitdiff \| tree
2019-06-28	weiyu	change data structures	commit \| commitdiff \| tree
2019-06-27	weiyu	update Makefile	commit \| commitdiff \| tree
2019-06-27	weiyu	factor codes in history.* and move it to funcnode.*	commit \| commitdiff \| tree
2019-06-27	weiyu	change func_atomics and work_list to vectors	commit \| commitdiff \| tree
2019-06-25	weiyu	add a new class 'ModelHistory'	commit \| commitdiff \| tree
2019-06-24	weiyu	fix a bug for ATOMIC_RMWCAS	commit \| commitdiff \| tree
2019-06-24	weiyu	update test cases	commit \| commitdiff \| tree
2019-06-24	weiyu	add run time library for function entries and exits	commit \| commitdiff \| tree
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
next

C11 Tester Tool Public Repository

RSS Atom