10 个版本
| 0.5.0 | 2024 年 6 月 28 日 |
|---|---|
| 0.4.1 | 2023 年 2 月 2 日 |
| 0.4.0 | 2022 年 12 月 19 日 |
| 0.3.3 | 2022 年 4 月 12 日 |
| 0.1.2 | 2021 年 5 月 28 日 |
#818 在 Rust 模式
150 每月下载量
用于 7 个包 (通过 rtlola-frontend)
1MB
19K SLoC
RTLola 高级中间表示
RTLola 是一个基于流的运行时验证框架。它解析 RTLola 规范，分析它，并为它生成可执行的监控器。该框架分为前端和几个后端。
此包是 RTLola 前端的一部分，它包括几个子模块
- 主要包：RTLola 前端：rtlola-frontend
- RTLola 规范的解析器：rtlola-parser
- RTLola 错误报告：rtlola-reporting
- 过程宏：rtlola-macros
版权
版权 (C) CISPA - 汉诺威信息安全赫尔姆霍兹研究中心 2021-2024。作者：Jan Baumeister，Florian Kohn，Stefan Oswald，Frederik Scheerer，Maximilian Schwenger。基于萨尔路易斯大学 (C) 2020 的原始工作。作者：Jan Baumeister，Florian Kohn，Malte Schledjewski，Maximilian Schwenger，Marvin Stenger 和 Leander Tentrup。
依赖项
~7–15MB
~173K SLoC