projects
/
model-checker.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
README.md: add linux locks example
[model-checker.git]
/
test
/
2013-07-17
Brian Norris
test: insanesync: consolidate lines
oopsla2013-final
tree
|
commitdiff
2013-07-17
Brian Norris
test: insanesync: remove unnecessary casting
tree
|
commitdiff
2013-07-17
Brian Norris
test: insanesync: convert to C++
tree
|
commitdiff
2013-07-16
Brian Norris
test: addr-satcycle: add new address-based sat. cycle...
tree
|
commitdiff
2013-07-10
Brian Norris
test: mo-satcycle: add new MO satisfaction cycle example
tree
|
commitdiff
2013-07-10
Brian Norris
test: uninit: typo
tree
|
commitdiff
2013-06-04
Brian Norris
Merge branch 'markdown'
tree
|
commitdiff
2013-06-03
Brian Demsky
Add example from java showing legit satisfaction cycle
tree
|
commitdiff
2013-05-29
Brian Norris
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2013-05-29
Brian Norris
tests: Makefile: add dependency information
tree
|
commitdiff
2013-05-29
Brian Norris
tests: Makefile: eliminate (some) recursive make
tree
|
commitdiff
2013-05-03
Brian Norris
Merge demsky's SC analysis fixup
tree
|
commitdiff
2013-04-26
Brian Norris
test: sctest: fix warnings
tree
|
commitdiff
2013-04-26
Brian Demsky
Fix bug that prevents graph generation from compiling.
tree
|
commitdiff
2013-04-04
Brian Norris
test: insanesync: pointer types
tree
|
commitdiff
2013-04-03
Brian Norris
test: mutextest: add thread yield point
tree
|
commitdiff
2013-03-22
Brian Demsky
correct comment typo
tree
|
commitdiff
2013-03-22
Brian Demsky
check in insane test case...
tree
|
commitdiff
2013-03-22
Brian Norris
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2013-03-21
Brian Demsky
add test case...
tree
|
commitdiff
2013-03-18
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2013-03-15
Brian Norris
test: rmwprog: add MODEL_ASSERT
tree
|
commitdiff
2013-03-09
Brian Norris
litmus: wrc: add macro for memory ordering
tree
|
commitdiff
2013-03-09
Brian Norris
litmus: seq-lock: add MODEL_ASSERT() for the important...
tree
|
commitdiff
2013-03-06
Brian Norris
linuxrwlocksyield: refactor
tree
|
commitdiff
2013-03-06
Brian Norris
Merge remote 'yield' work
tree
|
commitdiff
2013-03-06
Brian Demsky
add yield support
tree
|
commitdiff
2013-02-22
Brian Norris
test: fences: add simple, semi-useful fence tests
tree
|
commitdiff
2013-02-22
Brian Norris
test: add double-read-fv
tree
|
commitdiff
2013-02-12
Brian Norris
Merge branch 'fences'
tree
|
commitdiff
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