├── .github └── workflows │ ├── build.yaml │ └── tag.yaml ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE.MIT ├── README.md ├── doc ├── mxrxtx.gif └── tlaplus │ ├── README.md │ ├── check.sh │ ├── tlsd.sh │ └── v1 │ ├── Base.tla │ ├── Common.tla │ ├── Constants.tla │ ├── DataChannel.tla │ ├── DataChannels.tla │ ├── Device.tla │ ├── DeviceHSChannels.tla │ ├── HS.tla │ ├── MC.cfg │ ├── MC.tla │ ├── MChannel.tla │ ├── Model.tla │ ├── Protocol.tla │ ├── README.md │ └── Util.tla ├── scripts ├── tag └── update-cargo-version.sh ├── src ├── bin │ └── mxrxtx.rs ├── config.rs ├── console.rs ├── digest.rs ├── download.rs ├── lib.rs ├── matrix_common.rs ├── matrix_log.rs ├── matrix_signaling.rs ├── matrix_verify.rs ├── monitor.rs ├── offer.rs ├── progress_common.rs ├── protocol.rs ├── setup.rs ├── signaling.rs ├── test_signaling.rs ├── transfer_session.rs ├── transport.rs ├── utils.rs └── version.rs └── tests └── transfer_test.rs /.github/workflows/build.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/.github/workflows/build.yaml -------------------------------------------------------------------------------- /.github/workflows/tag.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/.github/workflows/tag.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE.MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/LICENSE.MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/README.md -------------------------------------------------------------------------------- /doc/mxrxtx.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/mxrxtx.gif -------------------------------------------------------------------------------- /doc/tlaplus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/README.md -------------------------------------------------------------------------------- /doc/tlaplus/check.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/check.sh -------------------------------------------------------------------------------- /doc/tlaplus/tlsd.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/tlsd.sh -------------------------------------------------------------------------------- /doc/tlaplus/v1/Base.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/Base.tla -------------------------------------------------------------------------------- /doc/tlaplus/v1/Common.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/Common.tla -------------------------------------------------------------------------------- /doc/tlaplus/v1/Constants.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/Constants.tla -------------------------------------------------------------------------------- /doc/tlaplus/v1/DataChannel.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/DataChannel.tla -------------------------------------------------------------------------------- /doc/tlaplus/v1/DataChannels.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/DataChannels.tla -------------------------------------------------------------------------------- /doc/tlaplus/v1/Device.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/Device.tla -------------------------------------------------------------------------------- /doc/tlaplus/v1/DeviceHSChannels.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/DeviceHSChannels.tla -------------------------------------------------------------------------------- /doc/tlaplus/v1/HS.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/HS.tla -------------------------------------------------------------------------------- /doc/tlaplus/v1/MC.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/MC.cfg -------------------------------------------------------------------------------- /doc/tlaplus/v1/MC.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/MC.tla -------------------------------------------------------------------------------- /doc/tlaplus/v1/MChannel.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/MChannel.tla -------------------------------------------------------------------------------- /doc/tlaplus/v1/Model.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/Model.tla -------------------------------------------------------------------------------- /doc/tlaplus/v1/Protocol.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/Protocol.tla -------------------------------------------------------------------------------- /doc/tlaplus/v1/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/README.md -------------------------------------------------------------------------------- /doc/tlaplus/v1/Util.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/doc/tlaplus/v1/Util.tla -------------------------------------------------------------------------------- /scripts/tag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/scripts/tag -------------------------------------------------------------------------------- /scripts/update-cargo-version.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/scripts/update-cargo-version.sh -------------------------------------------------------------------------------- /src/bin/mxrxtx.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/bin/mxrxtx.rs -------------------------------------------------------------------------------- /src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/config.rs -------------------------------------------------------------------------------- /src/console.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/console.rs -------------------------------------------------------------------------------- /src/digest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/digest.rs -------------------------------------------------------------------------------- /src/download.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/download.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/matrix_common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/matrix_common.rs -------------------------------------------------------------------------------- /src/matrix_log.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/matrix_log.rs -------------------------------------------------------------------------------- /src/matrix_signaling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/matrix_signaling.rs -------------------------------------------------------------------------------- /src/matrix_verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/matrix_verify.rs -------------------------------------------------------------------------------- /src/monitor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/monitor.rs -------------------------------------------------------------------------------- /src/offer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/offer.rs -------------------------------------------------------------------------------- /src/progress_common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/progress_common.rs -------------------------------------------------------------------------------- /src/protocol.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/protocol.rs -------------------------------------------------------------------------------- /src/setup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/setup.rs -------------------------------------------------------------------------------- /src/signaling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/signaling.rs -------------------------------------------------------------------------------- /src/test_signaling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/test_signaling.rs -------------------------------------------------------------------------------- /src/transfer_session.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/transfer_session.rs -------------------------------------------------------------------------------- /src/transport.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/transport.rs -------------------------------------------------------------------------------- /src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/utils.rs -------------------------------------------------------------------------------- /src/version.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/src/version.rs -------------------------------------------------------------------------------- /tests/transfer_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eras/mxrxtx/HEAD/tests/transfer_test.rs --------------------------------------------------------------------------------