projects / c11tester.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model: kill unneeded local variable
[c11tester.git] / action.cc
2012-09-07 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... blob | commitdiff | raw
2012-09-06 Brian NorrisMerge branch 'norris' blob | commitdiff | raw
2012-09-06 Brian Norrisaction: add THREAD_FINISH action blob | commitdiff | raw
2012-09-04 Brian Norrisaction: print '?' for unknown read-from-future blob | commitdiff | raw | diff to current
2012-08-24 Brian Norrisaction, clockvector: add 'has_synchronized_with()'... blob | commitdiff | raw | diff to current
2012-08-24 Brian Norrisaction: utilize release sequence(s) for synchronization blob | commitdiff | raw | diff to current
2012-08-24 Brian Norrisaction: (assertion) disallow out-of-order synchronization blob | commitdiff | raw | diff to current
2012-08-23 Brian Norrisaction: update 'reads_from' field before synchronization blob | commitdiff | raw | diff to current
2012-08-16 Brian NorrisMerge branch 'norris' blob | commitdiff | raw | diff to current
2012-08-16 Brian Norrisaction: don't merge twice in read_from() blob | commitdiff | raw | diff to current
2012-08-16 Brian Norrisaction: rework/rename 'synchronized()' to 'synchronize_... blob | commitdiff | raw | diff to current
2012-08-02 Brian Norrisaction: add memory_order printing blob | commitdiff | raw | diff to current
2012-08-02 Brian Demskyokay...known bugs for my trivial test are out of send... blob | commitdiff | raw | diff to current
2012-08-02 Brian Demskychanges blob | commitdiff | raw | diff to current
2012-08-02 Brian Demskyfix my todo comments so they appear in documentation blob | commitdiff | raw | diff to current
2012-08-02 Brian DemskyAdd documentation blob | commitdiff | raw | diff to current
2012-08-02 Brian Demskytowards making rmw work... blob | commitdiff | raw | diff to current
2012-08-02 Brian Norrisaction: add stub ATOMIC_RMWR and ATOMIC_RMWC blob | commitdiff | raw | diff to current
2012-08-02 Brian Norrispull in most of atomic header file blob | commitdiff | raw | diff to current
2012-08-02 Brian Demskysmall changes (things still work) towards support RMW blob | commitdiff | raw | diff to current
2012-07-17 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... blob | commitdiff | raw | diff to current
2012-07-17 Brian Norrisaction: fix uint64_t printf warning blob | commitdiff | raw | diff to current
2012-07-16 Brian Demskyreally should be using a type that is big enough for... blob | commitdiff | raw | diff to current
2012-07-12 Brian NorrisMerge branch 'master' into brian blob | commitdiff | raw | diff to current
2012-07-11 Brian Norrisaction / threads: add THREAD_START action at start... blob | commitdiff | raw | diff to current
2012-07-11 Brian Norrisaction: add 'reads_from' member variable blob | commitdiff | raw | diff to current
2012-07-11 Brian Norrisremove EOL spaces, fix indentation blob | commitdiff | raw | diff to current
2012-07-07 Brian NorrisMerge branch 'datarace' blob | commitdiff | raw | diff to current
2012-07-07 Brian Norrisaction: use constructor initializer list blob | commitdiff | raw | diff to current
2012-07-07 Brian Norrisaction: support ATOMIC_INIT blob | commitdiff | raw | diff to current
2012-07-06 Brian Norrisadd more const qualifiers blob | commitdiff | raw | diff to current
2012-07-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... blob | commitdiff | raw | diff to current
2012-07-03 Brian NorrisMerge branch 'brian' blob | commitdiff | raw | diff to current
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu... blob | commitdiff | raw | diff to current
2012-06-21 Brian Norrisaction: add const qualifier blob | commitdiff | raw | diff to current
2012-06-21 Brian NorrisMerge branch 'sandbox' (remove finalize()) blob | commitdiff | raw | diff to current
2012-06-21 Brian Norrisaction: add happens_before() function blob | commitdiff | raw | diff to current
2012-06-19 Brian Norrisaction: add const qualifiers blob | commitdiff | raw | diff to current
2012-06-19 Brian Norrisaction: replace condition check with ASSERT() blob | commitdiff | raw | diff to current
2012-06-06 Brian Demsky1) Add more comments. blob | commitdiff | raw | diff to current
2012-06-06 Brian Demskyadd support for docs blob | commitdiff | raw | diff to current
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu... blob | commitdiff | raw | diff to current
2012-05-29 Brian Norrisnodestack: push 'create_cv' functionality responsibilit... blob | commitdiff | raw | diff to current
2012-05-28 Brian Norrisclockvector: fixup initialization blob | commitdiff | raw | diff to current
2012-05-26 Brian Norrisaction: enhance print() message blob | commitdiff | raw | diff to current
2012-05-26 Brian Norrisaction: add create_cv() and read_from() blob | commitdiff | raw | diff to current
2012-05-26 Brian Norrisaction: add clock vector field, destructor blob | commitdiff | raw | diff to current
2012-05-26 Brian Norrisaction: use proper location comparison blob | commitdiff | raw | diff to current
2012-05-21 Brian NorrisMerge commit: branch 'work' blob | commitdiff | raw | diff to current
2012-05-15 Brian Norrisaction: neuter the "same_var" function for now... blob | commitdiff | raw | diff to current
2012-05-08 Brian Norrisaction: split ModelAction off into action.cc blob | commitdiff | raw | diff to current
C11 Tester Tool Public Repository