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