Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds | |
2015-08-21 | Fix disequality bounds in cbqi, record literals for ITE skolems in cbqi. ↵ | ajreynol | |
Enable redundant ITE branch elimination in quantifiers rewriter. |