Age | Commit message (Expand) | Author |
---|---|---|
2016-03-01 | Shorter explanations for strings based on tracking which parts of normal form... | ajreynol |
2016-02-19 | Fixes and improvements for datatypes properties and splitting. | ajreynol |
2016-02-18 | Implement dynamic splitting for quantified formulas. Minor refactoring of re... | ajreynol |