| Commit message (Expand) | Author | Age |
|---|
| * | Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl... |  Rustan Leino | 2013-03-05 |
| * | Boogie build failed | CodeplexBot | 2012-11-23 |
| * | Chalice build succeeded, 87 test(s) failed | CodeplexBot | 2012-11-20 |
| * | Boogie build failed | CodeplexBot | 2012-10-05 |
| * | Boogie build failed | CodeplexBot | 2012-10-04 |
| * | Boogie build succeeded, 2 test(s) failed | CodeplexBot | 2012-09-28 |
| * | Boogie build failed | CodeplexBot | 2012-09-28 |
| * | Boogie build succeeded | CodeplexBot | 2012-08-22 |
| * | Boogie build succeeded | CodeplexBot | 2012-08-15 |
| * | Boogie build succeeded, 3 test(s) failed | CodeplexBot | 2012-08-04 |
| * | Boogie build succeeded | CodeplexBot | 2012-07-10 |
| * | Boogie build succeeded | CodeplexBot | 2012-07-01 |
| * | Chalice build succeeded | CodeplexBot | 2012-06-30 |
| * | Boogie build succeeded, 1 test(s) failed | CodeplexBot | 2012-06-28 |
| * | Boogie build succeeded | CodeplexBot | 2012-06-23 |
| * | Boogie build succeeded, 1 test(s) failed | CodeplexBot | 2012-06-21 |
| * | Chalice build succeeded | CodeplexBot | 2012-06-08 |
| * | Boogie build succeeded | CodeplexBot | 2012-06-08 |
| * | Chalice build succeeded | CodeplexBot | 2012-06-04 |
| * | Boogie build succeeded | CodeplexBot | 2012-06-02 |
| * | Boogie build succeeded | CodeplexBot | 2012-05-30 |
| * | Boogie build succeeded | CodeplexBot | 2012-05-29 |
| * | Boogie build succeeded | CodeplexBot | 2012-05-26 |
| * | Chalice build succeeded | CodeplexBot | 2012-05-25 |
| * | Chalice build succeeded, 1 test(s) failed | CodeplexBot | 2012-05-22 |
| * | Boogie build succeeded | CodeplexBot | 2012-05-01 |
| * | Boogie build succeeded, 1 test(s) failed | CodeplexBot | 2012-04-29 |
| * | Boogie build succeeded | CodeplexBot | 2012-04-28 |
| * | Boogie build succeeded | CodeplexBot | 2012-04-18 |
| * | Chalice build succeeded | CodeplexBot | 2012-03-26 |
| * | Chalice build succeeded, 73 test(s) failed | CodeplexBot | 2012-03-14 |
| * | Boogie build succeeded | CodeplexBot | 2012-03-12 |
| * | Boogie build succeeded | CodeplexBot | 2012-03-11 |
| * | Boogie build failed | CodeplexBot | 2012-03-10 |
| * | Boogie build succeeded | CodeplexBot | 2012-03-01 |
| * | Boogie build succeeded | CodeplexBot | 2012-02-29 |
| * | Boogie build succeeded | CodeplexBot | 2012-02-28 |
| * | Boogie build succeeded | CodeplexBot | 2012-02-26 |
| * | Boogie build succeeded | CodeplexBot | 2012-02-25 |
| * | Boogie build succeeded | CodeplexBot | 2012-02-08 |
| * | Boogie build succeeded | CodeplexBot | 2012-01-19 |
| * | Boogie build succeeded, 1 test(s) failed | CodeplexBot | 2012-01-18 |
| * | Boogie build succeeded | CodeplexBot | 2012-01-11 |
| * | Boogie build failed | CodeplexBot | 2012-01-10 |
| * | Boogie build succeeded | CodeplexBot | 2012-01-06 |
| * | Boogie build succeeded, 1 test(s) failed | CodeplexBot | 2012-01-01 |
| * | Boogie build succeeded, 1 test(s) failed | CodeplexBot | 2011-12-31 |
| * | Boogie build succeeded, 1 test(s) failed | CodeplexBot | 2011-12-30 |
| * | Boogie build succeeded | CodeplexBot | 2011-12-23 |
| * | Boogie build succeeded, 1 test(s) failed | CodeplexBot | 2011-12-20 |
Rustan Leino