projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a5a317) | patch
Revert "Default builds are now proof enabled."
authorKshitij Bansal <kshitij@cs.nyu.edu>
Sun, 25 Oct 2015 01:12:45 +0000 (21:12 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Sun, 25 Oct 2015 01:12:45 +0000 (21:12 -0400)
commit95992fb5e9fb971f2319e1302b83ac85098e0438
tree10b59df31c2a183b1be5d58fc26b6a174bd12b93tree
parent3a5a31758573032abedad3298699106eead63d87commit | diff
Revert "Default builds are now proof enabled."

This reverts commit 4fd18dee3156a6dd1903b95662034d6e996ff88b.
configure.ac diff | blob | history