2019-04-16 | Andrew Reynolds | Stratify enumerative instantiation (#2954) | blob | commitdiff | raw |
2019-03-26 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw | diff to current |
2018-06-25 | Aina Niemetz | Updated copyright headers. | blob | commitdiff | raw | diff to current |
2018-05-30 | Andrew Reynolds | Fixes for quantifiers + incremental (#2009) | blob | commitdiff | raw | diff to current |
2017-11-15 | Andrew Reynolds | Make QEffort an enum (#1366) | blob | commitdiff | raw | diff to current |
2017-10-28 | Andrew Reynolds | (Move only) Move enumerative instantiation strategy... | blob | commitdiff | raw | diff to current |