projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c4025e) | patch
Add option for whether to filter candidate rewrite pairs (#5825)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 27 Jan 2021 20:37:41 +0000 (14:37 -0600)
committerGitHub <noreply@github.com>
Wed, 27 Jan 2021 20:37:41 +0000 (14:37 -0600)
commite986a322232ac3edcd139ec7b424291ea3d5033a
treee42cff1cd563e393ee973b469f97e46e4b509addtree
parent2c4025e44771707ba548b6d8aa5a8a13ec3cd8f1commit | diff
Add option for whether to filter candidate rewrite pairs (#5825)

This option should be disabled for the new sygus reconstruction algorithm on #5779.
src/theory/quantifiers/candidate_rewrite_database.cpp diff | blob | history
src/theory/quantifiers/candidate_rewrite_database.h diff | blob | history