projects / cvc5.git / history
| 2014-09-03 | ajreynol | Implement and enable --dt-var-exp-quant, cleanup trace... | blob | commitdiff | raw |
| 2014-09-03 | ajreynol | Work on conjecture generator : do not generalize subter... | blob | commitdiff | raw | diff to current |
| 2014-08-22 | Morgan Deters | Merge branch '1.4.x' | blob | commitdiff | raw | diff to current |
| 2014-08-22 | Morgan Deters | Merge branch '1.4.x' | blob | commitdiff | raw | diff to current |
| 2014-08-19 | Morgan Deters | Merge branch '1.4.x' | blob | commitdiff | raw | diff to current |
| 2014-08-18 | Morgan Deters | Merge branch '1.4.x' | blob | commitdiff | raw | diff to current |
| 2014-08-01 | ajreynol | Minor cleanup from previous commit. Better organizatio... | blob | commitdiff | raw | diff to current |
| 2014-07-31 | ajreynol | New module for generating candidate equality conjecture... | blob | commitdiff | raw | diff to current |