| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Add char literals. |  leino | 2014-10-20 |
| | | | | | Disallow backslash from being part of identifier names. | ||
| * | Added types "char" and "string" (the latter being a synonym for "seq<char>"). | leino | 2014-10-20 |
| Added string literals with various escapes--a subset of those supported in C# and similar languages, including the C# verbatim strings. Previously, the "print" statement and custom attributes could support expression-or-string arguments; there is no longer a need to special-case these, so these arguments are now just expressions. Fixed lack of operator resolution in custom attributes. | |||
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |