Programming Languages Research Group: Git

2019-09-30	weiyu	Factor predicate expression types into a separate file	commit \| commitdiff \| tree
2019-09-27	weiyu	Able to evaluate predicate expression against a 'context...	commit \| commitdiff \| tree
2019-09-26	weiyu	Need to free memory	commit \| commitdiff \| tree
2019-09-26	weiyu	Fix a bug	commit \| commitdiff \| tree
2019-09-19	weiyu	Fix a bug in pthread_mutex_unlock; initialize mutex...	commit \| commitdiff \| tree
2019-09-19	weiyu	Keep track of which FuncNodes may write to a memory...	commit \| commitdiff \| tree
2019-09-17	weiyu	Add comment about the difference between ModelAction...	commit \| commitdiff \| tree
2019-09-16	weiyu	Construct the graph of methods based on the order that...	commit \| commitdiff \| tree
2019-09-13	weiyu	Add edges between FuncNodes	commit \| commitdiff \| tree
2019-09-12	weiyu	Change action_list_buffer to snapshot memory instead...	commit \| commitdiff \| tree
2019-09-11	weiyu	Make sure that actions that do writes are labeled correctly...	commit \| commitdiff \| tree
2019-09-10	weiyu	Reorganize codes	commit \| commitdiff \| tree
2019-09-10	weiyu	Add atomic write actions to predicate trees	commit \| commitdiff \| tree
2019-09-09	weiyu	Remove an unused data structure	commit \| commitdiff \| tree
2019-09-09	weiyu	Remove unused codes	commit \| commitdiff \| tree
2019-09-06	weiyu	Modify the implementation of wait and timed wait operation	commit \| commitdiff \| tree
2019-09-05	weiyu	Do not process read actions paused by the fuzzer	commit \| commitdiff \| tree
2019-09-05	weiyu	seems to work	commit \| commitdiff \| tree
2019-09-05	weiyu	When an atomic read action cannot read from a desired...	commit \| commitdiff \| tree
2019-09-03	weiyu	split add_action_to_lists into to two functions and...	commit \| commitdiff \| tree
2019-08-30	weiyu	remove a redundant member function that I added before	commit \| commitdiff \| tree
2019-08-29	weiyu	fix bug by changing MEMALLOC to SNAPSHOTALLOC	commit \| commitdiff \| tree
2019-08-29	weiyu	improve efficiency of selectWrite	commit \| commitdiff \| tree
2019-08-29	weiyu	remove unused member functions	commit \| commitdiff \| tree
2019-08-28	weiyu	move codes around in history.cc, and NewFuzzer::selectWrite...	commit \| commitdiff \| tree
2019-08-28	weiyu	remove unused member functions and add a new data structure	commit \| commitdiff \| tree
2019-08-28	weiyu	only select a new predicate branch when new read actions...	commit \| commitdiff \| tree
2019-08-27	weiyu	some edits to NewFuzzer	commit \| commitdiff \| tree
2019-08-27	weiyu	performace fix	commit \| commitdiff \| tree
2019-08-26	weiyu	fix bug	commit \| commitdiff \| tree
2019-08-26	weiyu	add a data structrue to keep track of the run-time...	commit \| commitdiff \| tree
2019-08-26	weiyu	initial commit for declaring member functions of Fuzzer...	commit \| commitdiff \| tree
2019-08-24	weiyu	only generate NULLITY predicate when it has ever been...	commit \| commitdiff \| tree
2019-08-23	weiyu	get rid of an unused function	commit \| commitdiff \| tree
2019-08-23	weiyu	restructure the codes that generate predicates	commit \| commitdiff \| tree
2019-08-23	weiyu	restructure code and working on deconstructors	commit \| commitdiff \| tree
2019-08-22	weiyu	experiment with generating equality predicates across...	commit \| commitdiff \| tree
2019-08-22	weiyu	deduce which locations may share the same value from...	commit \| commitdiff \| tree
2019-08-22	weiyu	update FuncNodes when there is a write	commit \| commitdiff \| tree
2019-08-21	weiyu	add helper functions; prepare for computing which memory...	commit \| commitdiff \| tree
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
next

C11 Tester Tool Public Repository

RSS Atom