| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Refactor the error reporting code |  Clément Pit--Claudel | 2015-08-18 |
| * | Update the VS extension to use the error interface defined in 576eac2e17ff | Clément Pit--Claudel | 2015-07-29 |
| * | Small refactoring | Clément Pit--Claudel | 2015-07-27 |
| * | Clean up error reporting. | Clément Pit--Claudel | 2015-07-27 |
| * | Add code to calculate various interesting statistics about Dafny files. |  Bryan Parno | 2015-07-01 |
| * | Allow underscores in numeric literals (and in field/destructor names that are... |  leino | 2014-10-23 |
| * | Add char literals. | leino | 2014-10-20 |
| * | Added types "char" and "string" (the latter being a synonym for "seq<char>"). | leino | 2014-10-20 |
| * | Add higher-order-functions and some other goodies |  Dan Rosén | 2014-08-11 |
| * | New logical encoding of types with Is and IsAlloc | Dan Rosén | 2014-07-07 |
| * | Put all sources under \Source directory |  Rustan Leino | 2012-10-04 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |