projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d4099f0 1dddbc7)
Merge pull request #90 from 4tXJ7f/fewer_preproc_holes
authorguykatzz <katz911@gmail.com>
Fri, 12 Aug 2016 14:48:43 +0000 (07:48 -0700)
committerGitHub <noreply@github.com>
Fri, 12 Aug 2016 14:48:43 +0000 (07:48 -0700)
Add support for fewer preprocessing holes


Trivial merge