Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove legacy type defintion text syntax (#5948) | Thomas Lively | 2023-09-18 | 1 | -1/+1 |
* | Make final types the default (#5918) | Thomas Lively | 2023-09-09 | 1 | -2/+2 |
* | Print supertype declarations using the standard format (#5801) | Thomas Lively | 2023-07-06 | 1 | -1/+1 |
* | Remove --nominal from more tests (#5664) | Thomas Lively | 2023-04-13 | 1 | -32/+0 |
* | Change the default type system to isorecursive (#5239) | Thomas Lively | 2022-11-23 | 1 | -15/+17 |
* | Print heap types in text format in nominal mode (#4316) | Alon Zakai | 2021-11-08 | 1 | -5/+5 |
* | Switch from "extends" to M4 nominal syntax (#4248) | Thomas Lively | 2021-10-14 | 1 | -6/+6 |
* | Test GC lit tests with --nominal as well (#4043) | Thomas Lively | 2021-08-02 | 1 | -2/+30 |
* | Support subtyping in tail calls (#4032) | Thomas Lively | 2021-07-28 | 1 | -0/+78 |