Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bump deps | Laurențiu Nicola | 2020-05-01 | 1 | -1/+1 |
* | Update Chalk, and cache Chalk env elaboration through a query | Florian Diebold | 2020-04-20 | 1 | -3/+3 |
* | Update Chalk | Florian Diebold | 2020-04-16 | 1 | -3/+3 |
*-. | Merge #3964 #3965 #3967 | bors[bot] | 2020-04-15 | 1 | -0/+1 |
|\ \ | |||||
| * | | Nicer display of projections in Chalk logs | Florian Diebold | 2020-04-13 | 1 | -0/+1 |
| |/ | |||||
* | | Merge #3963 | bors[bot] | 2020-04-15 | 1 | -3/+3 |
|\ \ | |||||
| * | | Upgrade Chalk | Florian Diebold | 2020-04-13 | 1 | -3/+3 |
| |/ | |||||
* / | insta 0.16 | kjeremy | 2020-04-14 | 1 | -1/+1 |
|/ | |||||
* | Implement Chalk's debug methods using TLS | Florian Diebold | 2020-04-10 | 1 | -0/+2 |
* | missing match arms diagnostic | Josh Mcguigan | 2020-04-07 | 1 | -0/+1 |
* | Upgrade Chalk again | Florian Diebold | 2020-04-05 | 1 | -3/+3 |
* | Upgrade Chalk | Florian Diebold | 2020-04-05 | 1 | -3/+3 |
* | Nice string formatting | Aleksey Kladov | 2020-03-28 | 1 | -0/+2 |
* | Updates insta to 0.15.0 and bumps console to 0.10.0 | kjeremy | 2020-03-09 | 1 | -1/+1 |
* | Drop larlpop-intern dep | Laurențiu Nicola | 2020-03-03 | 1 | -2/+0 |
* | Update chalk for Ty interners | Laurențiu Nicola | 2020-03-02 | 1 | -3/+3 |
* | Update chalk for RawId removal | Laurențiu Nicola | 2020-03-02 | 1 | -3/+3 |
* | Bump chalk and replace TypeFamily with Interner | Laurențiu Nicola | 2020-02-24 | 1 | -3/+3 |
* | Update versions | Kirill Bulatov | 2020-02-18 | 1 | -4/+4 |
* | Upgrade Chalk | Florian Diebold | 2020-01-27 | 1 | -3/+3 |
* | Update crates | Jeremy Kolb | 2020-01-26 | 1 | -1/+1 |
* | Update Chalk, clean up Chalk integration a bit | Florian Diebold | 2019-12-22 | 1 | -4/+3 |
* | chore: bump deps and use mainline chalk | Laurențiu Nicola | 2019-12-09 | 1 | -3/+3 |
* | prune deps | Aleksey Kladov | 2019-11-27 | 1 | -6/+5 |
* | Move Ty | Aleksey Kladov | 2019-11-27 | 1 | -0/+1 |
* | Fix stale crates that snuck in | Jeremy Kolb | 2019-11-26 | 1 | -1/+1 |
* | Introduce hir_ty | Aleksey Kladov | 2019-11-26 | 1 | -0/+32 |