projects / c11tester.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
c11tester.git
2019-11-20 bdemskyAdd datarace support for atomics and calloc commit | commitdiff | tree | snapshot
2019-11-15 rootbug fixe commit | commitdiff | tree | snapshot
2019-11-15 bdemskyAdd pipe support commit | commitdiff | tree | snapshot
2019-11-14 weiyuVersion that finds the bug of iris commit | commitdiff | tree | snapshot
2019-11-12 weiyuNot sure why this change prevents a segfault in iris commit | commitdiff | tree | snapshot
2019-11-10 weiyuAvoid seg fault in the case where ensureModel is called... commit | commitdiff | tree | snapshot
2019-11-08 weiyuBug fixing commit | commitdiff | tree | snapshot
2019-11-01 weiyuDo not allow a thread to stash the next pending action... commit | commitdiff | tree | snapshot
2019-10-31 weiyuFix a typo commit | commitdiff | tree | snapshot
2019-10-23 weiyuAdd a collision list for FuncInsts with the same source... commit | commitdiff | tree | snapshot
2019-10-23 weiyuSome edits commit | commitdiff | tree | snapshot
2019-10-22 weiyuChecking whether every write in the rf_set satisfies... commit | commitdiff | tree | snapshot
2019-10-21 weiyuAdd a hash function for 64-bit int to improve the perfo... commit | commitdiff | tree | snapshot
2019-10-18 weiyuChange the implementation of sleep and remove NOOP commit | commitdiff | tree | snapshot
2019-10-18 weiyuModified the implementation of usleep and make ModelExe... commit | commitdiff | tree | snapshot
2019-10-18 weiyuRemove a redundant SnapVector commit | commitdiff | tree | snapshot
2019-10-18 weiyuCalculate store visibility probability and change the... commit | commitdiff | tree | snapshot
2019-10-16 weiyuThe higher the sleep score, the more likely the fuzzer... commit | commitdiff | tree | snapshot
2019-10-16 weiyuFinal fix; needs to be careful about the side effect... commit | commitdiff | tree | snapshot
2019-10-15 weiyuFix commit | commitdiff | tree | snapshot
2019-10-15 weiyuFixes commit | commitdiff | tree | snapshot
2019-10-15 weiyuAdd sleep score commit | commitdiff | tree | snapshot
2019-10-15 weiyuLittle adjustment commit | commitdiff | tree | snapshot
2019-10-12 weiyuFix bug commit | commitdiff | tree | snapshot
2019-10-11 weiyuAdd an exit node in predicate trees commit | commitdiff | tree | snapshot
2019-10-11 weiyuDesign a method to select predicate branches based... commit | commitdiff | tree | snapshot
2019-10-10 weiyuAvoid using a HashTable to associate FuncInsts with... commit | commitdiff | tree | snapshot
2019-10-10 weiyuTurns out that calling Predicate::evaluate in FuncNode... commit | commitdiff | tree | snapshot
2019-10-10 weiyuPerformance fix; delete unused data structures commit | commitdiff | tree | snapshot
2019-10-09 weiyuSelect a new predicate branch when the selected branch... commit | commitdiff | tree | snapshot
2019-10-09 weiyuSome edits commit | commitdiff | tree | snapshot
2019-10-09 weiyuToward implementing the counter approach to monitor... commit | commitdiff | tree | snapshot
2019-10-08 weiyuMonitor threads when they enter functions and decide... commit | commitdiff | tree | snapshot
2019-10-08 weiyuAdd some documentation for WaitObj commit | commitdiff | tree | snapshot
2019-10-08 weiyuBFS with distance was not implemented correctly commit | commitdiff | tree | snapshot
2019-10-08 weiyuFix a bug commit | commitdiff | tree | snapshot
2019-10-08 weiyuEvery time a thread enters a function, check whether... commit | commitdiff | tree | snapshot
2019-10-07 weiyuFix methods commit | commitdiff | tree | snapshot
2019-10-05 weiyuAdd some methods for WaitObj commit | commitdiff | tree | snapshot
2019-10-05 weiyuCreate WaitObj to store information about which thread... commit | commitdiff | tree | snapshot
2019-10-05 weiyuAdd default memory allocation and free functions for... commit | commitdiff | tree | snapshot
2019-10-04 weiyuCompute the threads that a paused thread my wait for commit | commitdiff | tree | snapshot
2019-10-03 weiyuToward computing which threads a paused thread may... commit | commitdiff | tree | snapshot
2019-10-02 weiyuDo not unset FuncInst locations when new executions... commit | commitdiff | tree | snapshot
2019-10-02 weiyuReorganize codes commit | commitdiff | tree | snapshot
2019-10-02 weiyuMove one snapshotted data structure from ModelHistory... commit | commitdiff | tree | snapshot
2019-10-02 weiyuFix a memory bug commit | commitdiff | tree | snapshot
2019-10-01 weiyuFree memory commit | commitdiff | tree | snapshot
2019-10-01 weiyuNotify threads paused by the Fuzzer when the desired... commit | commitdiff | tree | snapshot
2019-09-30 weiyuClear headers commit | commitdiff | tree | snapshot
2019-09-30 weiyuChange the return type of Predicate::evaluate commit | commitdiff | tree | snapshot
2019-09-30 weiyuConcrete predicate class commit | commitdiff | tree | snapshot
2019-09-30 weiyuFactor predicate expression types into a separate file commit | commitdiff | tree | snapshot
2019-09-27 weiyuAble to evaluate predicate expression against a 'contex... commit | commitdiff | tree | snapshot
2019-09-26 weiyuNeed to free memory commit | commitdiff | tree | snapshot
2019-09-26 weiyuFix a bug commit | commitdiff | tree | snapshot
2019-09-19 weiyuFix a bug in pthread_mutex_unlock; initialize mutex... commit | commitdiff | tree | snapshot
2019-09-19 weiyuKeep track of which FuncNodes may write to a memory... commit | commitdiff | tree | snapshot
2019-09-17 weiyuAdd comment about the difference between ModelAction... commit | commitdiff | tree | snapshot
2019-09-16 weiyuConstruct the graph of methods based on the order that... commit | commitdiff | tree | snapshot
2019-09-13 weiyuAdd edges between FuncNodes commit | commitdiff | tree | snapshot
2019-09-12 weiyuChange action_list_buffer to snapshot memory instead... commit | commitdiff | tree | snapshot
2019-09-11 weiyuMake sure that actions that do writes are labeled corre... commit | commitdiff | tree | snapshot
2019-09-10 weiyuReorganize codes commit | commitdiff | tree | snapshot
2019-09-10 weiyuAdd atomic write actions to predicate trees commit | commitdiff | tree | snapshot
2019-09-09 weiyuRemove an unused data structure commit | commitdiff | tree | snapshot
2019-09-09 weiyuRemove unused codes commit | commitdiff | tree | snapshot
2019-09-06 weiyuModify the implementation of wait and timed wait operation commit | commitdiff | tree | snapshot
2019-09-05 weiyuDo not process read actions paused by the fuzzer commit | commitdiff | tree | snapshot
2019-09-05 weiyuseems to work commit | commitdiff | tree | snapshot
2019-09-05 weiyuWhen an atomic read action cannot read from a desired... commit | commitdiff | tree | snapshot
2019-09-03 weiyusplit add_action_to_lists into to two functions and... commit | commitdiff | tree | snapshot
2019-08-30 weiyuremove a redundant member function that I added before commit | commitdiff | tree | snapshot
2019-08-29 weiyufix bug by changing MEMALLOC to SNAPSHOTALLOC commit | commitdiff | tree | snapshot
2019-08-29 weiyuimprove efficiency of selectWrite commit | commitdiff | tree | snapshot
2019-08-29 weiyuremove unused member functions commit | commitdiff | tree | snapshot
2019-08-28 weiyumove codes around in history.cc, and NewFuzzer::selectW... commit | commitdiff | tree | snapshot
2019-08-28 weiyuremove unused member functions and add a new data structure commit | commitdiff | tree | snapshot
2019-08-28 weiyuonly select a new predicate branch when new read action... commit | commitdiff | tree | snapshot
2019-08-27 weiyusome edits to NewFuzzer commit | commitdiff | tree | snapshot
2019-08-27 weiyuperformace fix commit | commitdiff | tree | snapshot
2019-08-26 weiyufix bug commit | commitdiff | tree | snapshot
2019-08-26 weiyuadd a data structrue to keep track of the run-time... commit | commitdiff | tree | snapshot
2019-08-26 weiyuinitial commit for declaring member functions of Fuzzer... commit | commitdiff | tree | snapshot
2019-08-24 weiyuonly generate NULLITY predicate when it has ever been... commit | commitdiff | tree | snapshot
2019-08-23 weiyuget rid of an unused function commit | commitdiff | tree | snapshot
2019-08-23 weiyurestructure the codes that generate predicates commit | commitdiff | tree | snapshot
2019-08-23 weiyurestructure code and working on deconstructors commit | commitdiff | tree | snapshot
2019-08-22 weiyuexperiment with generating equality predicates across... commit | commitdiff | tree | snapshot
2019-08-22 weiyudeduce which locations may share the same value from... commit | commitdiff | tree | snapshot
2019-08-22 weiyuupdate FuncNodes when there is a write commit | commitdiff | tree | snapshot
2019-08-21 weiyuadd helper functions; prepare for computing which memor... commit | commitdiff | tree | snapshot
2019-08-20 weiyuMerge branch 'master' into branch-weiyu commit | commitdiff | tree | snapshot
2019-08-20 weiyuallow ModelHistory to process non-atomic actions when... commit | commitdiff | tree | snapshot
2019-08-20 weiyureset memory locations of FuncInsts when new executions... commit | commitdiff | tree | snapshot
2019-08-20 bdemskyAdd mailing list commit | commitdiff | tree | snapshot
2019-08-20 bdemskyRemove msqueue test case commit | commitdiff | tree | snapshot
2019-08-20 bdemskyFix compile and readme commit | commitdiff | tree | snapshot
2019-08-20 weiyumemory locations should not outlive executions commit | commitdiff | tree | snapshot
2019-08-16 weiyuchange the way to detect loops commit | commitdiff | tree | snapshot
next
C11 Tester Tool Public Repository