Age | Commit message (Expand) | Author |
---|---|---|
2015-05-10 | Minor improvements to infrastructure. Minor changes to default options. Add t... | ajreynol |
2014-03-12 | Work on array pf signature, add working example. Add quantifiers proof signa... | Andrew Reynolds |
2014-03-11 | Initial refactor of rewrite rules, make theory_rewriterules empty theory. Pu... | Andrew Reynolds |
2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 suc... | Morgan Deters |
2012-11-30 | fix rewrite-rules syntax in regression | Morgan Deters |
2012-09-25 | some buggy examples for incrementality, and make bug326 run as part of make r... | Morgan Deters |
2012-06-13 | adding some regressions to the usual regressions runs; several recently-fixed... | Morgan Deters |