projects / c11tester.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
c11tester.git
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
2019-08-16 weiyudefer the initial update of predicate tree for a better... commit | commitdiff | tree | snapshot
2019-08-16 weiyutry to infer nullity predicate inside update_predicate_... commit | commitdiff | tree | snapshot
2019-08-15 weiyuchange the structure of predicate expressions, and... commit | commitdiff | tree | snapshot
2019-08-14 weiyuexperiment with adding NULLITY predicate commit | commitdiff | tree | snapshot
2019-08-13 weiyudo optimization for FuncNode::update_tree commit | commitdiff | tree | snapshot
2019-08-12 weiyurevert commit commit | commitdiff | tree | snapshot
2019-08-12 weiyufix a bug about get_reads_from_value commit | commitdiff | tree | snapshot
2019-08-09 weiyuget rid of read_val_map; A bug is discovered. commit | commitdiff | tree | snapshot
2019-08-09 weiyufix bug - 'backedge' in predicate.cc uninitialized commit | commitdiff | tree | snapshot
2019-08-09 weiyufix bug commit | commitdiff | tree | snapshot
2019-08-08 weiyuadd a dummy predicate entry node to make code simpler... commit | commitdiff | tree | snapshot
2019-08-08 weiyurestructrue code of funcnode.cc, and planning for addin... commit | commitdiff | tree | snapshot
2019-08-07 weiyuSplit FuncNode::get_or_add_inst into two separate funct... commit | commitdiff | tree | snapshot
2019-08-06 weiyumove modelhistory code back commit | commitdiff | tree | snapshot
2019-08-06 weiyutoward updating predicate trees every time a function... commit | commitdiff | tree | snapshot
2019-08-05 weiyumove the codes that add actions to thrd_func_act_lists... commit | commitdiff | tree | snapshot
2019-08-05 weiyufix a bug and print predicate tree in xdot syntax commit | commitdiff | tree | snapshot
2019-08-03 weiyutoward building a naive predicate tree commit | commitdiff | tree | snapshot
2019-08-03 weiyuadd print commit | commitdiff | tree | snapshot
2019-08-02 weiyumove code around commit | commitdiff | tree | snapshot
2019-08-01 weiyuunlink the extra tmp file generated commit | commitdiff | tree | snapshot
2019-08-01 weiyulittle fixes commit | commitdiff | tree | snapshot
2019-08-01 weiyumerge commit | commitdiff | tree | snapshot
2019-08-01 rootSwitch from pipes to temporary file to store program... commit | commitdiff | tree | snapshot
2019-08-01 Brian DemskyGet GDAX working. commit | commitdiff | tree | snapshot
2019-08-01 rootadd sleep support commit | commitdiff | tree | snapshot
2019-08-01 weiyuchange the data structure of thrd_func_inst_list becaus... commit | commitdiff | tree | snapshot
2019-07-31 weiyuinitialize memory location first commit | commitdiff | tree | snapshot
2019-07-31 weiyubug fix commit | commitdiff | tree | snapshot
2019-07-31 weiyufix bug commit | commitdiff | tree | snapshot
2019-07-31 weiyumerge commit | commitdiff | tree | snapshot
2019-07-31 roottabbing commit | commitdiff | tree | snapshot
2019-07-31 rootbug fix for snapshotting code commit | commitdiff | tree | snapshot
2019-07-31 rootbug fix commit | commitdiff | tree | snapshot
2019-07-31 weiyuchange some data structures commit | commitdiff | tree | snapshot
2019-07-31 rootbug fixes commit | commitdiff | tree | snapshot
2019-07-31 bdemskyGet code to compile commit | commitdiff | tree | snapshot
2019-07-30 weiyubug fix commit | commitdiff | tree | snapshot
2019-07-30 rootedits commit | commitdiff | tree | snapshot
2019-07-30 rootedits commit | commitdiff | tree | snapshot
2019-07-30 rootmore code commit | commitdiff | tree | snapshot
2019-07-30 weiyumove write_history to funcnode.cc was a mistake commit | commitdiff | tree | snapshot
2019-07-30 rootmore fixes commit | commitdiff | tree | snapshot
2019-07-30 roottowards getting rid of STL commit | commitdiff | tree | snapshot
2019-07-30 rootremove STL vector commit | commitdiff | tree | snapshot
2019-07-30 bdemskymore fixes commit | commitdiff | tree | snapshot
2019-07-30 weiyumove write_history to funcnode.cc and do experiment commit | commitdiff | tree | snapshot
2019-07-29 bdemskyedits commit | commitdiff | tree | snapshot
2019-07-29 rootedits commit | commitdiff | tree | snapshot
2019-07-29 weiyufix bug commit | commitdiff | tree | snapshot
2019-07-29 weiyuadd pthread_cond_destory commit | commitdiff | tree | snapshot
2019-07-29 weiyuperformance fix commit | commitdiff | tree | snapshot
2019-07-29 rootFix performance issue commit | commitdiff | tree | snapshot
2019-07-29 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer... commit | commitdiff | tree | snapshot
2019-07-29 rootbug fix commit | commitdiff | tree | snapshot
2019-07-28 rootbug fix commit | commitdiff | tree | snapshot
2019-07-28 rootedit commit | commitdiff | tree | snapshot
2019-07-28 bdemskyimprove complexity commit | commitdiff | tree | snapshot
2019-07-27 rootbug fix commit | commitdiff | tree | snapshot
2019-07-27 rootremove print statements commit | commitdiff | tree | snapshot
2019-07-27 rootLock model check when we terminate proxy thread commit | commitdiff | tree | snapshot
2019-07-27 bdemskyNew TLS strategy... commit | commitdiff | tree | snapshot
2019-07-27 weiyuMerge branch 'new_fuzzer' into branch-weiyu commit | commitdiff | tree | snapshot
2019-07-27 weiyuplanning to build a predicate generator based on values... commit | commitdiff | tree | snapshot
2019-07-25 rootBug fixes to atomic logic commit | commitdiff | tree | snapshot
2019-07-25 rootExperimental TLS support. commit | commitdiff | tree | snapshot
2019-07-25 weiyulittle fixes commit | commitdiff | tree | snapshot
2019-07-25 weiyuavoid the use of 'func_id_list_t *' to prevent potentia... commit | commitdiff | tree | snapshot
2019-07-24 rootMake everything do stores + add more buffer for printing commit | commitdiff | tree | snapshot
2019-07-23 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer... commit | commitdiff | tree | snapshot
2019-07-23 weiyufix bug commit | commitdiff | tree | snapshot
2019-07-23 Brian DemskyMerge branch 'new_fuzzer' of /home/git/random-fuzzer... commit | commitdiff | tree | snapshot
2019-07-23 rootAdd model checker check before trylock commit | commitdiff | tree | snapshot
2019-07-23 weiyuinitialize the newly added element in the vector when... commit | commitdiff | tree | snapshot
2019-07-23 bdemskyName change commit | commitdiff | tree | snapshot
2019-07-23 bdemskyRemove mention of CDSChecker commit | commitdiff | tree | snapshot
2019-07-22 Brian Demskybug fix commit | commitdiff | tree | snapshot
2019-07-22 rootremove some datarace code commit | commitdiff | tree | snapshot
2019-07-22 Brian Demskyfix merge issue commit | commitdiff | tree | snapshot
2019-07-22 Brian Demskyvolatile support commit | commitdiff | tree | snapshot
2019-07-22 rootfix conflict commit | commitdiff | tree | snapshot
2019-07-22 weiyuadd function calls for volatile loads and stores commit | commitdiff | tree | snapshot
2019-07-22 Brian DemskySupport for reading from nonatomic stores...A little... commit | commitdiff | tree | snapshot
2019-07-22 weiyuadd a special order for volatile loads and stores commit | commitdiff | tree | snapshot
2019-07-20 weiyuable to get a FuncNode by function id commit | commitdiff | tree | snapshot
2019-07-19 weiyumove the 'link_insts' method to FuncNode class commit | commitdiff | tree | snapshot
next
C11 Tester Tool Public Repository