| Commit message (Expand) | Author | Age |
|---|
| * | Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl... |  Rustan Leino | 2013-03-05 |
| * | Chalice build succeeded, 87 test(s) failed | CodeplexBot | 2012-11-20 |
| * | Chalice build succeeded | CodeplexBot | 2012-06-30 |
| * | Chalice build succeeded | CodeplexBot | 2012-06-08 |
| * | Chalice build succeeded | CodeplexBot | 2012-06-04 |
| * | Chalice build succeeded | CodeplexBot | 2012-05-25 |
| * | Chalice build succeeded, 1 test(s) failed | CodeplexBot | 2012-05-22 |
| * | Chalice build succeeded | CodeplexBot | 2012-03-26 |
| * | Chalice build succeeded, 73 test(s) failed | CodeplexBot | 2012-03-14 |
| * | Chalice build succeeded | CodeplexBot | 2011-09-28 |
| * | Chalice build succeeded, 2 test(s) failed | CodeplexBot | 2011-09-19 |
| * | Chalice build succeeded, 64 test(s) failed | CodeplexBot | 2011-09-19 |
| * | Chalice build succeeded, 64 test(s) failed | CodeplexBot | 2011-09-19 |
| * | Chalice build succeeded | CodeplexBot | 2011-08-19 |
| * | Chalice build succeeded, 58 test(s) failed | CodeplexBot | 2011-08-16 |
Rustan Leino