# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[package]
edition = "2018"
name = "rtlola-hir"
version = "0.5.0"
authors = [
    "Jan Baumeister <jan.baumeister@cispa.de>",
    "Florian Kohn <florian.kohn@cispa.de>",
    "Stefan Oswald <stefan.oswald@cispa.de>",
    "Frederik Scheerer <frederik.scheerer@cispa.de>",
    "Maximilian Schwenger <maximilian.schwenger@cispa.de>",
]
description = "A high-level intermediate representation for RTLola specifications."
homepage = "http://rtlola.org"
readme = "README.md"
keywords = [
    "verification",
    "frontend",
    "monitoring",
    "analyzer",
    "hir",
]
license = "Apache-2.0"
repository = "https://github.com/reactive-systems/RTLola-Frontend"

[dependencies.itertools]
version = "0.10.0"

[dependencies.lazy_static]
version = "1.3.0"

[dependencies.num]
version = "0.3.1"

[dependencies.num-rational]
version = "0.3.2"
features = ["serde"]

[dependencies.petgraph]
version = "0.5"

[dependencies.rtlola-macros]
version = "0.1.2"

[dependencies.rtlola-parser]
version = "0.3.2"

[dependencies.rtlola-reporting]
version = "0.3.0"

[dependencies.rusttyc]
version = "0.5.0"

[dependencies.serde]
version = "1.0.130"
features = ["derive"]

[dependencies.uom]
version = "0.31.1"
features = [
    "autoconvert",
    "rational64",
    "si",
    "std",
    "use_serde",
]
default-features = false