Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove extra space printed in empty structs (#6750) | Thomas Lively | 2024-07-16 | 1 | -15/+15 |
* | Remove legacy type defintion text syntax (#5948) | Thomas Lively | 2023-09-18 | 1 | -17/+17 |
* | Make final types the default (#5918) | Thomas Lively | 2023-09-09 | 1 | -15/+15 |
* | Simplify and consolidate type printing (#5816) | Thomas Lively | 2023-08-24 | 1 | -3/+3 |
* | Print supertype declarations using the standard format (#5801) | Thomas Lively | 2023-07-06 | 1 | -2/+2 |
* | Remove the --hybrid and --nominal command line options (#5669) | Thomas Lively | 2023-04-14 | 1 | -2/+2 |
* | Change the default type system to isorecursive (#5239) | Thomas Lively | 2022-11-23 | 1 | -15/+15 |
* | Remvoe extra space after rec beginning (#4981) | Alon Zakai | 2022-08-29 | 1 | -6/+6 |
* | Parse `rec` in update_lit_checks.py (#4784) | Thomas Lively | 2022-07-08 | 1 | -33/+44 |
* | Isorecursive binary format (#4494) | Thomas Lively | 2022-02-03 | 1 | -0/+1 |
* | Topological sorting of types in isorecursive output (#4492) | Thomas Lively | 2022-02-02 | 1 | -0/+100 |