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