projects / c11tester.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Compute the threads that a paused thread my wait for
[c11tester.git] / test /
2019-08-20 weiyuMerge branch 'master' into branch-weiyu tree | commitdiff
2019-08-20 bdemskyFix compile and readme tree | commitdiff
2019-07-01 weiyufix git conflict tree | commitdiff
2019-06-26 Brian DemskyGet gdax to not crash tree | commitdiff
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer... tree | commitdiff
2019-06-26 bdemskyget rid of some compile errors and warnings tree | commitdiff
2019-06-19 rootmerge tree | commitdiff
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer... tree | commitdiff
2019-06-11 bdemskyfix tabbing tree | commitdiff
2019-06-05 bdemskyMore fuzzing changes tree | commitdiff
2019-06-04 bdemskytowards fuzzing only tree | commitdiff
2019-06-04 bdemskyRemove promises tree | commitdiff
2019-01-16 weiyutry to add support for pthread_create/pthread_join tree | commitdiff
2019-01-08 weiyuchange cds checker to accomdate llvm pass tree | commitdiff
2015-09-09 Peizhao Ouedits tree | commitdiff
2013-08-14 Brian Norristest: silence some unused-value warnings tree | commitdiff
2013-07-17 Brian Norristest: insanesync: consolidate lines tree | commitdiff
2013-07-17 Brian Norristest: insanesync: remove unnecessary casting tree | commitdiff
2013-07-17 Brian Norristest: insanesync: convert to C++ tree | commitdiff
2013-07-16 Brian Norristest: addr-satcycle: add new address-based sat. cycle... tree | commitdiff
2013-07-10 Brian Norristest: mo-satcycle: add new MO satisfaction cycle example tree | commitdiff
2013-07-10 Brian Norristest: uninit: typo tree | commitdiff
2013-06-04 Brian NorrisMerge branch 'markdown' tree | commitdiff
2013-06-03 Brian DemskyAdd example from java showing legit satisfaction cycle tree | commitdiff
2013-05-29 Brian NorrisMerge remote-tracking branch 'origin/master' tree | commitdiff
2013-05-29 Brian Norristests: Makefile: add dependency information tree | commitdiff
2013-05-29 Brian Norristests: Makefile: eliminate (some) recursive make tree | commitdiff
2013-05-03 Brian NorrisMerge demsky's SC analysis fixup tree | commitdiff
2013-04-26 Brian Norristest: sctest: fix warnings tree | commitdiff
2013-04-26 Brian DemskyFix bug that prevents graph generation from compiling. tree | commitdiff
2013-04-04 Brian Norristest: insanesync: pointer types tree | commitdiff
2013-04-03 Brian Norristest: mutextest: add thread yield point tree | commitdiff
2013-03-22 Brian Demskycorrect comment typo tree | commitdiff
2013-03-22 Brian Demskycheck in insane test case... tree | commitdiff
2013-03-22 Brian NorrisMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2013-03-21 Brian Demskyadd test case... tree | commitdiff
2013-03-18 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2013-03-15 Brian Norristest: rmwprog: add MODEL_ASSERT tree | commitdiff
2013-03-09 Brian Norrislitmus: wrc: add macro for memory ordering tree | commitdiff
2013-03-09 Brian Norrislitmus: seq-lock: add MODEL_ASSERT() for the important... tree | commitdiff
2013-03-06 Brian Norrislinuxrwlocksyield: refactor tree | commitdiff
2013-03-06 Brian NorrisMerge remote 'yield' work tree | commitdiff
2013-03-06 Brian Demskyadd yield support tree | commitdiff
2013-02-22 Brian Norristest: fences: add simple, semi-useful fence tests tree | commitdiff
2013-02-22 Brian Norristest: add double-read-fv tree | commitdiff
2013-02-12 Brian NorrisMerge branch 'fences' tree | commitdiff
2013-01-22 Brian Norristest: rmwprog: support command-line argument tree | commitdiff
2013-01-16 Brian Norrislitmus: iriw: allow command-line switch 's' for seq_cst tree | commitdiff
2013-01-16 Brian Norrislitmus: iriw: use release/acquire, not release/relaxed tree | commitdiff
2013-01-16 Brian Norristests: litmus: link up Makefile properly tree | commitdiff
2013-01-15 Brian Norristest: litmus: add litmus tests from Nitpicking C++ tree | commitdiff
2013-01-15 Brian Norristest: Makefile: add $(BASE) variable tree | commitdiff
2013-01-08 Brian Demskynew test case tree | commitdiff
2012-12-19 Brian Norristest: don't relay on thrd_current() returning an int tree | commitdiff
2012-12-13 Brian Norristest: uninit: remove @todo (bug fixed) tree | commitdiff
2012-12-12 Brian Norristest/uninit: add an "uninit" test tree | commitdiff
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