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 |
* | Assign import names consistently between text and binaryn reader (#3238) | Sam Clegg | 2020-10-14 | 1 | -4/+4 |
* | Prototype extended-name-section proposal (#3162) | Daniel Wirtz | 2020-09-29 | 1 | -5/+5 |
* | Skip tests that fail on windows and enable all the rest (#3035) | Alon Zakai | 2020-08-11 | 1 | -0/+479 |