projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6f99b0) | patch
Restrict partial triggers to standard quantified formulas (#4144)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 24 Mar 2020 15:45:55 +0000 (10:45 -0500)
committerGitHub <noreply@github.com>
Tue, 24 Mar 2020 15:45:55 +0000 (10:45 -0500)
commite648859c74339fb1b5838c6d439e9dfa1f490bcc
tree0a76e78af2a2e67d6503514efd0a016bb5965904tree
parentd6f99b015e8879229b8599316e19b5467863db2fcommit | diff
Restrict partial triggers to standard quantified formulas (#4144)

Fixes #4143.
src/theory/quantifiers/ematching/inst_strategy_e_matching.cpp diff | blob | history