projects / c11tester.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer
[c11tester.git] / include /
2019-06-21 Brian DemskyMerge branch 'new_fuzzer' of /home/git/random-fuzzer... tree | commitdiff
2019-06-21 bdemskychanges tree | commitdiff
2019-06-19 Brian Demskyfixup merge a bit tree | commitdiff
2019-06-19 Brian DemskyMerge branch 'branch-weiyu' into new_fuzzer tree | commitdiff
2019-06-19 rootmerge tree | commitdiff
2019-06-17 weiyurename pthead.h to mypthread.h tree | commitdiff
2019-06-14 weiyuadd source line number as a parameter to ModelAction tree | commitdiff
2019-06-14 weiyuadd a missing line tree | commitdiff
2019-06-14 weiyuadd support for function calls 'atomic_init' and 'atomi... tree | commitdiff
2019-06-14 weiyurename mypthread.h to pthread.h tree | commitdiff
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer... tree | commitdiff
2019-06-11 bdemskyFix RMW bug tree | commitdiff
2019-06-05 bdemskymake some changes with hacks tree | commitdiff
2019-05-28 weiyuchange the namespace of mutex from std to cdsc tree | commitdiff
2019-03-01 weiyuadd support for condition variable tree | commitdiff
2019-02-01 weiyupthread_join is able to return values tree | commitdiff
2019-01-24 weiyuadd support for pthread_mutex tree | commitdiff
2019-01-08 weiyuchange cds checker to accomdate llvm pass tree | commitdiff
2015-09-02 bdemskyAdd SCFence analysis tree | commitdiff
2015-06-22 bdemskybug fix for atomic adds/subtracts on pointers tree | commitdiff
2014-01-25 bdemskyAnnotation Support tree | commitdiff
2013-08-14 Brian Norristhreads: kill clang warnings about struct/class Thread tree | commitdiff
2013-08-14 Brian Norrisimpatomic: silence more clang warnings tree | commitdiff
2013-03-08 Brian Norrismodel-assert: include <stdbool.h> tree | commitdiff
2013-03-06 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2013-03-06 Brian NorrisMerge remote 'yield' work tree | commitdiff
2013-03-06 Brian Norrisimpatomic: fences linker error tree | commitdiff
2013-03-03 Brian Norrismutex: change 'islocked' to hold Thread pointer tree | commitdiff
2013-02-20 Brian Norrisinclude: fixup header inclusion tree | commitdiff
2013-01-02 Brian Norristhreads: change thrd_t to store Thread pointer tree | commitdiff
2012-12-12 Brian Norrisimpatomic: add C++ atomic_init() tree | commitdiff
2012-12-05 Brian Norrisimpatomic: move atomic_{thread,signal}_fence() to names... tree | commitdiff
2012-11-30 Brian Norrisimpatomic: add atomic_{thread,signal}_fence() definitions tree | commitdiff
2012-11-30 Brian Norrisimpatomic: remove fence member functions tree | commitdiff
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker tree | commitdiff
2012-11-15 Brian Demskymerge tree | commitdiff
2012-11-14 Brian Norrismodel-assert: add MODEL_ASSERT() for user programs tree | commitdiff
2012-11-14 Brian Norrisrace: where possible, use "const void *" for addresses tree | commitdiff
2012-11-04 Brian NorrisMerge branch 'master' into pldi13 tree | commitdiff
2012-11-03 Brian Norrismodel-assert: add MODEL_ASSERT() for user programs tree | commitdiff
2012-10-12 Brian Norristhread_id_t: add comments tree | commitdiff
2012-10-12 Brian Norrismodeltypes: move to include/ dir, for now tree | commitdiff
2012-10-12 Brian Norrismutex: define empty destructor tree | commitdiff
2012-10-12 Brian Norriscondition_variable: move header tree | commitdiff
2012-10-12 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2012-10-12 Brian Norrismove other interface headers to include/ tree | commitdiff
2012-10-11 Brian Norrismutex: move mutex.h to standard name/location tree | commitdiff
2012-10-11 Brian Norrisinclude/: add small header comments tree | commitdiff
2012-10-11 Brian Norrisimpatomic: add multiple-inclusion guards tree | commitdiff
2012-10-10 Brian NorrisMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-10-10 Brian Norrisimpatomic: add strong/weak compare_exchange tree | commitdiff
2012-10-10 Brian Norristhreads: correct 'thrd_yield()' tree | commitdiff
2012-10-10 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2012-10-10 Brian NorrisMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-10-10 Brian Norrisimpatomic: rename all 'swap' to 'exchange' tree | commitdiff
2012-10-10 Brian Norrisinclude: add multiple-inclusion guards tree | commitdiff
2012-10-09 Brian Norrismove libthreads.h -> include/threads.h tree | commitdiff
2012-10-09 Brian Norrisinclude: add <atomic> header tree | commitdiff
2012-09-14 Brian NorrisMerge branch 'norris' tree | commitdiff
2012-09-14 Brian Demsky(1) add actions for the fence tree | commitdiff
2012-08-11 Brian Norrisimpatomic.h: fixup spacing tree | commitdiff
2012-08-02 Brian Demskytowards making rmw work... tree | commitdiff
2012-08-02 Brian Norrispull in most of atomic header file tree | commitdiff
2012-08-02 Brian Demskysplit these defs out of other stuff tree | commitdiff
2012-08-02 Brian Demskyswitch rest over to model checker... might work now tree | commitdiff
2012-08-02 Brian Demskyfix missing atomic... tree | commitdiff
2012-08-02 Brian Demskyrewrite macros tree | commitdiff
2012-08-02 Brian Demskyimport header file from specification tree | commitdiff
C11 Tester Tool Public Repository