hacspec库
由 Franziskus Kiefer,Denis Merigoux,Lasse Letager Hansen 以及 20位贡献者
20 在 #specification-language
每月 23次下载用于 libcrux
305KB 7K SLoC
这是hacspec程序的hacspec标准库。
使用attributes crate,我们可以监控每个类别中的函数数量:原语、外部、库、移除、内部。
attributes
要获取统计信息,只需使用
bash get_func_stats.sh
注意:您需要安装nightly Rust工具链以启用此功能。使用
rustup toolchain install nightly
~0.7–1.3MB ~25K SLoC