2021-03-03 | Gereon Kremer | More cleanup of includes to reduce compilation times... | blob | commitdiff | raw |
2020-12-03 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw | diff to current |
2020-11-14 | Andrew Reynolds | (proof-new) Proofs for non-clausal simplification ... | blob | commitdiff | raw | diff to current |
2020-09-22 | Mathias Preiner | Update copyright header script to support CMake and... | blob | commitdiff | raw | diff to current |
2020-06-16 | Aina Niemetz | Update copyright headers. | 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-09-11 | Aina Niemetz | Refactor non-clausal simplify preprocessing pass. ... | blob | commitdiff | raw | diff to current |