projects / c11tester.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
c11tester.git
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
2019-06-12 Brian DemskyDon't do complete checks until we choose store to read... commit | commitdiff | tree | snapshot
2019-06-12 bdemskypartial edits commit | commitdiff | tree | snapshot
2019-06-12 bdemskyRemove backedges from cyclegraph commit | commitdiff | tree | snapshot
2019-06-12 bdemskyfix tabbing comment issue commit | commitdiff | tree | snapshot
2019-06-12 bdemskyuncrustify options commit | commitdiff | tree | snapshot
2019-06-12 bdemskyreorder fields to save space commit | commitdiff | tree | snapshot
2019-06-11 bdemskyfix tabbing commit | commitdiff | tree | snapshot
2019-06-11 bdemskyfix tabbing commit | commitdiff | tree | snapshot
2019-06-11 bdemskyremove extra cyclegraph calls commit | commitdiff | tree | snapshot
2019-06-11 bdemskyFix RMW bug commit | commitdiff | tree | snapshot
2019-06-10 weiyuMerge branch 'branch-weiyu' of /home/git/random-fuzzer... commit | commitdiff | tree | snapshot
2019-06-10 weiyuadd subdirectory for tests commit | commitdiff | tree | snapshot
2019-06-06 bdemskyadd uncrustify option commit | commitdiff | tree | snapshot
2019-06-06 bdemskyrefactor choices into own class commit | commitdiff | tree | snapshot
2019-06-05 bdemskymake some changes with hacks commit | commitdiff | tree | snapshot
2019-06-05 bdemskyMore fuzzing changes commit | commitdiff | tree | snapshot
2019-06-04 bdemskyremove another field commit | commitdiff | tree | snapshot
2019-06-04 bdemskyRevert "delete plugins" commit | commitdiff | tree | snapshot
2019-06-04 bdemskyRevert "remove plugins" commit | commitdiff | tree | snapshot
2019-06-04 bdemskytowards fuzzing only commit | commitdiff | tree | snapshot
2019-06-04 bdemskyremove old release sequences commit | commitdiff | tree | snapshot
2019-06-04 bdemskyRemove promises commit | commitdiff | tree | snapshot
2019-06-01 Brian Demskypartial conversion to fuzzer commit | commitdiff | tree | snapshot
2019-05-29 weiyuchange snapshot mode commit | commitdiff | tree | snapshot
2019-05-29 weiyuclean up commit | commitdiff | tree | snapshot
2019-05-29 weiyuadd futex.o as a recipe for libmodel commit | commitdiff | tree | snapshot
2019-05-28 weiyuimplement futex.cc commit | commitdiff | tree | snapshot
2019-05-28 weiyufix the case where no waiter is waiting commit | commitdiff | tree | snapshot
2019-05-28 weiyuadd NOOP to action type commit | commitdiff | tree | snapshot
2019-05-28 weiyuchange the namespace of mutex from std to cdsc commit | commitdiff | tree | snapshot
2019-03-01 weiyuadd support for condition variable commit | commitdiff | tree | snapshot
2019-02-15 weiyuclean up unnecessary member functions commit | commitdiff | tree | snapshot
2019-02-15 weiyumove pthread_map and mutex_map inside of execution.h commit | commitdiff | tree | snapshot
2019-02-01 weiyupthread_join is able to return values commit | commitdiff | tree | snapshot
2019-01-24 weiyuadd support for pthread_mutex commit | commitdiff | tree | snapshot
2019-01-22 weiyupthread join seems to be working commit | commitdiff | tree | snapshot
2019-01-22 weiyupthread_create is working now commit | commitdiff | tree | snapshot
2019-01-18 weiyuadd support for pthread_create (in progress) commit | commitdiff | tree | snapshot
2019-01-17 weiyuadd a new thread constructor for pthread commit | commitdiff | tree | snapshot
2019-01-16 weiyutry to add support for pthread_create/pthread_join commit | commitdiff | tree | snapshot
2019-01-08 weiyuremove two unnecessary files commit | commitdiff | tree | snapshot
2019-01-08 weiyuchange cds checker to accomdate llvm pass commit | commitdiff | tree | snapshot
2018-11-09 weiyuimprove randomization commit | commitdiff | tree | snapshot
2018-10-26 weiyudelete plugins commit | commitdiff | tree | snapshot
2018-10-26 weiyuremove plugins commit | commitdiff | tree | snapshot
next
C11 Tester Tool Public Repository