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