[package]
name = "rtlola-hir"
version = "0.4.1"
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>",
]
edition = "2018"
description = "A high-level intermediate representation for RTLola specifications."
readme = "README.md"
homepage = "http://rtlola.org"
repository = "https://github.com/reactive-systems/RTLola-Frontend"
license = "Apache-2.0"
keywords = ["verification", "frontend", "monitoring", "analyzer", "hir"]
[dependencies]
uom = { version = "0.31.1", default-features = false, features = [ "autoconvert", "rational64", "si", "std", "use_serde"]}
itertools = "0.10.0"
lazy_static = "1.3.0"
petgraph = "0.5"
num = "0.3.1"
rtlola-reporting = "0.2.2"
rtlola-macros = "0.1.2"
rtlola-parser = "0.3.1"
rusttyc = "0.5.0"
serde = { version = "1.0.130", features = ["derive"] }
num-rational = { version = "0.3.2", features = ["serde"] }