rtlola2solidity 0.1.0

A compiler from RTLola to Solidity through StreamIR
Documentation