An interpreter based one JIT compilation of the StreamIR

RTLola StreamIR Interpreter

RTLola is a stream-based runtime verification framework. This crate provides a interpretation of RTLola through the use of JIT compilation of the StreamIR.

For more information about StreamIR we refer the the accompaning paper.

For more information on the RTLola framework make sure to visit our website: rtlola.org

Copyright

Copyright (C) CISPA - Helmholtz Center for Information Security 2024-2025. Authors: Jan Baumeister, Frederik Scheerer