Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fixed an encoding bug for newtypes (this fixes Issue #50) | 2015-01-27 | |
| | |||
* | When guessing decreases clauses for loops, convert numeric values to their ↵ | 2014-10-21 | |
| | | | | ultimate base type (int or real) before subtracting | ||
* | Allow any integer-based type, not just 'int', in the following places: | 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 ↵ | 2014-08-27 | |
| | | | | now created by the parser into the system module. | ||
* | Renamed some test files. | 2014-08-26 | |