Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-04-05 | Fix spurious antecedant for symbolic regular expressions (#6284) | Andrew Reynolds | |
Fixes #6271. This was triggered by recent fixes, this fixes solution soundness issues with symbolic regular expressions due to spuriously included antecedants, which made lemmas SAT-context dependent while being cached as user-context dependent. |