Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds | |
2017-07-10 | Merge ntExt branch. Adds support for transcendental functions. Refactoring ↵ | ajreynol | |
of non-linear extension. Add factoring lemma scheme for non-linear. Add regressions. |