1个不稳定版本

0.1.0-beta.12023年3月20日

20#specification-language

每月 23次下载
用于 libcrux

MIT/Apache

305KB
7K SLoC

hacspec库

crates.io Docs Build & Test Status

这是hacspec程序的hacspec标准库。

打印属性和统计信息

使用attributes crate,我们可以监控每个类别中的函数数量:原语、外部、库、移除、内部。

要获取统计信息,只需使用

bash get_func_stats.sh

注意:您需要安装nightly Rust工具链以启用此功能。使用

rustup toolchain install nightly

依赖关系

~0.7–1.3MB
~25K SLoC