mpstthree 0.0.4

A library implementing Multiparty Session Types for 2 or more participants
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
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
54
55
56
57

[package]
name = "mpstthree"
version = "0.0.4"
authors = ["NicolasLagaillardie <lagaillardie.nicolas@live.fr>"]
edition = "2018"
description = "A library implementing Multiparty Session Types for 2 or more participants"
readme = "README.md"
repository = "https://github.com/NicolasLagaillardie/mpst_rust_github"
license = "MIT"
keywords = ["multiparty", "session"]
categories = ["concurrency", "development-tools::cargo-plugins"]
exclude = [".travis.yml", ".gitignore"]
autotests = false

[workspace]

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

[[test]]
name = "tests"
path = "tests/main.rs"

[[bench]]
name = "main"
harness = false

[[bench]]
name = "ping_pong"
harness = false

[profile.release]
debug = true

[dependencies]
crossbeam-channel = "0.5.1"
either = "1.6.1"
rand = "0.8.4"
# dot = "0.1.4"
# sesh = "0.1.1"
# mpst-seq = { git = "https://github.com/NicolasLagaillardie/mpst_seq", branch = "main" }
mpst-seq = { path = "mpst_seq", version = "0.0.2" }
# anyhow = "1"
hyper = { version = "0.14", features = ["full"] }
hyper-tls = "0.5"
tokio = { version = "1.8", features = ["full"] }
# futures = "0.3"
# field_types = "1.1.0"

[dev-dependencies]
criterion = { version = "0.3.4", features=["html_reports"] }
trybuild = "1.0.42"
ntest = "0.7.3"

[badges]
maintenance = { status = "actively-developed" }