projects / c11tester.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model: optimize get_last_conflict() search
[c11tester.git] / test /
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker tree | commitdiff
2012-11-14 Brian Norristest: add AB/BA deadlock test tree | commitdiff
2012-11-07 Brian Norristest: add AB/BA deadlock test tree | commitdiff
2012-10-29 Brian Norristests: add thinair test tree | commitdiff
2012-10-29 Brian Norristests: use signed printf format tree | commitdiff
2012-10-25 Brian Demskycheck in test tree | commitdiff
2012-10-25 Brian Demskyadd test from nitpick paper... tree | commitdiff
2012-10-12 Brian Norriscondition_variable: move header tree | commitdiff
2012-10-12 Brian Demskyadd two test cases tree | commitdiff
2012-10-09 Brian Norristests: use <stdatomic.h> tree | commitdiff
2012-10-09 Brian Norrismove libthreads.h -> include/threads.h tree | commitdiff
2012-10-09 Brian Norrisuser_main: pass remaining arguments to the user program tree | commitdiff
2012-10-08 Brian Norristest: linuxrwlocks: fixup spacing tree | commitdiff
2012-10-08 Brian Demskymerge massive speedup with release sequence support... tree | commitdiff
2012-10-08 Brian Norristest: add "double release sequence" test tree | commitdiff
2012-10-08 Brian NorrisMerge branch 'norris' tree | commitdiff
2012-10-08 Brian Norristests: add some normal loads/stores to test data races tree | commitdiff
2012-10-03 Brian Norristest: add a "pending release sequences" test tree | commitdiff
2012-09-20 Brian NorrisMakefile: move common Mac flags to common.mk tree | commitdiff
2012-09-20 Brian Demskychanges tree | commitdiff
2012-09-20 Brian Demskypush changes tree | commitdiff
2012-09-19 Brian Demskyfix tree | commitdiff
2012-09-19 Brian Demskymerge in master tree | commitdiff
2012-09-18 Brian Norristests: add releaseseq test tree | commitdiff
2012-09-14 Brian NorrisMerge branch 'norris' tree | commitdiff
2012-09-14 Brian Demskyadd support for dumping cyclegraphs as dot files..... tree | commitdiff
2012-09-13 Brian NorrisMerge remote-tracking branch 'origin/makefile' tree | commitdiff
2012-09-13 Brian Norriscleanup style tree | commitdiff
2012-09-13 Brian Demskycommit new test case tree | commitdiff
2012-09-12 Brian NorrisMerge branch 'demsky' tree | commitdiff
2012-09-11 Brian Demskylinuxrwlocks: two bug fixes; guess the model checker... tree | commitdiff
2012-09-07 Brian Demskychanges tree | commitdiff
2012-09-06 Brian NorrisMerge branch 'norris' tree | commitdiff
2012-09-05 Brian Demskyanother example tree | commitdiff
2012-08-20 Brian Norristest/Makefile: remove pointless variable tree | commitdiff
2012-08-02 Brian NorrisMerge branch 'brian' tree | commitdiff
2012-08-02 Brian NorrisMakefile: wire up test/ directory for compilation tree | commitdiff
2012-08-02 Brian Norrisuserprog: move to 'test/' directory tree | commitdiff
C11 Tester Tool Public Repository