rtlola-frontend 0.4.0

A frontend for the RTLola runtime verification framework.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

[package]
name = "rtlola-frontend"
version = "0.4.0"
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 frontend for the RTLola runtime verification framework."
readme = "README.md"
homepage = "http://rtlola.org"
repository = "https://github.com/reactive-systems/RTLola"
license = "Apache-2.0"
keywords = ["verification", "frontend", "monitoring", "parser", "analyzer"]

[dependencies]
itertools = "0.10.0"
lazy_static = "1.3.0" # lazy_static! macro
num = "0.3.1"     # infinite precision rationals
rtlola-hir = "0.1.0"
rtlola-reporting = "0.1.0"
rtlola-parser = "0.1.0"
uom = { version = "0.31.1", default-features = false, features = [ "autoconvert", "rational64", "si", "std", "use_serde"]}