rtlola-hir (cargo): A high-level intermediate representation for RTLola specifications.
Keywords: frontend|analyzer|monitoring|verification|hir