Programming Languages Research Group: Git

2020-02-11	weiyu	Eager update predicate trees rather than lazy update...	commit \| commitdiff \| tree
2020-01-31	weiyu	Fix typo	commit \| commitdiff \| tree
2020-01-31	weiyu	Complete the transfer of deletions of some actions	commit \| commitdiff \| tree
2020-01-30	weiyu	Separate the marking algorithm and action removal algorithm	commit \| commitdiff \| tree
2020-01-29	weiyu	Improve the algorithm that marks which actions are...	commit \| commitdiff \| tree
2020-01-16	weiyu	Toward transferring the removal of some actions from...	commit \| commitdiff \| tree
2020-01-08	weiyu	Bug fix	commit \| commitdiff \| tree
2020-01-06	weiyu	Bug fix for removing ATOMIC_WAIT actions	commit \| commitdiff \| tree
2019-12-19	weiyu	Bug fix	commit \| commitdiff \| tree
2019-12-14	weiyu	Incorporate failed predicates in weights	commit \| commitdiff \| tree
2019-12-13	weiyu	Remove the code that checks store visibility, not being...	commit \| commitdiff \| tree
2019-12-13	weiyu	Weight-based random walk	commit \| commitdiff \| tree
2019-12-12	weiyu	Delete set iterator pointers to prevent memory leaks...	commit \| commitdiff \| tree
2019-12-12	weiyu	Fix segfault at the first lock action	commit \| commitdiff \| tree
2019-12-12	weiyu	Small edits	commit \| commitdiff \| tree
2019-12-12	weiyu	Fix a bug in predicate.cc and declare 3 hashtables...	commit \| commitdiff \| tree
2019-12-10	weiyu	Silence -Wreorder	commit \| commitdiff \| tree
2019-12-10	weiyu	Move data structures from execution.h to history.h	commit \| commitdiff \| tree
2019-12-10	weiyu	Merge branch 'master' into branch-weiyu Merge branch 'master' into branch-weiyu	commit \| commitdiff \| tree
2019-12-10	weiyu	Store the set of predicate leaves in FuncNode	commit \| commitdiff \| tree
2019-12-09	weiyu	experiment with exponential decay model	commit \| commitdiff \| tree
2019-12-05	weiyu	Bug fix	commit \| commitdiff \| tree
2019-12-05	weiyu	Using a for loop to prune writes that violate modification...	commit \| commitdiff \| tree
2019-12-05	weiyu	Remove unused code	commit \| commitdiff \| tree
2019-12-04	weiyu	Remove dead code	commit \| commitdiff \| tree
2019-12-04	weiyu	Tabbing	commit \| commitdiff \| tree
2019-12-04	weiyu	Fix NewFuzzer::selectWrite - check back edges	commit \| commitdiff \| tree
2019-11-20	weiyu	Implement both pthread_yield and c++ thread yield	commit \| commitdiff \| tree
2019-11-14	weiyu	Version that finds the bug of iris	commit \| commitdiff \| tree
2019-11-12	weiyu	Not sure why this change prevents a segfault in iris	commit \| commitdiff \| tree
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
next

C11 Tester Tool Public Repository

RSS Atom