Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Normalize waiting queries names | Aleksey Kladov | 2020-03-06 | 1 | -3/+3 |
| | |||||
* | Don't reuse the Chalk solver | Florian Diebold | 2020-03-06 | 1 | -1/+0 |
| | | | | | This slows down analysis-stats a bit (~5% in my measurement), but improves incremental checking a lot because we can reuse trait solve results. | ||||
* | Run cargo +nightly fix --clippy -Z unstable-options | Kirill Bulatov | 2020-02-18 | 1 | -1/+1 |
| | |||||
* | Docs | Aleksey Kladov | 2020-02-06 | 1 | -1/+2 |
| | |||||
* | Move to a crate | Aleksey Kladov | 2020-02-06 | 1 | -0/+386 |