Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Simplify and consolidate type printing (#5816) | Thomas Lively | 2023-08-24 | 1 | -6/+6 |
* | Change the default type system to isorecursive (#5239) | Thomas Lively | 2022-11-23 | 1 | -4/+4 |
* | Grand Unified Flow Analysis (GUFA) (#4598) | Alon Zakai | 2022-07-22 | 1 | -0/+62 |