| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Simplify and consolidate type printing (#5816) | Thomas Lively | 2023-08-24 | 1 | -1/+1 |
| * | Convert some tests off of --nominal (#5660) | Thomas Lively | 2023-04-13 | 1 | -15/+0 |
| * | Change the default type system to isorecursive (#5239) | Thomas Lively | 2022-11-23 | 1 | -2/+2 |
| * | Print heap types in text format in nominal mode (#4316) | Alon Zakai | 2021-11-08 | 1 | -1/+1 |
| * | Switch from "extends" to M4 nominal syntax (#4248) | Thomas Lively | 2021-10-14 | 1 | -1/+15 |
| * | Test GC lit tests with --nominal as well (#4043) | Thomas Lively | 2021-08-02 | 1 | -0/+1 |
| * | Generate FileCheck checks for all module items (#3957) | Thomas Lively | 2021-06-28 | 1 | -0/+1 |
| * | [effects] Record reads and writes of the GC heap (#3657) | Thomas Lively | 2021-03-05 | 1 | -0/+50 |
