Copyright (C) Universität des Saarlandes 2020. Authors: Jan Baumeister, Florian Kohn, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, and Leander Tentrup.
RTLola is a monitoring framework. It consist of a parser, analyzer, and interpreter for the RTLola specification language.
Add this crate as a dependency to your project and check the documentation for instruction on how to transform a specification file into an intermediate representation.
doc/syntax.mddoc/development.mdtarget/doc/rtlola_frontend/index.html, target/doc/rtlola_interpreter/index.html (Note: if you want to build the documentation, use cargo doc)