#verification #macro #monitoring

macro bin rtlola-macros

Procedural macros for more convenient handling of HirModes in the rtlola_hir crate

3 releases

0.1.2 Feb 2, 2023
0.1.1 Apr 8, 2021
0.1.0 Mar 18, 2021

#1109 in Procedural macros

Download history 4/week @ 2023-06-09 54/week @ 2023-06-16 38/week @ 2023-06-23 62/week @ 2023-06-30 59/week @ 2023-07-07 36/week @ 2023-07-14 51/week @ 2023-07-21 24/week @ 2023-07-28 29/week @ 2023-08-04 32/week @ 2023-08-11 28/week @ 2023-08-18 18/week @ 2023-08-25 24/week @ 2023-09-01 31/week @ 2023-09-08 34/week @ 2023-09-15 13/week @ 2023-09-22

103 downloads per month
Used in 6 crates (via rtlola-hir)

MIT license

11KB
256 lines

RTLola Macros

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-23. Author: Maximilian Schwenger.

Procedural macros for more convenient handling of HirModes in the RTLola-Frontend.

Dependencies

~1.5MB
~31K SLoC