rtlola-macros
| Crates.io | rtlola-macros |
| lib.rs | rtlola-macros |
| version | 0.1.2 |
| created_at | 2021-03-18 14:37:34.321762+00 |
| updated_at | 2023-02-02 14:59:38.6199+00 |
| description | Procedural macros for more convenient handling of HirModes in the rtlola_hir crate. |
| homepage | https://rtlola.org |
| repository | https://github.com/Schwenger/RTLolaProcMacros |
| max_upload_size | |
| id | 370531 |
| size | 13,973 |
Jan Baumeister (jabaum)
documentation
README
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.