2020-06-16 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw |
2020-04-02 | Andres Noetzli | Initialize theory rewriters in theories (#4197) | blob | commitdiff | raw | diff to current |
2019-08-02 | Mathias Preiner | Fix BVGauss unit tests. (#3142) | blob | commitdiff | raw | diff to current |
2019-04-24 | Mathias Preiner | Do not use __ prefix for header guards. (#2974) | blob | commitdiff | raw | diff to current |
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-04-11 | Aina Niemetz | Refactored BVGauss preprocessing pass. (#1766) | blob | commitdiff | raw | diff to current |