projects / c11tester.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update readme
[c11tester.git] / cmodelint.cc
2020-12-08 weiyuremove unused code commit | commitdiff
2020-09-05 weiyuChange initialize a bit commit | commitdiff
2020-09-03 weiyuFind a faster way to get currently executing thread... commit | commitdiff
2020-09-03 weiyuRemove unused functions commit | commitdiff
2020-08-29 Brian DemskyEliminate system context commit | commitdiff
2020-08-25 weiyuMerge branch 'master' of /home/git/random-fuzzer into... commit | commitdiff
2020-08-22 weiyuOnly consume THREAD_FINISH action in the master context commit | commitdiff
2020-08-11 weiyuReplace some switch_to_master with switch_thread commit | commitdiff
2020-01-07 Brian DemskyMy configuration commit | commitdiff
2019-12-10 Brian DemskyMerge branch 'branch-weiyu' of ssh://plrg.eecs.uci... commit | commitdiff
2019-12-04 weiyuFix NewFuzzer::selectWrite - check back edges commit | commitdiff
2019-11-21 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu:/home... commit | commitdiff
2019-11-20 bdemskyAdd datarace support for atomics and calloc commit | commitdiff
2019-11-14 weiyuVersion that finds the bug of iris commit | commitdiff
2019-08-20 weiyuMerge branch 'master' into branch-weiyu commit | commitdiff
2019-08-01 weiyulittle fixes commit | commitdiff
2019-08-01 weiyumerge commit | commitdiff
2019-07-31 weiyumerge commit | commitdiff
2019-07-31 roottabbing commit | commitdiff
2019-07-31 rootbug fix commit | commitdiff
2019-07-29 weiyufix bug commit | commitdiff
2019-07-29 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer... commit | commitdiff
2019-07-27 weiyuMerge branch 'new_fuzzer' into branch-weiyu commit | commitdiff
2019-07-25 rootExperimental TLS support. commit | commitdiff
2019-07-24 rootMake everything do stores + add more buffer for printing commit | commitdiff
2019-07-22 rootremove some datarace code commit | commitdiff
2019-07-22 Brian Demskyvolatile support commit | commitdiff
2019-07-22 rootfix conflict commit | commitdiff
2019-07-22 weiyuadd function calls for volatile loads and stores commit | commitdiff
2019-07-19 rootMore code towards support non-atomic stores commit | commitdiff
2019-07-16 bdemskyMake atomics actually write to memory for compatibility... commit | commitdiff
2019-07-16 bdemskyeliminate redundancy commit | commitdiff
2019-07-16 bdemskyrun tabbing pass commit | commitdiff
2019-07-12 weiyufix a bug in cds_func_exit commit | commitdiff
2019-07-12 weiyufix a bug commit | commitdiff
2019-07-11 weiyuMerge branch 'new_fuzzer' into branch-weiyu commit | commitdiff
2019-07-11 rootGet data race detector working... Commented out functi... commit | commitdiff
2019-07-08 weiyumerge and resolve conflict commit | commitdiff
2019-07-06 weiyuadd func_map_rev to map function ids to function names commit | commitdiff
2019-07-01 weiyufix git conflict commit | commitdiff
2019-06-27 bdemskyrevamp scheduler so we can start threads early commit | commitdiff
2019-06-26 Brian DemskyGet gdax to not crash commit | commitdiff
2019-06-26 bdemskyadd more functions commit | commitdiff
2019-06-26 bdemskymore fixes commit | commitdiff
2019-06-26 bdemskybug fixes commit | commitdiff
2019-06-26 bdemskymore bug fixes commit | commitdiff
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer... commit | commitdiff
2019-06-26 bdemskyMore changes commit | commitdiff
2019-06-26 bdemskyredo model object initialization commit | commitdiff
2019-06-25 weiyuadd a new class 'ModelHistory' commit | commitdiff
2019-06-24 weiyufix a bug for ATOMIC_RMWCAS commit | commitdiff
2019-06-24 weiyuadd run time library for function entries and exits commit | commitdiff
2019-06-21 bdemskyfix CAS operation commit | commitdiff
2019-06-19 Brian Demskyrun tabbing pass commit | commitdiff
2019-06-19 Brian Demskyfixup merge a bit commit | commitdiff
2019-06-19 Brian DemskyMerge branch 'branch-weiyu' into new_fuzzer commit | commitdiff
2019-06-19 rootmerge commit | commitdiff
2019-06-14 weiyuadd source line number as a parameter to ModelAction commit | commitdiff
2019-06-14 weiyuadd support for function calls 'atomic_init' and 'atomi... commit | commitdiff
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer... commit | commitdiff
2019-06-11 bdemskyfix tabbing commit | commitdiff
2019-06-11 bdemskyFix RMW bug commit | commitdiff
2019-01-08 weiyuchange cds checker to accomdate llvm pass commit | commitdiff
2013-04-16 Brian Norrisaction: bugfix - use non-zero fence "location" commit | commitdiff
2013-02-20 Brian Norrisdon't include action.h from model.h commit | commitdiff
2012-12-12 Brian Norrismodel: return value from switch_to_master commit | commitdiff
2012-10-09 Brian Norrisrename threads.h -> threads-model.h commit | commitdiff
2012-10-04 Brian DemskyMerge branch 'master' of /home/git/model-checker commit | commitdiff
2012-10-03 Brian NorrisMerge remote-tracking branch 'origin/master' commit | commitdiff
2012-10-03 Brian Norrismodeltypes: move small typedefs to own header commit | commitdiff
2012-09-14 Brian NorrisMerge branch 'norris' commit | commitdiff
2012-09-14 Brian Demsky(1) add actions for the fence commit | commitdiff
2012-08-02 Brian DemskyAdd documentation commit | commitdiff
2012-08-02 Brian Demskytowards making rmw work... commit | commitdiff
2012-08-02 Brian Norrispull in most of atomic header file commit | commitdiff
C11 Tester Tool Public Repository