Programming Languages Research Group: Git

2019-11-10	weiyu	Avoid seg fault in the case where ensureModel is called...	commit \| commitdiff \| tree
2019-11-08	weiyu	Bug fixing	commit \| commitdiff \| tree
2019-11-01	weiyu	Do not allow a thread to stash the next pending action...	commit \| commitdiff \| tree
2019-10-31	weiyu	Fix a typo	commit \| commitdiff \| tree
2019-10-23	weiyu	Add a collision list for FuncInsts with the same source...	commit \| commitdiff \| tree
2019-10-23	weiyu	Some edits	commit \| commitdiff \| tree
2019-10-22	weiyu	Checking whether every write in the rf_set satisfies...	commit \| commitdiff \| tree
2019-10-21	weiyu	Add a hash function for 64-bit int to improve the performanc...	commit \| commitdiff \| tree
2019-10-18	weiyu	Change the implementation of sleep and remove NOOP	commit \| commitdiff \| tree
2019-10-18	weiyu	Modified the implementation of usleep and make ModelExecutio...	commit \| commitdiff \| tree
2019-10-18	weiyu	Remove a redundant SnapVector	commit \| commitdiff \| tree
2019-10-18	weiyu	Calculate store visibility probability and change the...	commit \| commitdiff \| tree
2019-10-16	weiyu	The higher the sleep score, the more likely the fuzzer...	commit \| commitdiff \| tree
2019-10-16	weiyu	Final fix; needs to be careful about the side effect...	commit \| commitdiff \| tree
2019-10-15	weiyu	Fix	commit \| commitdiff \| tree
2019-10-15	weiyu	Fixes	commit \| commitdiff \| tree
2019-10-15	weiyu	Add sleep score	commit \| commitdiff \| tree
2019-10-15	weiyu	Little adjustment	commit \| commitdiff \| tree
2019-10-12	weiyu	Fix bug	commit \| commitdiff \| tree
2019-10-11	weiyu	Add an exit node in predicate trees	commit \| commitdiff \| tree
2019-10-11	weiyu	Design a method to select predicate branches based...	commit \| commitdiff \| tree
2019-10-10	weiyu	Avoid using a HashTable to associate FuncInsts with...	commit \| commitdiff \| tree
2019-10-10	weiyu	Turns out that calling Predicate::evaluate in FuncNode...	commit \| commitdiff \| tree
2019-10-10	weiyu	Performance fix; delete unused data structures	commit \| commitdiff \| tree
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
next

C11 Tester Tool Public Repository

RSS Atom