Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove the --hybrid and --nominal command line options (#5669) | Thomas Lively | 2023-04-14 | 1 | -30/+0 |
* | Change the default type system to isorecursive (#5239) | Thomas Lively | 2022-11-23 | 1 | -1/+1 |
* | 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/+1 |
* | Properly print struct field names with --nominal (#4042) | Thomas Lively | 2021-07-31 | 1 | -0/+30 |