#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

#179 in #verification

Download history 8/week @ 2024-11-16 12/week @ 2024-11-23 16/week @ 2024-11-30 25/week @ 2024-12-07 6/week @ 2024-12-14 1/week @ 2025-01-04 4/week @ 2025-01-11 7/week @ 2025-01-18 5/week @ 2025-02-01 4/week @ 2025-02-08 6/week @ 2025-02-15 13/week @ 2025-02-22 274/week @ 2025-03-01

299 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