Remove unused headers
[c11tester.git] / include /
2020-09-16 weiyuRemove unused headers master
2020-08-29 Brian DemskyEliminate system context
2020-08-25 weiyuMerge branch 'master' of /home/git/random-fuzzer into...
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-25 weiyuMake our pthread id starts from 2. Reserve id 1 for...
2020-03-21 weiyuAdd pthread functions
2019-11-26 bdemskyRun tabbing pass
2019-11-21 bdemskyMerge branch 'master' of ssh://
2019-10-15 weiyuFixes
2019-09-30 weiyuFactor predicate expression types into a separate file
2019-09-09 weiyuRemove unused codes
2019-08-20 weiyuMerge branch 'master' into branch-weiyu
2019-08-01 weiyumerge
2019-08-01 weiyuchange the data structure of thrd_func_inst_list becaus...
2019-07-31 weiyumerge
2019-07-30 bdemskymore fixes
2019-07-29 bdemskyedits
2019-07-29 weiyuadd pthread_cond_destory
2019-07-22 Brian Demskybug fix
2019-07-22 Brian Demskyvolatile support
2019-07-22 rootfix conflict
2019-07-22 weiyuadd function calls for volatile loads and stores
2019-07-22 weiyuadd a special order for volatile loads and stores
2019-07-19 weiyuadd pthread_cond_broadcast
2019-07-19 rootMore code towards support non-atomic stores
2019-07-08 weiyumerge and resolve conflict
2019-07-02 bdemskymemoize hb in writes
2019-07-01 weiyufix git conflict
2019-06-28 roottabbing plus lots of memory fixes
2019-06-26 Brian DemskyGet gdax to not crash
2019-06-26 bdemskyadd more functions
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-26 bdemskyredo model object initialization
2019-06-24 weiyuadd run time library for function entries and exits
2019-06-21 bdemskyfix CAS operation
2019-06-21 Brian DemskyMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-21 bdemskychanges
2019-06-19 Brian Demskyfixup merge a bit
2019-06-19 Brian DemskyMerge branch 'branch-weiyu' into new_fuzzer
2019-06-19 rootmerge
2019-06-17 weiyurename pthead.h to mypthread.h
2019-06-14 weiyuadd source line number as a parameter to ModelAction
2019-06-14 weiyuadd a missing line
2019-06-14 weiyuadd support for function calls 'atomic_init' and 'atomi...
2019-06-14 weiyurename mypthread.h to pthread.h
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-11 bdemskyFix RMW bug
2019-06-05 bdemskymake some changes with hacks
2019-05-28 weiyuchange the namespace of mutex from std to cdsc
2019-03-01 weiyuadd support for condition variable
2019-02-01 weiyupthread_join is able to return values
2019-01-24 weiyuadd support for pthread_mutex
2019-01-08 weiyuchange cds checker to accomdate llvm pass
2015-09-02 bdemskyAdd SCFence analysis
2015-06-22 bdemskybug fix for atomic adds/subtracts on pointers
2014-01-25 bdemskyAnnotation Support
2013-08-14 Brian Norristhreads: kill clang warnings about struct/class Thread
2013-08-14 Brian Norrisimpatomic: silence more clang warnings
2013-03-08 Brian Norrismodel-assert: include <stdbool.h>
2013-03-06 Brian DemskyMerge branch 'master' of ssh://
2013-03-06 Brian NorrisMerge remote 'yield' work
2013-03-06 Brian Norrisimpatomic: fences linker error
2013-03-03 Brian Norrismutex: change 'islocked' to hold Thread pointer
2013-02-20 Brian Norrisinclude: fixup header inclusion
2013-01-02 Brian Norristhreads: change thrd_t to store Thread pointer
2012-12-12 Brian Norrisimpatomic: add C++ atomic_init()
2012-12-05 Brian Norrisimpatomic: move atomic_{thread,signal}_fence() to names...
2012-11-30 Brian Norrisimpatomic: add atomic_{thread,signal}_fence() definitions
2012-11-30 Brian Norrisimpatomic: remove fence member functions
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-11-15 Brian Demskymerge
2012-11-14 Brian Norrismodel-assert: add MODEL_ASSERT() for user programs
2012-11-14 Brian Norrisrace: where possible, use "const void *" for addresses
2012-11-04 Brian NorrisMerge branch 'master' into pldi13
2012-11-03 Brian Norrismodel-assert: add MODEL_ASSERT() for user programs
2012-10-12 Brian Norristhread_id_t: add comments
2012-10-12 Brian Norrismodeltypes: move to include/ dir, for now
2012-10-12 Brian Norrismutex: define empty destructor
2012-10-12 Brian Norriscondition_variable: move header
2012-10-12 Brian DemskyMerge branch 'master' of ssh://
2012-10-12 Brian Norrismove other interface headers to include/
2012-10-11 Brian Norrismutex: move mutex.h to standard name/location
2012-10-11 Brian Norrisinclude/: add small header comments
2012-10-11 Brian Norrisimpatomic: add multiple-inclusion guards
2012-10-10 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-10 Brian Norrisimpatomic: add strong/weak compare_exchange
2012-10-10 Brian Norristhreads: correct 'thrd_yield()'
2012-10-10 Brian DemskyMerge branch 'master' of ssh://
2012-10-10 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-10 Brian Norrisimpatomic: rename all 'swap' to 'exchange'
2012-10-10 Brian Norrisinclude: add multiple-inclusion guards
2012-10-09 Brian Norrismove libthreads.h -> include/threads.h
2012-10-09 Brian Norrisinclude: add <atomic> header
2012-09-14 Brian NorrisMerge branch 'norris'
2012-09-14 Brian Demsky(1) add actions for the fence
2012-08-11 Brian Norrisimpatomic.h: fixup spacing
2012-08-02 Brian Demskytowards making rmw work...