├── .gitignore ├── .travis.yml ├── Cargo.toml ├── LICENSE-MIT ├── README.md ├── examples └── atm.rs ├── src ├── channels.rs ├── lib.rs ├── peano.rs ├── protocol.rs └── session_types │ ├── choose.rs │ └── mod.rs └── tests ├── fail.rs ├── lib.rs └── run-fail ├── accept.rs └── close.rs /.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/.travis.yml -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/README.md -------------------------------------------------------------------------------- /examples/atm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/examples/atm.rs -------------------------------------------------------------------------------- /src/channels.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/src/channels.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/peano.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/src/peano.rs -------------------------------------------------------------------------------- /src/protocol.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/src/protocol.rs -------------------------------------------------------------------------------- /src/session_types/choose.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/src/session_types/choose.rs -------------------------------------------------------------------------------- /src/session_types/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/src/session_types/mod.rs -------------------------------------------------------------------------------- /tests/fail.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/tests/fail.rs -------------------------------------------------------------------------------- /tests/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/tests/lib.rs -------------------------------------------------------------------------------- /tests/run-fail/accept.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/tests/run-fail/accept.rs -------------------------------------------------------------------------------- /tests/run-fail/close.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ebfull/nemo/HEAD/tests/run-fail/close.rs --------------------------------------------------------------------------------