2019-04-24 | Mathias Preiner | Do not use __ prefix for header guards. (#2974) | 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 |
2017-07-07 | Mathias Preiner | Update copyright headers. | blob | commitdiff | raw | diff to current |
2017-03-17 | guykatzz | better support for proof production when encountering... | blob | commitdiff | raw | diff to current |