4 Commits

Author	SHA1	Message	Date
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