rtlola-cli 0.1.2

A CLI interface for the RTLola interpreter.
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53

[[bin]]
name = "rtlola-cli"
path = "src/main.rs"

[dependencies.atty]
version = "0.2.14"

[dependencies.clap]
features = ["derive", "cargo", "wrap_help"]
version = "4.0.9"

[dependencies.clap_complete]
version = "4.0.2"

[dependencies.human-panic]
optional = true
version = "1.0.1"

[dependencies.humantime]
version = "2.0"

[dependencies.rtlola-interpreter]
version = "0.11.0"

[dependencies.rtlola-io-plugins]
default-features = false
features = ["csv_plugin", "json_plugin", "statistics_plugin", "log_printer"]
version = "0.3.0"

[dependencies.termcolor]
version = "1.4.1"

[features]
pcap_interface = ["rtlola-io-plugins/pcap_plugin"]
public = ["human-panic"]

[package]
authors = ["Jan Baumeister <jbaumeister@react.uni-saarland.de>", "Florian Kohn <kohn@react.uni-saarland.de>", "Stefan Oswald <stefano97@gmx.de>", "Malte Schledjewski <schledjewski@react.uni-saarland.de>", "Maximilian Schwenger <schwenger@react.uni-saarland.de>", "Frederik Scheerer <frederik.scheerer@cispa.de>", "Marvin Stenger <stenger@react.uni-saarland.de>", "Leander Tentrup <tentrup@react.uni-saarland.de>"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
description = "A CLI interface for the RTLola interpreter."
edition = "2021"
homepage = "http://rtlola.org"
keywords = ["verification", "interpreter", "monitoring"]
license = "Apache-2.0"
name = "rtlola-cli"
readme = "README.md"
repository = "https://github.com/reactive-systems/RTLola-Interpreter"
version = "0.1.2"