RTLola Frontend

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 software summarizes the RTLola Frontend:

• The RTLola Frontend summarizes all the frontend sub-modules: 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
• Procedural macros: rtlola-macros