reelay

Runtime verification package using formal specifications

Project description

The author of this package has not provided a project description

This version

2008.0

Aug 18, 2020

2005.0

May 26, 2020

2001.0

Jan 29, 2020

0.0.1

Dec 8, 2017

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Uploaded Aug 18, 2020 source

Uploaded Aug 18, 2020 cp39

Uploaded Aug 18, 2020 cp38

Uploaded Aug 18, 2020 cp37

Uploaded Aug 18, 2020 cp36

Uploaded Aug 18, 2020 cp35

Hashes for reelay-2008.0-cp39-cp39-manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`f7b8c2796027b24f45c88ed6984ff0ca33a9f00f86aeea6f14d688811c178921`
MD5	`9850290d182312ddd14b794aca7c5802`
BLAKE2b-256	`b522feedf6b901aa60062afc857ed1361c7a2d529ceb0e583a6b5216734dca7e`

Hashes for reelay-2008.0-cp38-cp38-manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`83c80626a75d0ece2c0b336f7cc3d9a7b5793e023cd9bd4942b492ef2bb1f97c`
MD5	`caac1ea103a5fd27a94464e7f28052e4`
BLAKE2b-256	`855b78fefa37afcb01c26001ea16877e074b0f5606e08922fedf875dbe836cf1`

Hashes for reelay-2008.0-cp36-cp36m-manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`0d6040f60f5d6df4ca0bb2a5b5a9fc17349cf2cc60d9655699704bdadc160d14`
MD5	`96f9cd79a464a8a350fa0c20229df361`
BLAKE2b-256	`3ee8fd5d9b44f2614fd7acfdf8a09474f8d6262d2f710a63c3d298a7c309a944`

Hashes for reelay-2008.0-cp35-cp35m-manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`02f2137b5cc77bbf010edc3db939840f722f4b29a05fcc3916eeacf65a861ad9`
MD5	`adf0329c264f65fab0da9e6e8c21b8eb`
BLAKE2b-256	`ac3c8ab522e8bf49a550774e7e5231e981bd57b56db8eed4158c8690402fdc21`