aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/Cargo.toml
Commit message (Expand)AuthorAgeFilesLines
* Remove insta depLaurențiu Nicola2020-07-211-1/+0
* Bump chalkkjeremy2020-07-201-3/+3
* Add a license field to all the cratesYuki Okushi2020-07-141-0/+1
* Upgrade ChalkFlorian Diebold2020-07-121-2/+3
* Enable Chalk tracing in hir_ty testsFlorian Diebold2020-07-121-0/+4
* Address review commentsJonas Schievink2020-07-091-0/+1
* Update Chalk to released versionFlorian Diebold2020-06-281-2/+2
* Bump chalkLaurențiu Nicola2020-06-261-2/+2
* Upgrade Chalk to published versionFlorian Diebold2020-06-051-2/+2
* Upgrade ChalkFlorian Diebold2020-05-291-2/+2
* Upgrade ChalkFlorian Diebold2020-05-271-3/+2
* Update ChalkFlorian Diebold2020-05-221-3/+3
* Chalk upgradeFlorian Diebold2020-05-161-3/+3
* Bump depsLaurențiu Nicola2020-05-011-1/+1
* Update Chalk, and cache Chalk env elaboration through a queryFlorian Diebold2020-04-201-3/+3
* Update ChalkFlorian Diebold2020-04-161-3/+3
*-. Merge #3964 #3965 #3967bors[bot]2020-04-151-0/+1
|\ \
| * | Nicer display of projections in Chalk logsFlorian Diebold2020-04-131-0/+1
| |/
* | Merge #3963bors[bot]2020-04-151-3/+3
|\ \
| * | Upgrade ChalkFlorian Diebold2020-04-131-3/+3
| |/
* / insta 0.16kjeremy2020-04-141-1/+1
|/
* Implement Chalk's debug methods using TLSFlorian Diebold2020-04-101-0/+2
* missing match arms diagnosticJosh Mcguigan2020-04-071-0/+1
* Upgrade Chalk againFlorian Diebold2020-04-051-3/+3
* Upgrade ChalkFlorian Diebold2020-04-051-3/+3
* Nice string formattingAleksey Kladov2020-03-281-0/+2
* Updates insta to 0.15.0 and bumps console to 0.10.0kjeremy2020-03-091-1/+1
* Drop larlpop-intern depLaurențiu Nicola2020-03-031-2/+0
* Update chalk for Ty internersLaurențiu Nicola2020-03-021-3/+3
* Update chalk for RawId removalLaurențiu Nicola2020-03-021-3/+3
* Bump chalk and replace TypeFamily with InternerLaurențiu Nicola2020-02-241-3/+3
* Update versionsKirill Bulatov2020-02-181-4/+4
* Upgrade ChalkFlorian Diebold2020-01-271-3/+3
* Update cratesJeremy Kolb2020-01-261-1/+1
* Update Chalk, clean up Chalk integration a bitFlorian Diebold2019-12-221-4/+3
* chore: bump deps and use mainline chalkLaurențiu Nicola2019-12-091-3/+3
* prune depsAleksey Kladov2019-11-271-6/+5
* Move TyAleksey Kladov2019-11-271-0/+1
* Fix stale crates that snuck inJeremy Kolb2019-11-261-1/+1
* Introduce hir_tyAleksey Kladov2019-11-261-0/+32