2020-09-22 | Mathias Preiner | Update copyright header script to support CMake and... | blob | commitdiff | raw |
2020-06-16 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw | diff to current |
2020-01-30 | Andrew Reynolds | Ensure literals in FMF decision strategies are in the... | blob | commitdiff | raw | diff to current |
2019-03-26 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw | diff to current |
2018-09-12 | Andrew Reynolds | Initial infrastructure for theory decision manager... | blob | commitdiff | raw | diff to current |