model: add variable arguments for bug messages
[model-checker.git] / include /
2013-03-08 Brian Norrismodel-assert: include <stdbool.h>
2013-03-06 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
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://demsky.eecs.uci.edu...
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://demsky.eecs.uci.edu...
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...
2012-08-02 Brian Norrispull in most of atomic header file
2012-08-02 Brian Demskysplit these defs out of other stuff
2012-08-02 Brian Demskyswitch rest over to model checker... might work now
2012-08-02 Brian Demskyfix missing atomic...
2012-08-02 Brian Demskyrewrite macros
2012-08-02 Brian Demskyimport header file from specification