projects / c11tester.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
c11tester.git
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
2019-07-19 weiyuchange the data structure for storing last read values... commit | commitdiff | tree | snapshot
2019-07-19 weiyuadd pthread_cond_broadcast commit | commitdiff | tree | snapshot
2019-07-19 rootMore code towards support non-atomic stores commit | commitdiff | tree | snapshot
2019-07-19 weiyuadd a data structure to store the values read by last... commit | commitdiff | tree | snapshot
2019-07-19 bdemskyAdd support for converting normal writes into ModelActi... commit | commitdiff | tree | snapshot
2019-07-18 weiyuname variables commit | commitdiff | tree | snapshot
2019-07-18 weiyufunction id should start with 1 rather than 0 commit | commitdiff | tree | snapshot
2019-07-17 bdemskyTrack whether a write was from an atomic commit | commitdiff | tree | snapshot
2019-07-16 bdemskyMake atomics actually write to memory for compatibility... commit | commitdiff | tree | snapshot
2019-07-16 bdemskyeliminate redundancy commit | commitdiff | tree | snapshot
2019-07-16 bdemskyTowards not reporting the same datarace twice commit | commitdiff | tree | snapshot
2019-07-16 bdemskyrun tabbing pass commit | commitdiff | tree | snapshot
2019-07-16 weiyuallow the fuzzer to continue if only a few data races... commit | commitdiff | tree | snapshot
2019-07-15 weiyufix a bug about RaceRecord capacity commit | commitdiff | tree | snapshot
2019-07-15 bdemskyadd asserts commit | commitdiff | tree | snapshot
2019-07-15 weiyuignore futex notify if no successful futex wait was... commit | commitdiff | tree | snapshot
2019-07-15 weiyuuse the hashset and hashtable implementation from satch... commit | commitdiff | tree | snapshot
2019-07-12 weiyufix a bug in cds_func_exit commit | commitdiff | tree | snapshot
2019-07-12 weiyufix a bug commit | commitdiff | tree | snapshot
2019-07-11 weiyuMerge branch 'new_fuzzer' into branch-weiyu commit | commitdiff | tree | snapshot
2019-07-11 weiyucommit stuff before merge commit | commitdiff | tree | snapshot
2019-07-11 rootGet data race detector working... Commented out functi... commit | commitdiff | tree | snapshot
2019-07-10 weiyuaugment hashtable with keyset commit | commitdiff | tree | snapshot
2019-07-09 weiyuadd entry atomic instructions to FuncNode commit | commitdiff | tree | snapshot
2019-07-08 weiyuupdate Makefile and fix compilation error for printf... commit | commitdiff | tree | snapshot
2019-07-08 weiyumerge and resolve conflict commit | commitdiff | tree | snapshot
2019-07-08 weiyuadd a new data structure in execution.h, which is used... commit | commitdiff | tree | snapshot
2019-07-08 weiyufactor out codes for FuncInst class commit | commitdiff | tree | snapshot
2019-07-06 weiyutemporarily remove assertion for 'lock access before... commit | commitdiff | tree | snapshot
2019-07-06 weiyuadd func_map_rev to map function ids to function names commit | commitdiff | tree | snapshot
2019-07-03 bdemskyMaintain list of writes commit | commitdiff | tree | snapshot
2019-07-03 bdemskyOptimize SC lookup commit | commitdiff | tree | snapshot
2019-07-03 Brian Demskyclean up code commit | commitdiff | tree | snapshot
2019-07-03 rootget rid of nodestack commit | commitdiff | tree | snapshot
2019-07-03 rootFork handler mitigations commit | commitdiff | tree | snapshot
2019-07-03 rootFix printf compile issue commit | commitdiff | tree | snapshot
2019-07-02 rootbug fix commit | commitdiff | tree | snapshot
2019-07-02 bdemskymemoize hb in writes commit | commitdiff | tree | snapshot
2019-07-01 weiyuresolve git conflict commit | commitdiff | tree | snapshot
2019-07-01 weiyufix git conflict commit | commitdiff | tree | snapshot
2019-06-30 Brian DemskyDon't call printf commit | commitdiff | tree | snapshot
2019-06-29 bdemskymove check commit | commitdiff | tree | snapshot
2019-06-29 rootadd pthread_detach function commit | commitdiff | tree | snapshot
2019-06-29 Brian DemskyFix bug commit | commitdiff | tree | snapshot
2019-06-29 rootbug fixes commit | commitdiff | tree | snapshot
2019-06-28 weiyumove work_list (thrd_func_list) from history.h to execu... commit | commitdiff | tree | snapshot
2019-06-28 roottabbing plus lots of memory fixes commit | commitdiff | tree | snapshot
2019-06-28 roottowards not calling system malloc commit | commitdiff | tree | snapshot
2019-06-28 weiyuchange data structures commit | commitdiff | tree | snapshot
2019-06-27 rootbug fixes commit | commitdiff | tree | snapshot
2019-06-27 bdemskyrevamp scheduler so we can start threads early commit | commitdiff | tree | snapshot
2019-06-27 weiyuupdate Makefile commit | commitdiff | tree | snapshot
2019-06-27 weiyufactor codes in history.* and move it to funcnode.* commit | commitdiff | tree | snapshot
2019-06-27 weiyuchange func_atomics and work_list to vectors commit | commitdiff | tree | snapshot
2019-06-26 Brian DemskyGet gdax to not crash commit | commitdiff | tree | snapshot
2019-06-26 bdemskyadd more functions commit | commitdiff | tree | snapshot
2019-06-26 bdemskyRedo params commit | commitdiff | tree | snapshot
2019-06-26 bdemskymore fixes commit | commitdiff | tree | snapshot
2019-06-26 bdemskybug fixes commit | commitdiff | tree | snapshot
2019-06-26 bdemskymore bug fixes commit | commitdiff | tree | snapshot
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer... commit | commitdiff | tree | snapshot
2019-06-26 rootchanges commit | commitdiff | tree | snapshot
2019-06-26 bdemskyMore changes commit | commitdiff | tree | snapshot
2019-06-26 bdemskyget rid of some compile errors and warnings commit | commitdiff | tree | snapshot
2019-06-26 bdemskyredo model object initialization commit | commitdiff | tree | snapshot
2019-06-25 weiyuadd a new class 'ModelHistory' commit | commitdiff | tree | snapshot
2019-06-24 weiyufix a bug for ATOMIC_RMWCAS commit | commitdiff | tree | snapshot
2019-06-24 weiyuupdate test cases commit | commitdiff | tree | snapshot
2019-06-24 weiyuadd run time library for function entries and exits commit | commitdiff | tree | snapshot
2019-06-24 weiyuadd a separate rule for futex.o commit | commitdiff | tree | snapshot
2019-06-21 rootchange exit we call so we don't call into client code commit | commitdiff | tree | snapshot
2019-06-21 bdemskyfix CAS operation commit | commitdiff | tree | snapshot
2019-06-21 bdemskyfix tabbing commit | commitdiff | tree | snapshot
2019-06-21 bdemskyMerge branch 'new_fuzzer' of ssh://plrg.eecs.uci.edu... commit | commitdiff | tree | snapshot
2019-06-21 bdemskyedits commit | commitdiff | tree | snapshot
2019-06-21 Brian Demskyperformance improvements commit | commitdiff | tree | snapshot
2019-06-21 Brian DemskyMerge branch 'new_fuzzer' of /home/git/random-fuzzer... commit | commitdiff | tree | snapshot
2019-06-21 rootprune mod order commit | commitdiff | tree | snapshot
2019-06-21 bdemskychanges commit | commitdiff | tree | snapshot
2019-06-20 Brian DemskyOptimizations commit | commitdiff | tree | snapshot
2019-06-19 Brian Demskyrun tabbing pass commit | commitdiff | tree | snapshot
2019-06-19 Brian Demskyfixup merge a bit commit | commitdiff | tree | snapshot
2019-06-19 Brian DemskyMerge branch 'branch-weiyu' into new_fuzzer commit | commitdiff | tree | snapshot
2019-06-19 rootmerge commit | commitdiff | tree | snapshot
2019-06-17 weiyuimplement usleep and sleep system calls as no operation... commit | commitdiff | tree | snapshot
2019-06-17 weiyurename pthead.h to mypthread.h commit | commitdiff | tree | snapshot
2019-06-14 weiyuadd source line number as a parameter to ModelAction commit | commitdiff | tree | snapshot
2019-06-14 weiyuadd a missing line commit | commitdiff | tree | snapshot
2019-06-14 weiyuadd support for function calls 'atomic_init' and 'atomi... commit | commitdiff | tree | snapshot
2019-06-14 weiyurename mypthread.h to pthread.h commit | commitdiff | tree | snapshot
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer... commit | commitdiff | tree | snapshot
2019-06-13 bdemskynew cyclegraph commit | commitdiff | tree | snapshot
2019-06-12 bdemskyMerge branch 'new_fuzzer' into tmp commit | commitdiff | tree | snapshot
next
C11 Tester Tool Public Repository