Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Clar: skip testsvmg/clar-skip-test | Vicent Marti | 2014-04-02 | 1 | -23/+30 |
* | Update clar to 4b75388 | Edward Thomson | 2014-03-28 | 1 | -2/+8 |
* | Update clar to 587f88a | Edward Thomson | 2014-03-28 | 1 | -3/+24 |
* | Update clar to e1990d6 | Edward Thomson | 2014-03-07 | 1 | -2/+2 |
* | Update clar to a0b00f0 | Edward Thomson | 2014-03-07 | 1 | -0/+23 |
* | Rename tests-clar to tests | Ben Straub | 2013-11-14 | 1 | -0/+511 |