[dependencies.itertools]
version = "0.10.0"
[dependencies.lazy_static]
version = "1.3.0"
[dependencies.num]
version = "0.3.1"
[dependencies.rtlola-hir]
version = "0.1.2"
[dependencies.rtlola-parser]
version = "0.1.2"
[dependencies.rtlola-reporting]
version = "0.1.0"
[dependencies.uom]
default-features = false
features = ["autoconvert", "rational64", "si", "std", "use_serde"]
version = "0.31.1"
[package]
authors = ["Jan Baumeister <jan.baumeister@cispa.de>", "Florian Kohn <florian.kohn@cispa.de>", "Stefan Oswald <stefan.oswald@cispa.de>", "Maximilian Schwenger <maximilian.schwenger@cispa.de>"]
description = "A frontend for the RTLola runtime verification framework."
edition = "2018"
homepage = "http://rtlola.org"
keywords = ["verification", "frontend", "monitoring", "parser", "analyzer"]
license = "Apache-2.0"
name = "rtlola-frontend"
readme = "README.md"
repository = "https://github.com/reactive-systems/RTLola-Frontend"
version = "0.4.2"