| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl... |  Rustan Leino | 2013-03-05 |
| * | Dafny: reinstated autocontracts | Jason Koenig | 2012-07-02 |
| * | Dafny: fixed up test suite (temporarily removed autocontract tests) | Jason Koenig | 2012-06-28 |
| * | Dafny: cleaned up test scripts a little |  Unknown | 2012-06-14 |
| * | Dafny: added experimental feature {:autocontracts} to de-clutter idiomatic sp... | Unknown | 2012-03-05 |
| * | Dafny: call C# compiler directly from inside Dafny, and optionally produce a ... |  Rustan Leino | 2011-11-22 |
| * | Added Dafny solutions to the VSTTE 2012 program verification competition | Rustan Leino | 2011-11-15 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |