diff --git a/Cargo.toml b/Cargo.toml index 5c05421..3c61754 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -18,5 +18,9 @@ license = "BSD-3-Clause" edition = "2021" rust-version = "1.66" +readme = "README.md" +keywords = ["temporal logic", "monitoring"] +repository = "https://github.com/anand-bala/argus" + [workspace.metadata.workspaces] allow_branch = "dev" diff --git a/argus-automata/Cargo.toml b/argus-automata/Cargo.toml index 14d3789..6342ea0 100644 --- a/argus-automata/Cargo.toml +++ b/argus-automata/Cargo.toml @@ -6,6 +6,8 @@ authors.workspace = true license.workspace = true edition.workspace = true rust-version.workspace = true +readme.workspace = true +repository.workspace = true [dependencies] petgraph = "0.6.4" diff --git a/argus-core/Cargo.toml b/argus-core/Cargo.toml index b989bc3..2420a7d 100644 --- a/argus-core/Cargo.toml +++ b/argus-core/Cargo.toml @@ -6,6 +6,8 @@ authors.workspace = true license.workspace = true edition.workspace = true rust-version.workspace = true +readme.workspace = true +repository.workspace = true [dependencies] derive_more = "0.99.17" diff --git a/argus-derive/Cargo.toml b/argus-derive/Cargo.toml index c0ec41a..1bb0f44 100644 --- a/argus-derive/Cargo.toml +++ b/argus-derive/Cargo.toml @@ -6,6 +6,8 @@ authors.workspace = true license.workspace = true edition.workspace = true rust-version.workspace = true +readme.workspace = true +repository.workspace = true [lib] proc-macro = true diff --git a/argus-parser/Cargo.toml b/argus-parser/Cargo.toml index 9bcaa9c..1829a69 100644 --- a/argus-parser/Cargo.toml +++ b/argus-parser/Cargo.toml @@ -6,6 +6,8 @@ authors.workspace = true license.workspace = true edition.workspace = true rust-version.workspace = true +readme.workspace = true +repository.workspace = true [[example]] name = "dump_parse_tree" diff --git a/argus-semantics/Cargo.toml b/argus-semantics/Cargo.toml index 5b4f8ba..450fd43 100644 --- a/argus-semantics/Cargo.toml +++ b/argus-semantics/Cargo.toml @@ -6,6 +6,8 @@ authors.workspace = true license.workspace = true edition.workspace = true rust-version.workspace = true +readme.workspace = true +repository.workspace = true [dependencies] argus-core = { version = "0.1.1", path = "../argus-core" } diff --git a/argus/Cargo.toml b/argus/Cargo.toml index 56145bb..b38ac3f 100644 --- a/argus/Cargo.toml +++ b/argus/Cargo.toml @@ -6,6 +6,7 @@ authors.workspace = true license.workspace = true edition.workspace = true rust-version.workspace = true +readme.workspace = true [dependencies] argus-core = { version = "0.1.1", path = "../argus-core" } diff --git a/pyargus/Cargo.toml b/pyargus/Cargo.toml index ffd0647..856b7a0 100644 --- a/pyargus/Cargo.toml +++ b/pyargus/Cargo.toml @@ -6,6 +6,8 @@ authors.workspace = true license.workspace = true edition.workspace = true rust-version.workspace = true +readme.workspace = true +repository.workspace = true [lib] name = "pyargus"