rtlola-streamir-interpreter
| Crates.io | rtlola-streamir-interpreter |
| lib.rs | rtlola-streamir-interpreter |
| version | 0.1.0 |
| created_at | 2025-05-15 13:31:47.799369+00 |
| updated_at | 2025-05-15 13:31:47.799369+00 |
| description | An interpreter for RTLola through StreamIR |
| homepage | https://rtlola.org |
| repository | https://github.com/reactive-systems/rtlola-streamir |
| max_upload_size | |
| id | 1675019 |
| size | 231,144 |
Jan Baumeister (jabaum)
documentation
README
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