# 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 = "2021"
rust-version = "1.77"
name = "mpstthree"
version = "0.1.17"
authors = ["NicolasLagaillardie <nicolas.lagaillardie@tutanota.com>"]
exclude = [
    ".vscode/",
    ".travis.yml",
    "codecov.yml",
    ".gitignore",
    ".github/",
    ".cargo_vcs_info.json",
    "scripts/",
    "example/",
    "outputs/",
    "cfsm/",
    "compile_time/",
    "graphs_bench/",
    "rustfmt_0.toml",
    "notes.txt",
    "result.rs",
    "results/",
    "save/",
    "expand/",
    "target/",
]
autotests = false
autobenches = false
description = "A library implementing Multiparty Session Types for 2 or more participants"
homepage = "https://github.com/NicolasLagaillardie/mpst_rust_github"
documentation = "https://docs.rs/mpstthree"
readme = "README.md"
keywords = [
    "multiparty",
    "session",
    "affine",
    "multicrusty",
    "timed",
]
categories = ["concurrency"]
license = "MIT OR Apache-2.0"
repository = "https://github.com/NicolasLagaillardie/mpst_rust_github"

[package.metadata.docs.rs]
all-features = true
rustdoc-args = [
    "--cfg",
    "doc_cfg",
]

[package.metadata.playground]
features = [
    "full",
    "interleaved",
]

[profile.release]
debug = 2

[lib]
bench = false

[[bin]]
name = "mpst"
path = "main.rs"
bench = false

[[example]]
name = "my_basic"
path = "examples/artifact/my_basic.rs"
required-features = ["baking"]

[[example]]
name = "basic"
path = "examples/artifact/basic.rs"
required-features = ["baking"]

[[example]]
name = "atmp_my_basic"
path = "examples/artifact_atmp/my_basic.rs"
required-features = ["baking_atmp"]

[[example]]
name = "atmp_basic"
path = "examples/artifact_atmp/basic.rs"
required-features = ["baking_atmp"]

[[example]]
name = "readme"
path = "examples/readme_example.rs"
required-features = ["mpst"]

[[example]]
name = "generator_servo"
path = "examples/artifact_atmp/generator_files/servo.rs"
required-features = ["top_down_nuscr"]

[[example]]
name = "generator_three_buyers"
path = "examples/artifact_atmp/generator_files/three_buyers.rs"
required-features = ["top_down_nuscr"]

[[example]]
name = "generator_remote_data"
path = "examples/artifact_atmp/generator_files/remote_data.rs"
required-features = ["top_down_nuscr"]

[[example]]
name = "generated_servo"
path = "examples/artifact_atmp/generated_files/Servo.rs"
required-features = ["baking_atmp"]

[[example]]
name = "generated_three_buyers"
path = "examples/artifact_atmp/generated_files/ThreeBuyers.rs"
required-features = ["baking_atmp"]

[[example]]
name = "generated_remote_data"
path = "examples/artifact_atmp/generated_files/RemoteData.rs"
required-features = ["baking_atmp"]

[[test]]
name = "checking"
path = "tests/checking.rs"
required-features = [
    "macros_multiple",
    "checking",
]

[[test]]
name = "basics"
path = "tests/basics.rs"
required-features = ["checking"]

[[test]]
name = "binary"
path = "tests/binary.rs"
required-features = ["default"]

[[test]]
name = "cancel"
path = "tests/cancel.rs"
required-features = ["baking"]

[[test]]
name = "macros_multiple"
path = "tests/macros_multiple.rs"
required-features = ["macros_multiple"]

[[test]]
name = "macros_simple"
path = "tests/macros_simple.rs"
required-features = ["macros_simple"]

[[test]]
name = "baking"
path = "tests/baking.rs"
required-features = [
    "baking",
    "checking",
]

[[test]]
name = "extra"
path = "tests/extra.rs"
required-features = ["baking"]

[[test]]
name = "interleaved"
path = "tests/interleaved.rs"
required-features = ["baking_interleaved"]

[[test]]
name = "binary_atmp"
path = "tests/binary_atmp.rs"
required-features = ["binary_atmp"]

[[test]]
name = "baking_atmp"
path = "tests/baking_atmp.rs"
required-features = ["baking_atmp"]

[[test]]
name = "baking_message"
path = "tests/baking_message.rs"
required-features = [
    "baking",
    "checking",
]

[[test]]
name = "nuscr"
path = "tests/nuscr.rs"
required-features = [
    "baking_atmp",
    "top_down_nuscr",
]

[dependencies.Inflector]
version = "0.11.4"

[dependencies.crossbeam-channel]
version = "0.5.12"

[dependencies.either]
version = "1.11.0"

[dependencies.http-body-util]
version = "0.1"

[dependencies.hyper]
version = "1.2.0"
features = ["full"]
optional = true

[dependencies.hyper-tls]
version = "0.6.0"
optional = true

[dependencies.hyper-util]
version = "0.1.3"
features = ["full"]

[dependencies.mpst-seq-proc]
version = "0.1.14"

[dependencies.once_cell]
version = "1.19.0"
optional = true

[dependencies.petgraph]
version = "0.6.4"
optional = true

[dependencies.protobuf]
version = "3.4.0"
features = ["with-bytes"]

[dependencies.protobuf-codegen]
version = "3.4.0"

[dependencies.protoc-bin-vendored]
version = "3.0.0"

[dependencies.rand]
version = "0.8.5"

[dependencies.regex]
version = "1.10.4"
optional = true

[dependencies.tokio]
version = "1.33.0"
features = ["full"]
optional = true

[dev-dependencies.criterion]
version = "0.5.1"
features = ["html_reports"]

[dev-dependencies.ntest]
version = "0.9.0"

[dev-dependencies.trybuild]
version = "1.0.85"

[features]
affine_atmp = [
    "baking",
    "baking_atmp",
]
baking = [
    "mpst",
    "macros_multiple",
]
baking_atmp = [
    "binary_atmp",
    "mpst",
]
baking_atmp_interleaved = [
    "baking_atmp",
    "interleaved",
]
baking_checking = [
    "baking",
    "checking",
]
baking_interleaved = [
    "baking",
    "interleaved",
]
binary_atmp = ["default"]
checking = [
    "mpst",
    "regex",
    "petgraph",
]
default = []
full = [
    "baking_checking",
    "transport",
    "baking_atmp",
    "interleaved",
]
full_without_checking = [
    "baking",
    "transport",
    "interleaved",
]
interleaved = ["baking"]
macros_multiple = [
    "mpst",
    "macros_simple",
]
macros_simple = ["mpst"]
mpst = ["default"]
protobuf_feature = []
top_down_nuscr = [
    "default",
    "regex",
    "once_cell",
]
transport = [
    "transport_tcp",
    "transport_udp",
]
transport_macros_multiple = [
    "macros_multiple",
    "transport",
]
transport_tcp = ["default"]
transport_udp = ["default"]

[badges.maintenance]
status = "actively-developed"