Skip to main content

Runtime verification package using formal specifications

Project description

The author of this package has not provided a project description

Project details


Download files

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

Source Distribution

reelay-2005.0.tar.gz (1.4 MB view details)

Uploaded Source

Built Distributions

reelay-2005.0-cp38-cp38-manylinux2014_x86_64.whl (16.9 MB view details)

Uploaded CPython 3.8

reelay-2005.0-cp37-cp37m-manylinux2014_x86_64.whl (17.0 MB view details)

Uploaded CPython 3.7m

reelay-2005.0-cp36-cp36m-manylinux2014_x86_64.whl (17.0 MB view details)

Uploaded CPython 3.6m

reelay-2005.0-cp35-cp35m-manylinux2014_x86_64.whl (17.0 MB view details)

Uploaded CPython 3.5m

File details

Details for the file reelay-2005.0.tar.gz.

File metadata

  • Download URL: reelay-2005.0.tar.gz
  • Upload date:
  • Size: 1.4 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.23.0 setuptools/46.1.3.post20200330 requests-toolbelt/0.9.1 tqdm/4.45.0 CPython/3.7.7

File hashes

Hashes for reelay-2005.0.tar.gz
Algorithm Hash digest
SHA256 54f790cf17824c90bb058477985721fb5f36584aad675b6ea66fdf9988226c4c
MD5 3cb35c142513147b8022d27de88e8192
BLAKE2b-256 43a81184fa06690507190506be2ec607ad8d89a7e1d3ea7f1851b4a30f345cc6

See more details on using hashes here.

File details

Details for the file reelay-2005.0-cp38-cp38-manylinux2014_x86_64.whl.

File metadata

  • Download URL: reelay-2005.0-cp38-cp38-manylinux2014_x86_64.whl
  • Upload date:
  • Size: 16.9 MB
  • Tags: CPython 3.8
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.23.0 setuptools/46.1.3.post20200330 requests-toolbelt/0.9.1 tqdm/4.45.0 CPython/3.7.7

File hashes

Hashes for reelay-2005.0-cp38-cp38-manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e08947c5bf7d576f072931881b5dae81c09539ebd4c089926631e215ef9edc6d
MD5 1f04fb303b58389425b4846f86d13271
BLAKE2b-256 e47e1f237d945b78e5a406ed3a86a971866285ca8ec07b67cd81e9ee871d3ce0

See more details on using hashes here.

File details

Details for the file reelay-2005.0-cp37-cp37m-manylinux2014_x86_64.whl.

File metadata

  • Download URL: reelay-2005.0-cp37-cp37m-manylinux2014_x86_64.whl
  • Upload date:
  • Size: 17.0 MB
  • Tags: CPython 3.7m
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.23.0 setuptools/46.1.3.post20200330 requests-toolbelt/0.9.1 tqdm/4.45.0 CPython/3.7.7

File hashes

Hashes for reelay-2005.0-cp37-cp37m-manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 67930d58c6ea2cee74304dec9422d46c5eb1f077b7a36492118452a7e3b13770
MD5 b67be9c8f6bfb6aa62fdabebcac84718
BLAKE2b-256 0f6dee05d38a148b4d53b3bc24f1639dbbe71c441233b0c2838e6fbcb9215a14

See more details on using hashes here.

File details

Details for the file reelay-2005.0-cp36-cp36m-manylinux2014_x86_64.whl.

File metadata

  • Download URL: reelay-2005.0-cp36-cp36m-manylinux2014_x86_64.whl
  • Upload date:
  • Size: 17.0 MB
  • Tags: CPython 3.6m
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.23.0 setuptools/46.1.3.post20200330 requests-toolbelt/0.9.1 tqdm/4.45.0 CPython/3.7.7

File hashes

Hashes for reelay-2005.0-cp36-cp36m-manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 3f5ca98ba3d522024847fb213885007b3905022b41d86d0f4a392b4853cc626c
MD5 12b9265a82fb4f25ff1f0c33f330f7ff
BLAKE2b-256 1f1066447cfdb147e99b464fbafa63b57e747cdb63bb70625feb212f11a78631

See more details on using hashes here.

File details

Details for the file reelay-2005.0-cp35-cp35m-manylinux2014_x86_64.whl.

File metadata

  • Download URL: reelay-2005.0-cp35-cp35m-manylinux2014_x86_64.whl
  • Upload date:
  • Size: 17.0 MB
  • Tags: CPython 3.5m
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.23.0 setuptools/46.1.3.post20200330 requests-toolbelt/0.9.1 tqdm/4.45.0 CPython/3.7.7

File hashes

Hashes for reelay-2005.0-cp35-cp35m-manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 3cb5a4aee1fe0ec49d29bcaaa07e7c5899ba38e45fc6932f9c8b8fd60702c0d6
MD5 ca9fc0c5c3e93fdf7bea5a4091a8fd96
BLAKE2b-256 fafd50663341194582f439a1ecebff0c1b5f81f7defbb0cf363ebab66c598b20

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page