Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Upgrade Chalk to published version | Florian Diebold | 2020-06-05 | 1 | -0/+5 |
* | Upgrade Chalk | Florian Diebold | 2020-05-27 | 2 | -27/+27 |
* | Use Chalk's Ty::Function for function pointer types | Florian Diebold | 2020-05-22 | 1 | -8/+19 |
* | Use Chalk's built-in representation of function item types | Florian Diebold | 2020-05-22 | 3 | -6/+40 |
* | Provide missing Chalk debug methods | Florian Diebold | 2020-05-22 | 2 | -0/+112 |
* | Use TypeCtorId as AdtId directly, and rename the type alias StructId -> AdtId | Florian Diebold | 2020-05-22 | 2 | -4/+4 |
* | Split up chalk module a bit | Florian Diebold | 2020-05-22 | 2 | -0/+970 |
* | Update Chalk | Florian Diebold | 2020-05-22 | 1 | -4/+4 |
* | Update Chalk, and cache Chalk env elaboration through a query | Florian Diebold | 2020-04-20 | 1 | -3/+30 |
* | Nicer display of projections in Chalk logs | Florian Diebold | 2020-04-13 | 1 | -8/+10 |
* | Nicer display of closures in Chalk logs | Florian Diebold | 2020-04-13 | 1 | -2/+22 |
* | Implement Chalk's debug methods using TLS | Florian Diebold | 2020-04-10 | 1 | -0/+231 |