Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Check that constraints are not cyclic, and avoid cycles when replacing parame... | Martin Odersky | 2013-12-31 | 1 | -0/+2 | |
* | New test | Martin Odersky | 2013-12-25 | 1 | -1/+1 | |
* | Fix to computeNPMembersNamed. | Martin Odersky | 2013-12-25 | 1 | -0/+2 | |
* | Changed Signatures | Martin Odersky | 2013-11-27 | 1 | -1/+2 | |
* | More posishings of SymDenots/Denotations. | Martin Odersky | 2013-11-26 | 1 | -0/+1 | |
* | Some configuation parameters | Martin Odersky | 2013-11-14 | 1 | -0/+13 |