projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc59b16) | patch
Make single invocation and invariant pre/post condition templates independent (#2749)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 14 Dec 2018 00:39:26 +0000 (18:39 -0600)
committerAndres Noetzli <andres.noetzli@gmail.com>
Fri, 14 Dec 2018 00:39:26 +0000 (00:39 +0000)
commit000feaeb02292d7a2873198664022801b12e5151
tree2420f2077f02ae1e2feb67689268d1ad5b6b3980tree
parentbc59b160f3890f68c497dde13ff54c194f476eb4commit | diff
Make single invocation and invariant pre/post condition templates independent (#2749)

--cegqi-si=none previously disabled pre/post-condition templates for invariant synthesis. This PR eliminates this dependency.

There are no major code changes in this PR, unfortunately a large block of code changed indentation so I refactored it to be more up to date with the coding guidelines.
src/theory/quantifiers/sygus/ce_guided_single_inv.cpp diff | blob | history