9 releases

0.4.1 Feb 2, 2023
0.4.0 Dec 19, 2022
0.3.3 Apr 12, 2022
0.3.0 Nov 16, 2021
0.1.0 Apr 8, 2021

#520 in Parser implementations

Download history 61/week @ 2023-02-12 45/week @ 2023-02-19 25/week @ 2023-02-26 30/week @ 2023-03-05 7/week @ 2023-03-12 12/week @ 2023-03-19 11/week @ 2023-03-26 15/week @ 2023-04-02 15/week @ 2023-04-09 13/week @ 2023-04-16 4/week @ 2023-04-23 36/week @ 2023-04-30 46/week @ 2023-05-07 12/week @ 2023-05-14 24/week @ 2023-05-21 38/week @ 2023-05-28

120 downloads per month
Used in 5 crates (via rtlola-frontend)

Apache-2.0

1MB
17K SLoC

RTLola High-level Intermediate Representation

Crate API License

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:

Copyright

Copyright (C) CISPA - Helmholtz Center for Information Security 2021-2023. Authors: Jan Baumeister, Florian Kohn, Stefan Oswald, 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.

Dependencies

~6MB
~123K SLoC