Age | Commit message (Expand) | Author |
---|---|---|
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |
2015-11-05 | Fixes some initialization and desctruction problems in quantifiers. Also rest... | Tim King |
2015-09-28 | Minor fixes to strings, add regressions. | ajreynol |