Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove extra space printed in empty structs (#6750) | Thomas Lively | 2024-07-16 | 1 | -1/+1 |
* | 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 | -1/+1 |
* | 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 | -1/+1 |
* | Implement bottom heap types (#5115) | Thomas Lively | 2022-10-07 | 1 | -1/+1 |
* | Parse `rec` in update_lit_checks.py (#4784) | Thomas Lively | 2022-07-08 | 1 | -3/+3 |
* | Isorecursive binary format (#4494) | Thomas Lively | 2022-02-03 | 1 | -0/+1 |
* | Parse, create, and print isorecursive recursion groups (#4464) | Thomas Lively | 2022-01-21 | 1 | -0/+19 |