rtlola-parser
| Crates.io | rtlola-parser |
| lib.rs | rtlola-parser |
| version | 0.4.0 |
| created_at | 2021-04-08 20:29:21.852954+00 |
| updated_at | 2025-05-15 09:07:44.1421+00 |
| description | A parser for RTLola specifications. |
| homepage | http://rtlola.org |
| repository | https://github.com/reactive-systems/RTLola-Frontend |
| max_upload_size | |
| id | 381028 |
| size | 312,597 |
Florian Kohn (FlorianKohn)
documentation
README
RTLola Parser
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
- The RTLola high-level intermediate representation including a strong static analysis: rtlola-hir
- The RTLola error reporting: rtlola-reporting
- Procedural macros: rtlola-macros
Copyright
Copyright (C) CISPA - Helmholtz Center for Information Security 2021-24. Authors: Jan Baumeister, Florian Kohn, Stefan Oswald, Frederik Scheerer, Malte Schledjewski, Maximilian Schwenger. Based on original work at Universität des Saarlandes (C) 2020. Authors: Jan Baumeister, Florian Kohn, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, and Leander Tentrup.