Programming Languages Research Group: Git

2019-10-09	weiyu	Select a new predicate branch when the selected branch...	commit \| commitdiff \| tree
2019-10-09	weiyu	Some edits	commit \| commitdiff \| tree
2019-10-09	weiyu	Toward implementing the counter approach to monitor...	commit \| commitdiff \| tree
2019-10-08	weiyu	Monitor threads when they enter functions and decide...	commit \| commitdiff \| tree
2019-10-08	weiyu	Add some documentation for WaitObj	commit \| commitdiff \| tree
2019-10-08	weiyu	BFS with distance was not implemented correctly	commit \| commitdiff \| tree
2019-10-08	weiyu	Fix a bug	commit \| commitdiff \| tree
2019-10-08	weiyu	Every time a thread enters a function, check whether...	commit \| commitdiff \| tree
2019-10-07	weiyu	Fix methods	commit \| commitdiff \| tree
2019-10-05	weiyu	Add some methods for WaitObj	commit \| commitdiff \| tree
2019-10-05	weiyu	Create WaitObj to store information about which thread...	commit \| commitdiff \| tree
2019-10-05	weiyu	Add default memory allocation and free functions for...	commit \| commitdiff \| tree
2019-10-04	weiyu	Compute the threads that a paused thread my wait for	commit \| commitdiff \| tree
2019-10-03	weiyu	Toward computing which threads a paused thread may...	commit \| commitdiff \| tree
2019-10-02	weiyu	Do not unset FuncInst locations when new executions...	commit \| commitdiff \| tree
2019-10-02	weiyu	Reorganize codes	commit \| commitdiff \| tree
2019-10-02	weiyu	Move one snapshotted data structure from ModelHistory...	commit \| commitdiff \| tree
2019-10-02	weiyu	Fix a memory bug	commit \| commitdiff \| tree
2019-10-01	weiyu	Free memory	commit \| commitdiff \| tree
2019-10-01	weiyu	Notify threads paused by the Fuzzer when the desired...	commit \| commitdiff \| tree
2019-09-30	weiyu	Clear headers	commit \| commitdiff \| tree
2019-09-30	weiyu	Change the return type of Predicate::evaluate	commit \| commitdiff \| tree
2019-09-30	weiyu	Concrete predicate class	commit \| commitdiff \| tree
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
next

C11 Tester Tool Public Repository

RSS Atom