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

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 • Rust 包仓库 17044/week @ 2024-03-14 • Rust 包仓库 16217/week @ 2024-03-21 • Rust 包仓库 15773/week @ 2024-03-28 • Rust 包仓库 14755/week @ 2024-04-04 • Rust 包仓库 15149/week @ 2024-04-11 • Rust 包仓库 15855/week @ 2024-04-18 • Rust 包仓库 14875/week @ 2024-04-25 • Rust 包仓库 15249/week @ 2024-05-02 • Rust 包仓库 14379/week @ 2024-05-09 • Rust 包仓库 13630/week @ 2024-05-16 • Rust 包仓库 15951/week @ 2024-05-23 • Rust 包仓库 14230/week @ 2024-05-30 • Rust 包仓库 15431/week @ 2024-06-06 • Rust 包仓库 15305/week @ 2024-06-13 • Rust 包仓库 15708/week @ 2024-06-20 • Rust 包仓库 12932/week @ 2024-06-27 • Rust 包仓库

61,767 每月下载量
用于 polonius

Apache-2.0/MIT

92KB
1.5K SLoC

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

依赖项

~170KB