| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Stricter rules about that types need to be completely resolved. |  leino | 2014-10-08 |
| | | | | | | | Renamed "default constructor" to "anonymous constructor" (since there's really nothing "default" about it). If the type of literal "null" is unresolved, make the type "object". The need to translate unresolved proxies is now assumed to be gone. | ||
| * | Check that type arguments to map display expressions are fully resolved |  Dan Rosén | 2014-07-11 |
| Also add a test case for the different display expressions. | |||
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |