projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6179b1) | patch
Default builds are now proof enabled.
authorLiana Hadarean <lianahady@gmail.com>
Wed, 7 Oct 2015 18:56:02 +0000 (19:56 +0100)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Sun, 11 Oct 2015 22:29:06 +0000 (18:29 -0400)
commit4fd18dee3156a6dd1903b95662034d6e996ff88b
tree4f5bf07cb9198aaa24b21a2dbd5c42cd0ec3f0c6tree
parentc6179b1922e0366acec51eec24a2023d21354030commit | diff
Default builds are now proof enabled.
configure.ac diff | blob | history