projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f3ab34) | patch
Default builds are now proof enabled.
authorLiana Hadarean <lianahady@gmail.com>
Wed, 7 Oct 2015 18:56:02 +0000 (19:56 +0100)
committerLiana Hadarean <lianahady@gmail.com>
Wed, 7 Oct 2015 18:56:02 +0000 (19:56 +0100)
commit477e72b588e8cd6630f0379ac2014a1f738f94fc
tree780622fc7fd49e3f329925c11c7b3689d3b06e5ctree
parent2f3ab34dcf0c5bfefff2f40ec164b82dfdc66835commit | diff
Default builds are now proof enabled.
configure.ac diff | blob | history