model: add get_last_seq_cst_fence
[c11tester.git] /
2012-10-10 Brian Norristhreads: correct 'thrd_yield()'
2012-10-09 Brian Norrismove libthreads.h -> include/threads.h
2012-10-09 Brian Norrisrename threads.h -> threads-model.h
2012-10-04 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian Norrisfixup usage of int vs. thread_id_t
2012-09-07 Brian DemskyMerge branch 'master' of ssh://
2012-09-06 Brian NorrisMerge branch 'norris'
2012-09-06 Brian Norrislibthreads: don't spin on THREAD_JOIN
2012-08-16 Brian NorrisMerge branch 'norris'
2012-08-16 Brian Norrismodel: remove useless return code from add_thread()
2012-08-02 Brian Norrispull in most of atomic header file
2012-07-13 Brian Norrislibthreads: thrd_join() always return 0
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://
2012-05-29 Brian Norrislibthreads: pass 'class Thread' object as ModelAction...
2012-05-21 Brian Norrislibthreads: fix thrd_create() to use typedef'd start_ro...
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-21 Brian Demskyfix various problems with my 64-bit clean hack
2012-05-08 Brian Norrisbugfix - set backtrack events according to an *enabled...
2012-05-01 Brian Norristhreads: add id_to_int() and int_to_id() inline functions
2012-04-24 Brian Norrislibthreads: don't create ModelAction for thrd_join()
2012-04-18 Brian Norrislibthreads: only record 'final' even for thrd_join
2012-04-17 Brian Norrisrename threads_internal.h -> threads.h
2012-04-17 Brian Norristhreads/model: move switch_to_master from class Thread...
2012-04-16 Brian Norrislibthreads: split into libthreads and threads
2012-04-16 Brian Norrismajor rewrite - 'struct thread' replaced with internal...
2012-04-10 Brian Norrislibthreads: print out trace at end of execution
2012-04-10 Brian Norrislibthreads: perform 'model checking' when moving to...
2012-04-10 Brian Norrislibthreads: thread_join: return 'int' as status
2012-04-10 Brian Norristhreads_internal: pass the current 'action' to the...
2012-04-10 Brian Norristhreads_internal: add 'thread_switch_to_master()' inter...
2012-04-05 Brian Norrisuse my{Malloc,Free} in model-checking code
2012-03-14 Brian Norrisrename other *.c to *.cc