rtlola-macros (cargo): Procedural macros for more convenient handling of HirModes in the rtlola_hir crate.
Keywords: verification|monitoring|macro