projects
/
cdsspec-compiler.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
cyclegraph: edit template for addEdge
[cdsspec-compiler.git]
/
test
/
2013-01-22
Brian Norris
test: rmwprog: support command-line argument
tree
|
commitdiff
2013-01-16
Brian Norris
litmus: iriw: allow command-line switch 's' for seq_cst
tree
|
commitdiff
2013-01-16
Brian Norris
litmus: iriw: use release/acquire, not release/relaxed
tree
|
commitdiff
2013-01-16
Brian Norris
tests: litmus: link up Makefile properly
tree
|
commitdiff
2013-01-15
Brian Norris
test: litmus: add litmus tests from Nitpicking C++
tree
|
commitdiff
2013-01-15
Brian Norris
test: Makefile: add $(BASE) variable
tree
|
commitdiff
2013-01-08
Brian Demsky
new test case
tree
|
commitdiff
2012-12-19
Brian Norris
test: don't relay on thrd_current() returning an int
tree
|
commitdiff
2012-12-13
Brian Norris
test: uninit: remove @todo (bug fixed)
tree
|
commitdiff
2012-12-12
Brian Norris
test/uninit: add an "uninit" test
tree
|
commitdiff
2012-11-15
Brian Demsky
Merge branch 'master' of /home/git/model-checker
tree
|
commitdiff
2012-11-14
Brian Norris
test: add AB/BA deadlock test
tree
|
commitdiff
2012-11-07
Brian Norris
test: add AB/BA deadlock test
tree
|
commitdiff
2012-10-29
Brian Norris
tests: add thinair test
tree
|
commitdiff
2012-10-29
Brian Norris
tests: use signed printf format
tree
|
commitdiff
2012-10-25
Brian Demsky
check in test
tree
|
commitdiff
2012-10-25
Brian Demsky
add test from nitpick paper...
tree
|
commitdiff
2012-10-12
Brian Norris
condition_variable: move header
tree
|
commitdiff
2012-10-12
Brian Demsky
add two test cases
tree
|
commitdiff
2012-10-09
Brian Norris
tests: use <stdatomic.h>
tree
|
commitdiff
2012-10-09
Brian Norris
move libthreads.h -> include/threads.h
tree
|
commitdiff
2012-10-09
Brian Norris
user_main: pass remaining arguments to the user program
tree
|
commitdiff
2012-10-08
Brian Norris
test: linuxrwlocks: fixup spacing
tree
|
commitdiff
2012-10-08
Brian Demsky
merge massive speedup with release sequence support...
tree
|
commitdiff
2012-10-08
Brian Norris
test: add "double release sequence" test
tree
|
commitdiff
2012-10-08
Brian Norris
Merge branch 'norris'
tree
|
commitdiff
2012-10-08
Brian Norris
tests: add some normal loads/stores to test data races
tree
|
commitdiff
2012-10-03
Brian Norris
test: add a "pending release sequences" test
tree
|
commitdiff
2012-09-20
Brian Norris
Makefile: move common Mac flags to common.mk
tree
|
commitdiff
2012-09-20
Brian Demsky
changes
tree
|
commitdiff
2012-09-20
Brian Demsky
push changes
tree
|
commitdiff
2012-09-19
Brian Demsky
fix
tree
|
commitdiff
2012-09-19
Brian Demsky
merge in master
tree
|
commitdiff
2012-09-18
Brian Norris
tests: add releaseseq test
tree
|
commitdiff
2012-09-14
Brian Norris
Merge branch 'norris'
tree
|
commitdiff
2012-09-14
Brian Demsky
add support for dumping cyclegraphs as dot files.....
tree
|
commitdiff
2012-09-13
Brian Norris
Merge remote-tracking branch 'origin/makefile'
tree
|
commitdiff
2012-09-13
Brian Norris
cleanup style
tree
|
commitdiff
2012-09-13
Brian Demsky
commit new test case
tree
|
commitdiff
2012-09-12
Brian Norris
Merge branch 'demsky'
tree
|
commitdiff
2012-09-11
Brian Demsky
linuxrwlocks: two bug fixes; guess the model checker...
tree
|
commitdiff
2012-09-07
Brian Demsky
changes
tree
|
commitdiff
2012-09-06
Brian Norris
Merge branch 'norris'
tree
|
commitdiff
2012-09-05
Brian Demsky
another example
tree
|
commitdiff
2012-08-20
Brian Norris
test/Makefile: remove pointless variable
tree
|
commitdiff
2012-08-02
Brian Norris
Merge branch 'brian'
tree
|
commitdiff
2012-08-02
Brian Norris
Makefile: wire up test/ directory for compilation
tree
|
commitdiff
2012-08-02
Brian Norris
userprog: move to 'test/' directory
tree
|
commitdiff