#编译器 #逻辑数据语言 #借用检查

polonius-engine

用于Rust借用检查的核心定义

17个版本 (重大变更)

使用旧版Rust 2015

0.13.0 2021年8月3日
0.12.1 2020年3月29日
0.12.0 2020年2月17日
0.11.0 2019年12月3日
0.5.0 2018年5月31日

#116编程语言

Download history 17044/week @ 2024-03-14 16217/week @ 2024-03-21 15773/week @ 2024-03-28 14755/week @ 2024-04-04 15149/week @ 2024-04-11 15855/week @ 2024-04-18 14875/week @ 2024-04-25 15249/week @ 2024-05-02 14379/week @ 2024-05-09 13630/week @ 2024-05-16 15951/week @ 2024-05-23 14230/week @ 2024-05-30 15431/week @ 2024-06-06 15305/week @ 2024-06-13 15708/week @ 2024-06-20 12932/week @ 2024-06-27

61,767 每月下载量
用于 polonius

Apache-2.0/MIT

92KB
1.5K SLoC

这是一个核心库,用于模拟借用检查。它实现了在此博客文章中描述的分析。此库旨在由rustc和polonius crate(一个用于测试、分析等的独立前端)共同使用。

依赖项

~170KB