14 个版本
| 0.7.0 | 2024 年 6 月 28 日 |
|---|---|
| 0.6.1 | 2023 年 2 月 2 日 |
| 0.6.0 | 2022 年 12 月 19 日 |
| 0.5.3 | 2022 年 4 月 12 日 |
| 0.3.3 | 2020 年 7 月 22 日 |
14 在 #frontend 类别中
114 每月下载量
用于 6 个 crate（其中 3 个直接使用）
1MB
23K SLoC
RTLola Frontend
RTLola 是一个基于流的运行时验证框架。它解析 RTLola 规范，分析它，并为其生成可执行的监控器。该框架分为前端和几个后端。
此 crate 总结了整个 RTLola 前端，包括几个子模块
- RTLola 规范的解析器：rtlola-parser
- RTLola 的高级中间表示，包括强大的静态分析：rtlola-hir
- RTLola 错误报告：rtlola-reporting
- 过程宏：rtlola-macros
版权
版权（C）CISPA - 柏林信息安全赫姆霍兹研究中心 2021-2024。作者：Jan Baumeister，Florian Kohn，Stefan Oswald，Frederik Scheerer，Malte Schledjewski，Maximilian Schwenger。基于德国萨尔大学的原始工作（C）2020。作者：Jan Baumeister，Florian Kohn，Malte Schledjewski，Maximilian Schwenger，Marvin Stenger，以及 Leander Tentrup。
依赖项
~7–15MB
~188K SLoC