projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08431f8) | patch
Ensure legal candidate equalities when using relational triggers (#4035)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 12 Mar 2020 18:34:18 +0000 (13:34 -0500)
committerGitHub <noreply@github.com>
Thu, 12 Mar 2020 18:34:18 +0000 (13:34 -0500)
commitf906530aa75e9c21e7877cac30cd3cb8245e3058
tree2fadd039e8df8bccc7eba43a64d60df0136ea887tree
parent08431f8a51a62d02e3d3911db2e7754862953320commit | diff
Ensure legal candidate equalities when using relational triggers (#4035)
src/theory/quantifiers/ematching/candidate_generator.cpp diff | blob | history