2020-09-22 | Mathias Preiner | Update copyright header script to support CMake and... | blob | commitdiff | raw |
2020-08-03 | Andrew Reynolds | Split dump manager from SmtEngine (#4824) | blob | commitdiff | raw | diff to current |
2020-06-16 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw | diff to current |
2019-03-26 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw | diff to current |
2018-10-02 | Andres Noetzli | Make registration of preprocessing passes explicit... | blob | commitdiff | raw | diff to current |
2018-10-01 | Andres Noetzli | Refactor preprocessing pass registration (#2468) | blob | commitdiff | raw | diff to current |
2018-08-15 | Andrew Reynolds | Make sort inference a preprocessing pass (#2309) | blob | commitdiff | raw | diff to current |