10 releases

0.5.0 Jun 28, 2024
0.4.1 Feb 2, 2023
0.4.0 Dec 19, 2022
0.3.3 Apr 12, 2022
0.1.2 May 28, 2021

#7 in #hir

Download history 7/week @ 2024-07-08 11/week @ 2024-07-15 61/week @ 2024-07-29 5/week @ 2024-08-12 3/week @ 2024-08-19 32/week @ 2024-08-26 5/week @ 2024-09-02 7/week @ 2024-09-09 27/week @ 2024-09-16 35/week @ 2024-09-23 28/week @ 2024-09-30 5/week @ 2024-10-07 6/week @ 2024-10-14 10/week @ 2024-10-21

55 downloads per month
Used in 7 crates (via rtlola-frontend)

Apache-2.0

1MB
19K 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-2024. Authors: Jan Baumeister, Florian Kohn, Stefan Oswald, Frederik Scheerer, 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

~8–16MB
~210K SLoC