#verification #macro #monitoring #generate #proc-macro

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

#139 in #verification

Download history 29/week @ 2024-06-29 3/week @ 2024-07-06 30/week @ 2024-07-13 6/week @ 2024-07-20 33/week @ 2024-07-27 8/week @ 2024-08-03 10/week @ 2024-08-10 9/week @ 2024-08-17 18/week @ 2024-08-24 36/week @ 2024-08-31 11/week @ 2024-09-07 11/week @ 2024-09-14 43/week @ 2024-09-21 66/week @ 2024-09-28 10/week @ 2024-10-05 9/week @ 2024-10-12

128 downloads per month
Used in 8 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
~37K SLoC