Programming Languages Research Group: Git

2020-09-16	weiyu	Remove unused headers	commit \| commitdiff \| tree
2020-09-16	weiyu	Remove unused functions and optimize data race checking...	commit \| commitdiff \| tree
2020-09-16	weiyu	Add memmove and bzero	commit \| commitdiff \| tree
2020-09-15	weiyu	Add back model_thread; it is still needed	commit \| commitdiff \| tree
2020-09-15	weiyu	Fix a bug in memcpy, implement memset, and remove model_thread	commit \| commitdiff \| tree
2020-09-15	weiyu	Try to catch data races for memcpy	commit \| commitdiff \| tree
2020-09-11	weiyu	Implement timedwait	commit \| commitdiff \| tree
2020-09-10	weiyu	Implement spurious wakeup for ATOMIC_WAIT	commit \| commitdiff \| tree
2020-09-09	weiyu	Add file	commit \| commitdiff \| tree
2020-09-05	weiyu	Add support for epoll	commit \| commitdiff \| tree
2020-09-05	weiyu	Change initialize a bit	commit \| commitdiff \| tree
2020-09-05	weiyu	fix mutex_trylock bug	commit \| commitdiff \| tree
2020-09-04	weiyu	small changes	commit \| commitdiff \| tree
2020-09-03	weiyu	Find a faster way to get currently executing thread...	commit \| commitdiff \| tree
2020-09-03	weiyu	Remove unused functions	commit \| commitdiff \| tree
2020-09-02	weiyu	Small changes; slightly faster than tsan11rec in jsbench now	commit \| commitdiff \| tree
2020-09-02	weiyu	Small edits	commit \| commitdiff \| tree
2020-08-29	weiyu	Rewrite recursion in terms of loops; make it a bit...	commit \| commitdiff \| tree
2020-08-25	weiyu	Merge branch 'master' of /home/git/random-fuzzer into...	commit \| commitdiff \| tree
2020-08-25	weiyu	edits	commit \| commitdiff \| tree
2020-08-24	weiyu	Remove duplicate functions	commit \| commitdiff \| tree
2020-08-24	weiyu	Bug fix for spsc-queue test	commit \| commitdiff \| tree
2020-08-24	weiyu	Bug fix	commit \| commitdiff \| tree
2020-08-22	weiyu	Only consume THREAD_FINISH action in the master context	commit \| commitdiff \| tree
2020-08-11	weiyu	Replace some switch_to_master with switch_thread	commit \| commitdiff \| tree
2020-08-10	weiyu	edits	commit \| commitdiff \| tree
2020-07-10	weiyu	Add macro for recording atomic statics and report data...	commit \| commitdiff \| tree
2020-05-28	weiyu	Merge branch 'firefox-test' of /home/git/random-fuzzer...	commit \| commitdiff \| tree
2020-05-28	weiyu	Count some statistics	commit \| commitdiff \| tree
2020-04-22	weiyu	Tiny fix	commit \| commitdiff \| tree
2020-04-22	weiyu	Optimize on aligned memory access	commit \| commitdiff \| tree
2020-04-21	weiyu	Define invalid shadow value	commit \| commitdiff \| tree
2020-04-21	weiyu	Optimize data race detector	commit \| commitdiff \| tree
2020-04-20	weiyu	Optimize RaceCheckRead	commit \| commitdiff \| tree
2020-04-17	weiyu	Reimplement hash table remove method	commit \| commitdiff \| tree
2020-04-16	weiyu	edits	commit \| commitdiff \| tree
2020-04-15	weiyu	Fix bug when vectors of action lists get reallocated	commit \| commitdiff \| tree
2020-04-10	weiyu	Merge branch 'newactionlist' of /home/git/random-fuzzer...	commit \| commitdiff \| tree
2020-04-08	weiyu	Use simple_action_list for conditionvariable waiters	commit \| commitdiff \| tree
2020-04-06	weiyu	Fix waiter list	commit \| commitdiff \| tree
2020-04-03	weiyu	Do not report deadlock on relocking a recursive mutex...	commit \| commitdiff \| tree
2020-03-25	weiyu	Make our pthread id starts from 2. Reserve id 1 for...	commit \| commitdiff \| tree
2020-03-21	weiyu	Add pthread functions	commit \| commitdiff \| tree
2020-03-20	weiyu	Fix typo	commit \| commitdiff \| tree
2020-02-26	weiyu	Edits	commit \| commitdiff \| tree
2020-02-25	weiyu	Redirect output after taking snapshots	commit \| commitdiff \| tree
2020-02-25	weiyu	Fix memory issue; ModelList should be cleared before...	commit \| commitdiff \| tree
2020-02-19	weiyu	Edits	commit \| commitdiff \| tree
2020-02-19	weiyu	Add failed predicates to predicate trace; remove unused...	commit \| commitdiff \| tree
2020-02-19	weiyu	Edits	commit \| commitdiff \| tree
2020-02-17	weiyu	Tiny fix	commit \| commitdiff \| tree
2020-02-17	weiyu	Bug fix	commit \| commitdiff \| tree
2020-02-15	weiyu	Remove the uses of inst_act_maps	commit \| commitdiff \| tree
2020-02-14	weiyu	Need to handle recursive calls	commit \| commitdiff \| tree
2020-02-13	weiyu	Assign each predicate's initial weight ad 100. Remove...	commit \| commitdiff \| tree
2020-02-13	weiyu	Handle predicate weight updates	commit \| commitdiff \| tree
2020-02-12	weiyu	Fix bug about recursive function calls	commit \| commitdiff \| tree
2020-02-12	weiyu	Remove redundant data structures and FuncNode's dependencies...	commit \| commitdiff \| tree
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
next

C11 Tester Tool Public Repository

RSS Atom