projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83722fd) | patch
new README and INSTALL files
authorMorgan Deters <mdeters@gmail.com>
Wed, 3 Oct 2012 21:27:11 +0000 (21:27 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 3 Oct 2012 21:27:11 +0000 (21:27 +0000)
commitc33c9d3699597abe2fbeaacb6799ba05f11f8e93
tree1e4803aaa1414411d06d75e65c8e6698a9f538c5tree
parent83722fdc9072c8bee19c2123176d77bef50bbe0dcommit | diff
new README and INSTALL files
INSTALL [new file with mode: 0644] blob
README diff | blob | history