2020-06-16 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw |
2019-12-16 | Andrew Reynolds | Extend model construction with assignment exclusion... | 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-04 | Andrew Reynolds | Minor improvements to theory model builder interface... | blob | commitdiff | raw | diff to current |
2018-06-25 | Aina Niemetz | Updated copyright headers. | blob | commitdiff | raw | diff to current |
2018-03-05 | Mathias Preiner | Enable -Wsuggest-override by default. (#1643) | blob | commitdiff | raw | diff to current |
2017-12-08 | Andrew Reynolds | Make collect model info return a Bool (#1421) | blob | commitdiff | raw | diff to current |
2017-11-01 | Andrew Reynolds | (Move-only) Refactor and document theory model part... | blob | commitdiff | raw | diff to current |