projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7641eae) | patch
README: convert to Markdown format
authorBrian Norris <banorris@uci.edu>
Sun, 2 Jun 2013 00:06:33 +0000 (17:06 -0700)
committerBrian Norris <banorris@uci.edu>
Sun, 2 Jun 2013 00:06:33 +0000 (17:06 -0700)
commit402caea290ab08ddb12cb79cbf73ec7e97066863
tree25c4d1209ba04007c9af7306707701d2dcd5bdcetree | snapshot
parent7641eae45f89c0df9ba21d4ca43f1ebafdcb5bd8commit | diff
README: convert to Markdown format

Now we can easily generate an HTML version, while retaining readability
as a simple text file.
.gitignore diff | blob | history
Makefile diff | blob | history
README [changed from file to symlink] diff | blob | history
README.md [new file with mode: 0644] blob
C++11 memory model checker