projects
/
model-checker.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
SC Reads can read from things mo'd before the last sc write, they just can't happen...
[model-checker.git]
/
README.md
2013-09-04
Brian Norris
Merge remote-tracking branch 'origin/master'
blob
|
commitdiff
|
raw
2013-08-15
Brian Norris
README.md: use HTML URL, not PHP
blob
|
commitdiff
|
raw
2013-08-14
Brian Norris
README.md: move copyright down
blob
|
commitdiff
|
raw
|
diff to current
2013-08-14
Brian Norris
README.md: add detail for benchmarks
blob
|
commitdiff
|
raw
|
diff to current
2013-08-14
Brian Norris
README.md: improve wording
blob
|
commitdiff
|
raw
|
diff to current
2013-08-14
Brian Norris
README.md: add more fairness notes
blob
|
commitdiff
|
raw
|
diff to current
2013-08-14
Brian Norris
README.md: remove <pre></pre> tags
blob
|
commitdiff
|
raw
|
diff to current
2013-08-14
Brian Norris
README.md: have to include our headers
blob
|
commitdiff
|
raw
|
diff to current
2013-08-14
Brian Norris
README.md: reverse store/load
blob
|
commitdiff
|
raw
|
diff to current
2013-08-14
Brian Norris
README.md: add supported API section
blob
|
commitdiff
|
raw
|
diff to current
2013-08-14
Brian Norris
README.md: add End of Execution Summary section
blob
|
commitdiff
|
raw
|
diff to current
2013-08-14
Brian Norris
README.md: reporting multiple data races for the same...
blob
|
commitdiff
|
raw
|
diff to current
2013-08-14
Brian Norris
README.md: reformat
blob
|
commitdiff
|
raw
|
diff to current
2013-08-14
Brian Norris
README.md: add linux locks example
blob
|
commitdiff
|
raw
|
diff to current
2013-08-14
Brian Norris
README.md: update title
blob
|
commitdiff
|
raw
|
diff to current
2013-08-14
Brian Norris
README.md: point non-git users to gitweb
blob
|
commitdiff
|
raw
|
diff to current
2013-08-13
Brian Norris
README.md: push URLs down to See Also section
blob
|
commitdiff
|
raw
|
diff to current
2013-08-13
Brian Norris
README.md: add extra blank lines
blob
|
commitdiff
|
raw
|
diff to current
2013-08-13
Brian Norris
README.md: update much of the README
blob
|
commitdiff
|
raw
|
diff to current
2013-06-05
Brian Norris
README: use markdown format for direct URL link
blob
|
commitdiff
|
raw
|
diff to current
2013-06-04
Brian Norris
README: more formatting, correct statement about bench.sh
blob
|
commitdiff
|
raw
|
diff to current
2013-06-04
Brian Norris
README: a few more formatting issues
blob
|
commitdiff
|
raw
|
diff to current
2013-06-04
Brian Norris
Merge branch 'markdown'
blob
|
commitdiff
|
raw
|
diff to current
2013-06-04
Brian Norris
README: add more `code` formatting
blob
|
commitdiff
|
raw
|
diff to current
2013-06-02
Brian Norris
README: convert to Markdown format
blob
|
commitdiff
|
raw
|
diff to current
projects / model-checker.git / history