| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Declaration grouping uses () rather than {}; Fix some problem with compilatio... | Ginger Bill | 2017-06-17 | 1 | -1/+1 | |
| * | Code use API rather than raw CheckerInfo; begin work on generic procedures | Ginger Bill | 2017-06-15 | 1 | -7/+4 | |
| * | Add foreign variables | Ginger Bill | 2017-06-15 | 1 | -1/+63 | |
| * | Pascal style declaration grouping with () | Ginger Bill | 2017-06-12 | 1 | -95/+100 | |
| * | Prefix `type` and `let` to replace `immutable` | Ginger Bill | 2017-06-12 | 1 | -1/+1 | |
| * | Remove := with var and :: with const | Ginger Bill | 2017-06-12 | 1 | -1/+1 | |
| * | Named procedure calls | Ginger Bill | 2017-06-11 | 1 | -1/+1 | |
| * | Use templated `Map` for extra type safety | Ginger Bill | 2017-06-08 | 1 | -19/+14 | |
| * | Remove unnecessary `typedef` usage | Ginger Bill | 2017-06-08 | 1 | -7/+7 | |
| * | Use templated `Array` with bounds checking | Ginger Bill | 2017-06-08 | 1 | -31/+31 | |
| * | Update `String` to use overloading | Ginger Bill | 2017-06-08 | 1 | -7/+7 | |
| * | Build as C++ | Ginger Bill | 2017-06-08 | 1 | -0/+1662 | |