RTLola is a stream-based runtime verification framework. This repository contains the StreamIR framework and is structured into the following crates:
rtlola-streamir: Common library for the StreamIR, providing the lowering from RTLola, optimizations and a framework for translation into target languages.rtlola2rust: A compiler from RTLola to Rust using the StreamIR.rtlola2solidity: A compiler from RTLola to Solidity using the StreamIR.rtlola-streamir-interpreter: An RTLola StreamIR-based interpreter.
As well as two testing frameworks:
backend-comparison: For comparison between Rust compilations and interpretations.solidity-test-generator: For the comparison between Solidity compilation and interpretation.
For more information we refer the the accompaning paper.
Copyright (C) CISPA - Helmholtz Center for Information Security 2024-2025. Authors: Jan Baumeister, Frederik Scheerer.