projects / model-checker.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix snapshot code
[model-checker.git] / include / impatomic.h
2015-06-22 bdemskybug fix for atomic adds/subtracts on pointers commit | commitdiff
2013-08-14 Brian Norrisimpatomic: silence more clang warnings commit | commitdiff
2013-03-06 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff
2013-03-06 Brian NorrisMerge remote 'yield' work commit | commitdiff
2013-03-06 Brian Norrisimpatomic: fences linker error commit | commitdiff
2013-02-20 Brian Norrisinclude: fixup header inclusion commit | commitdiff
2012-12-12 Brian Norrisimpatomic: add C++ atomic_init() commit | commitdiff
2012-12-05 Brian Norrisimpatomic: move atomic_{thread,signal}_fence() to names... commit | commitdiff
2012-11-30 Brian Norrisimpatomic: add atomic_{thread,signal}_fence() definitions commit | commitdiff
2012-11-30 Brian Norrisimpatomic: remove fence member functions commit | commitdiff
2012-10-12 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff
2012-10-11 Brian Norrisinclude/: add small header comments commit | commitdiff
2012-10-11 Brian Norrisimpatomic: add multiple-inclusion guards commit | commitdiff
2012-10-10 Brian NorrisMerge remote-tracking branch 'origin/master' commit | commitdiff
2012-10-10 Brian Norrisimpatomic: add strong/weak compare_exchange commit | commitdiff
2012-10-10 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff
2012-10-10 Brian NorrisMerge remote-tracking branch 'origin/master' commit | commitdiff
2012-10-10 Brian Norrisimpatomic: rename all 'swap' to 'exchange' commit | commitdiff
2012-09-14 Brian NorrisMerge branch 'norris' commit | commitdiff
2012-09-14 Brian Demsky(1) add actions for the fence commit | commitdiff
2012-08-11 Brian Norrisimpatomic.h: fixup spacing commit | commitdiff
2012-08-02 Brian Demskytowards making rmw work... commit | commitdiff
2012-08-02 Brian Norrispull in most of atomic header file commit | commitdiff
2012-08-02 Brian Demskyswitch rest over to model checker... might work now commit | commitdiff
2012-08-02 Brian Demskyfix missing atomic... commit | commitdiff
2012-08-02 Brian Demskyrewrite macros commit | commitdiff
2012-08-02 Brian Demskyimport header file from specification commit | commitdiff
C++11 memory model checker