projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa55d06) | patch
Refactor extended rewriter, move rewrites to aggressive (#2387)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 28 Aug 2018 01:08:01 +0000 (20:08 -0500)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 28 Aug 2018 01:08:01 +0000 (18:08 -0700)
commitf8bda2828e5f3e984623e38ea0778d36144bd05c
tree425258145cd80aab9a537bf4042d476ec494711ftree
parentfa55d0680afab5d319f393bafd3f7ecdf8870b1fcommit | diff
Refactor extended rewriter, move rewrites to aggressive (#2387)

This is work towards #2305.

With this PR, CVC4's performance is fairly reasonable on the Kind2 BMC benchmarks with --decision=internal --ext-rew-prep --ext-rew-prep-agg.
src/theory/quantifiers/extended_rewrite.cpp diff | blob | history
src/theory/quantifiers/extended_rewrite.h diff | blob | history
test/regress/regress0/fp/ext-rew-test.smt2 diff | blob | history