#compiler #datalog #borrowck

polonius-engine

Core definition for the Rust borrow checker

9 releases (5 breaking)

0.6.2 Dec 27, 2018
0.6.1 Dec 6, 2018
0.5.0 May 31, 2018
0.4.0 May 28, 2018
0.1.1 May 24, 2018

#10 in Development tools

Download history 5991/week @ 2018-10-11 5394/week @ 2018-10-18 6570/week @ 2018-10-25 5639/week @ 2018-11-01 5875/week @ 2018-11-08 6031/week @ 2018-11-15 5630/week @ 2018-11-22 6754/week @ 2018-11-29 6552/week @ 2018-12-06 6254/week @ 2018-12-13 5635/week @ 2018-12-20 5222/week @ 2018-12-27 5573/week @ 2019-01-03 5430/week @ 2019-01-10 5411/week @ 2019-01-17

25,373 downloads per month
Used in 1 crate

Apache-2.0/MIT

42KB
693 lines

This is a core library that models the borrow check. It implements the analysis described in this blogpost. This library is intended for use both by rustc and by the polonius crate, which is a distinct front-end intended for testing, profiling, etc.

Dependencies

~230KB