#compiler #datalog #borrowck

polonius-engine

Core definition for the Rust borrow checker

17 releases (breaking)

Uses old Rust 2015

0.13.0 Aug 3, 2021
0.12.1 Mar 29, 2020
0.12.0 Feb 17, 2020
0.11.0 Dec 3, 2019
0.5.0 May 31, 2018

#185 in Development tools

Download history 7828/week @ 2021-08-16 8006/week @ 2021-08-23 7468/week @ 2021-08-30 7676/week @ 2021-09-06 9814/week @ 2021-09-13 7967/week @ 2021-09-20 8083/week @ 2021-09-27 8776/week @ 2021-10-04 7801/week @ 2021-10-11 8032/week @ 2021-10-18 6757/week @ 2021-10-25 8805/week @ 2021-11-01 8555/week @ 2021-11-08 8025/week @ 2021-11-15 7763/week @ 2021-11-22 6626/week @ 2021-11-29

32,131 downloads per month
Used in polonius

Apache-2.0/MIT

91KB
1.5K SLoC

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

~150KB