fix mutex_trylock bug
[c11tester.git] /
2020-09-05 weiyufix mutex_trylock bug
2020-08-29 Brian DemskyEliminate system context
2020-08-25 weiyuMerge branch 'master' of /home/git/random-fuzzer into...
2020-08-25 weiyuedits
2020-04-17 weiyuReimplement hash table remove method
2020-04-10 weiyuMerge branch 'newactionlist' of /home/git/random-fuzzer...
2020-04-08 weiyuUse simple_action_list for conditionvariable waiters
2020-04-03 weiyuDo not report deadlock on relocking a recursive mutex...
2020-03-21 weiyuAdd pthread functions
2019-11-26 bdemskyRun tabbing pass
2019-11-26 bdemskyMerge branch 'branch-weiyu' of ssh://plrg.eecs.uci...
2019-11-21 bdemskyMerge branch 'master' of ssh://
2019-11-20 weiyuImplement both pthread_yield and c++ thread yield
2019-10-18 weiyuModified the implementation of usleep and make ModelExe...
2019-09-19 weiyuFix a bug in pthread_mutex_unlock; initialize mutex...
2019-09-06 weiyuModify the implementation of wait and timed wait operation
2019-08-20 weiyuMerge branch 'master' into branch-weiyu
2019-08-01 weiyumerge
2019-08-01 rootadd sleep support
2019-08-01 weiyuchange the data structure of thrd_func_inst_list becaus...
2019-07-31 weiyumerge
2019-07-31 weiyuchange some data structures
2019-07-30 bdemskymore fixes
2019-07-29 rootedits
2019-07-29 weiyuadd pthread_cond_destory
2019-07-29 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
2019-07-27 weiyuMerge branch 'new_fuzzer' into branch-weiyu
2019-07-25 rootExperimental TLS support.
2019-07-23 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
2019-07-23 Brian DemskyMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-07-23 rootAdd model checker check before trylock
2019-07-22 rootfix conflict
2019-07-19 weiyuadd pthread_cond_broadcast
2019-07-01 weiyufix git conflict
2019-06-29 rootadd pthread_detach function
2019-06-28 roottabbing plus lots of memory fixes
2019-06-28 roottowards not calling system malloc
2019-06-27 bdemskyrevamp scheduler so we can start threads early
2019-06-26 Brian DemskyGet gdax to not crash
2019-06-26 bdemskymore bug fixes
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-26 bdemskyMore changes
2019-06-26 bdemskyredo model object initialization
2019-06-19 rootmerge
2019-06-17 weiyurename pthead.h to mypthread.h
2019-06-14 weiyurename mypthread.h to pthread.h
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-12 bdemskyfix tabbing comment issue
2019-06-11 bdemskyfix tabbing
2019-06-05 bdemskymake some changes with hacks
2019-06-05 bdemskyMore fuzzing changes
2019-06-04 bdemskytowards fuzzing only
2019-06-04 bdemskyremove old release sequences
2019-06-04 bdemskyRemove promises
2019-05-29 weiyuclean up
2019-05-28 weiyuchange the namespace of mutex from std to cdsc
2019-03-01 weiyuadd support for condition variable
2019-02-15 weiyumove pthread_map and mutex_map inside of execution.h
2019-02-01 weiyupthread_join is able to return values
2019-01-24 weiyuadd support for pthread_mutex