Age | Commit message (Collapse) | Author | |
---|---|---|---|
2014-03-19 | Minor usability fixes related to SMT-LIB compliance. | Morgan Deters | |
2014-03-07 | Remove --ite-remove-quant; support pulling ground ITEs out of quantifier ↵ | Morgan Deters | |
bodies; fix bug 551, improper ITE removal under quantifiers. |