#macro #monitoring #verification

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

#134 in #verification

Download history 20/week @ 2024-12-10 3/week @ 2024-12-17 2/week @ 2025-01-07 8/week @ 2025-01-14 2/week @ 2025-01-21 8/week @ 2025-02-04 4/week @ 2025-02-11 4/week @ 2025-02-18 81/week @ 2025-02-25 208/week @ 2025-03-04 13/week @ 2025-03-11 1/week @ 2025-03-18 1/week @ 2025-03-25

290 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
~38K SLoC