Aleksey Kladov
|
9f53cec1da
|
Cleanup memory usage stats
|
2020-03-25 19:35:46 +01:00 |
|
Kirill Bulatov
|
5cffef56e2
|
Consider crate declaration names
|
2020-03-08 23:00:50 +02:00 |
|
Aleksey Kladov
|
9abf0d9659
|
Normalize waiting queries names
|
2020-03-07 00:18:04 +01:00 |
|
Florian Diebold
|
9ce30281f6
|
Don't reuse the Chalk solver
This slows down analysis-stats a bit (~5% in my measurement), but improves
incremental checking a lot because we can reuse trait solve results.
|
2020-03-06 23:04:14 +01:00 |
|
Kirill Bulatov
|
b8ddcb0652
|
Run cargo +nightly fix --clippy -Z unstable-options
|
2020-02-18 16:03:08 +02:00 |
|
Aleksey Kladov
|
355c98fd08
|
Docs
|
2020-02-06 15:10:17 +01:00 |
|
Aleksey Kladov
|
939f05f3e3
|
Move to a crate
|
2020-02-06 12:43:56 +01:00 |
|