rtlola2solidity
| Crates.io | rtlola2solidity |
| lib.rs | rtlola2solidity |
| version | 0.1.0 |
| created_at | 2025-05-15 13:36:48.777817+00 |
| updated_at | 2025-05-15 13:36:48.777817+00 |
| description | A compiler from RTLola to Solidity through StreamIR |
| homepage | https://rtlola.org |
| repository | https://github.com/reactive-systems/rtlola-streamir |
| max_upload_size | |
| id | 1675032 |
| size | 128,313 |
Jan Baumeister (jabaum)
documentation
README
RTLola to Solidity Compiler
RTLola is a stream-based runtime verification framework. This crate provides a compilation of RTLola to Solidity through the use of the StreamIR framework.
For more information about StreamIR we refer to the accompaning paper.
For more information on the RTLola framework make sure to visit our website: rtlola.org
For detailed usage instructions try:
rtlola2solidity --help
It takes as input the path to an rtlola specification and a specification of the function interface in TOML.
Each function is represented by a [[function]] block with an associated name, and contains a set of [[function.argument]]'s, which represent the arguments to this function and provides inputs to the associated input streams.
Copyright
Copyright (C) CISPA - Helmholtz Center for Information Security 2024-2025. Authors: Jan Baumeister, Frederik Scheerer