Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix caching bug: don't assume that tvars instantiation cannot be retracted | Guillaume Martres | 2016-01-17 | 1 | -5/+0 |
* | move failing tests from tests/untried/pos to tests/pending/pos | Samuel Gruetter | 2014-12-16 | 1 | -0/+5 |