projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86b54ed) | patch
Some versioning in advance of the 1.3 release.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 27 Nov 2013 16:23:01 +0000 (11:23 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 27 Nov 2013 16:23:14 +0000 (11:23 -0500)
commit5569aec29d73dcba445dcbebab7e49f93148a529
tree3ef2a2420500e58998348ecbdb07ae1ca75e521ctree
parent86b54ede8a2898a6c51fddd4bb32f8b4b87b5da6commit | diff
Some versioning in advance of the 1.3 release.
INSTALL diff | blob | history
NEWS diff | blob | history
README diff | blob | history
RELEASE-NOTES diff | blob | history
library_versions diff | blob | history