| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Snapshot, to be continued |  leino | 2014-12-02 |
| | | |||
| * | Allow any integer-based type, not just 'int', in the following places: | leino | 2014-10-06 |
| | | | | | | | | | | | * array indices (any dimension) * array lengths (with new, any dimension) * sequence indicies * subsequence bounds (like sq[lo..hi]) * the new multiplicity in multiset update (m[t := multiplicity]) * subarray-to-sequence bounds (like a[lo..hi]) Note that for an array 'a', 'a.Length' is always an integer, so a comparison 'i < a.Length' still requires 'i' to be an integer, not any integer-based value. Same for '|sq|' for a sequence 'sq'. | ||
| * | Refactored ArrowType's to be resolved with other types. ArrowTypeDecl's are ↵ | leino | 2014-08-27 |
| | | | | | now created by the parser into the system module. | ||
| * | Renamed some test files. | leino | 2014-08-26 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |