3 个版本

0.1.2 2023 年 2 月 2 日
0.1.1 2021 年 4 月 8 日
0.1.0 2021 年 3 月 18 日

#139#verification

Download history • Rust 包仓库 49/week @ 2024-04-02 • Rust 包仓库 5/week @ 2024-04-09 • Rust 包仓库 5/week @ 2024-04-16 • Rust 包仓库 10/week @ 2024-04-23 • Rust 包仓库 4/week @ 2024-04-30 • Rust 包仓库 7/week @ 2024-05-07 • Rust 包仓库 13/week @ 2024-05-14 • Rust 包仓库 3/week @ 2024-05-21 • Rust 包仓库 23/week @ 2024-05-28 • Rust 包仓库 8/week @ 2024-06-04 • Rust 包仓库 8/week @ 2024-06-11 • Rust 包仓库 9/week @ 2024-06-18 • Rust 包仓库 24/week @ 2024-06-25 • Rust 包仓库 25/week @ 2024-07-02 • Rust 包仓库 15/week @ 2024-07-09 • Rust 包仓库 24/week @ 2024-07-16 • Rust 包仓库

每月 94 次下载
8 个 crate 中使用(通过 rtlola-hir

MIT 许可证

11KB
256

RTLola Macros

Crate API License

RTLola 是一个基于流的运行时验证框架。它解析 RTLola 规范,分析它,并为其生成可执行的监视器。该框架分为前端和几个后端。

这个 crate 是 RTLola 前端的一部分,包括几个子模块

版权

版权所有 © CISPA - 海尔姆霍兹信息安全中心 2021-23。作者:Maximilian Schwenger。

用于在 RTLola-Frontend 中更便捷地处理 HirModes 的过程宏。

依赖关系

~1.5MB
~35K SLoC