projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e253094) | patch
Temporary reverting commit 477e72b (proofs as default build) until we fix nightly...
authorLiana Hadarean <lianahady@gmail.com>
Fri, 9 Oct 2015 09:26:09 +0000 (10:26 +0100)
committerLiana Hadarean <lianahady@gmail.com>
Fri, 9 Oct 2015 09:26:09 +0000 (10:26 +0100)
commit9833e6635f6b5bee825034715d15ad73e9955a88
tree3e0b42436f2cde596fb38c59660c71b454060370tree
parente253094f6b4ade626813a3d500d86785e5dde138commit | diff
Temporary reverting commit 477e72b (proofs as default build) until we fix nightly builds.
configure.ac diff | blob | history