r2u2_cli 4.1.0

R2U2 CLI: A stream-based runtime monitor command-line interface
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

[[bin]]
bench = false
name = "r2u2_cli"
path = "src/main.rs"
test = false

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

[dependencies.csv]
version = "1.3.0"

[dependencies.pyo3]
features = ["auto-initialize"]
version = "0.27.0"

[dependencies.r2u2_core]
features = ["aux_string_specs"]
version = "4.1.0"

[dependencies.srfng]
version = "1.0.1"

[package]
authors = ["Alexis Aurandt <lexaurandt@gmail.com>"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
categories = ["compilers", "command-line-utilities"]
description = "R2U2 CLI: A stream-based runtime monitor command-line interface"
edition = "2021"
homepage = "https://r2u2.temporallogic.org"
keywords = ["monitoring", "verification", "compiler"]
license = "MIT OR Apache-2.0"
name = "r2u2_cli"
readme = "README.md"
repository = "https://github.com/R2U2/r2u2/tree/rust-develop/monitors/rust/r2u2_cli"
rust-version = "1.85.1"
version = "4.1.0"