3 releases
0.1.2 | Feb 2, 2023 |
---|---|
0.1.1 | Apr 8, 2021 |
0.1.0 | Mar 18, 2021 |
#139 in #verification
128 downloads per month
Used in 8 crates
(via rtlola-hir)
11KB
256 lines
RTLola Macros
RTLola is a stream-based runtime verification framework. It parses an RTLola specification, analyses it, and generates executable monitors for it. The framework is separated into a front-end and several back-ends.
This crate is part of the RTLola front-end, which includes several sub-modules:
- Main Crate: The RTLola front-end: rtlola-frontend
- A parser for RTLola specifications: rtlola-parser
- The RTLola high-level intermediate representation including a strong static analysis: rtlola-hir
- The RTLola error reporting: rtlola-reporting
Copyright
Copyright (c) CISPA - Helmholtz Center for Information Security 2021-23. Author: Maximilian Schwenger.
Procedural macros for more convenient handling of HirModes in the RTLola-Frontend.
Dependencies
~1.5MB
~37K SLoC