A toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.

These details have not been verified by PyPI

Project links

Project description

RecordFlux

RecordFlux is a toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.

See the website, the user's guide and the language reference for more information.

Contribution and Feedback

Contributions and feedback to RecordFlux are very welcome. To discuss a bug or an enhancement, open a ticket on GitHub and select the appropriate issue template. Please give sufficient information about your issue, the software version you are using and your environment such that the developers can understand and (if necessary) reproduce the problem. If none of the provided issue templates fit your needs, feel free to open a blank issue.

See the development guide on how to contribute to RecordFlux.

Licence

This software is licensed under the Apache-2.0. See the LICENSE file for the full license text.

Project details

These details have not been verified by PyPI

Project links

Release history Release notifications | RSS feed

This version

0.25.0

Nov 5, 2024

0.24.0

Sep 12, 2024

0.23.0

Aug 23, 2024

0.22.0

Jul 18, 2024

0.21.0

Apr 24, 2024

0.20.0

Mar 26, 2024

0.19.0

Feb 29, 2024

0.18.0

Jan 30, 2024

0.17.0

Jan 3, 2024

0.16.0

Dec 5, 2023

0.15.0

Nov 8, 2023

0.14.0

Sep 26, 2023

0.13.0

Sep 13, 2023

0.12.0

Aug 22, 2023

0.11.1

Jul 14, 2023

0.11.0

Jun 16, 2023

0.10.0

May 24, 2023

0.9.1

Mar 28, 2023

0.9.0

Jan 6, 2023

0.8.0

Dec 2, 2022

0.7.1

Nov 4, 2022

0.7.0

Oct 5, 2022

0.6.0

Aug 31, 2022

0.5.0

Aug 11, 2021

0.4.1

Jul 23, 2020

0.4.0

Jun 2, 2020

0.3.0

Jan 24, 2020

Download files

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

Source Distribution

recordflux-0.25.0.tar.gz (1.4 MB view details)

Uploaded Nov 5, 2024 Source

Built Distributions

recordflux-0.25.0-cp312-cp312-manylinux_2_35_x86_64.whl (6.2 MB view details)

Uploaded Nov 5, 2024 CPython 3.12 manylinux: glibc 2.35+ x86-64

recordflux-0.25.0-cp311-cp311-manylinux_2_35_x86_64.whl (6.2 MB view details)

Uploaded Nov 5, 2024 CPython 3.11 manylinux: glibc 2.35+ x86-64

recordflux-0.25.0-cp310-cp310-manylinux_2_35_x86_64.whl (6.2 MB view details)

Uploaded Nov 5, 2024 CPython 3.10 manylinux: glibc 2.35+ x86-64

recordflux-0.25.0-cp39-cp39-manylinux_2_35_x86_64.whl (6.2 MB view details)

Uploaded Nov 5, 2024 CPython 3.9 manylinux: glibc 2.35+ x86-64

File details

Details for the file recordflux-0.25.0.tar.gz.

File metadata

Download URL: recordflux-0.25.0.tar.gz
Upload date: Nov 5, 2024
Size: 1.4 MB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: twine/5.1.1 CPython/3.11.8

File hashes

Hashes for recordflux-0.25.0.tar.gz
Algorithm	Hash digest
SHA256	`30b1f4514796e83e3b7f41745562243d25967e82556c4c2e74698b19f56a576a`
MD5	`1d4465bb28c27012e403a52fde9c7fa2`
BLAKE2b-256	`9b0edae94d7ab1662bfd21dcaa09235d58386a4962404eeca0eb0efd0ed6e86b`

See more details on using hashes here.

File details

Details for the file recordflux-0.25.0-cp312-cp312-manylinux_2_35_x86_64.whl.

File metadata

Download URL: recordflux-0.25.0-cp312-cp312-manylinux_2_35_x86_64.whl
Upload date: Nov 5, 2024
Size: 6.2 MB
Tags: CPython 3.12, manylinux: glibc 2.35+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/5.1.1 CPython/3.11.8

File hashes

Hashes for recordflux-0.25.0-cp312-cp312-manylinux_2_35_x86_64.whl
Algorithm	Hash digest
SHA256	`1ff6d3fc800e39bbf4b7ca17c1a189c4ac692b52e6689777d91a6252f3e6eff0`
MD5	`964c355be068dd16b92d92a85e498cff`
BLAKE2b-256	`56067729b8c4d86a03650cbd95d5a110b415b400e8e4164944849d3ffee0a076`

See more details on using hashes here.

File details

Details for the file recordflux-0.25.0-cp311-cp311-manylinux_2_35_x86_64.whl.

File metadata

Download URL: recordflux-0.25.0-cp311-cp311-manylinux_2_35_x86_64.whl
Upload date: Nov 5, 2024
Size: 6.2 MB
Tags: CPython 3.11, manylinux: glibc 2.35+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/5.1.1 CPython/3.11.8

File hashes

Hashes for recordflux-0.25.0-cp311-cp311-manylinux_2_35_x86_64.whl
Algorithm	Hash digest
SHA256	`aaacd2899500ed9644d7cfceed0cd006c98af4902df251fdb76b50da75750c85`
MD5	`e4c93f9d4c1380ecc2d7dadd1cb2df55`
BLAKE2b-256	`807b7aa7b122d12f1b3e1fee25dadbc4ecf239a9dbcb6c4c8602972664454720`

See more details on using hashes here.

File details

Details for the file recordflux-0.25.0-cp310-cp310-manylinux_2_35_x86_64.whl.

File metadata

Download URL: recordflux-0.25.0-cp310-cp310-manylinux_2_35_x86_64.whl
Upload date: Nov 5, 2024
Size: 6.2 MB
Tags: CPython 3.10, manylinux: glibc 2.35+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/5.1.1 CPython/3.11.8

File hashes

Hashes for recordflux-0.25.0-cp310-cp310-manylinux_2_35_x86_64.whl
Algorithm	Hash digest
SHA256	`d2568b65dad0aa0e850f8203976e1312650f430bad45957f7df7e7127574c712`
MD5	`6a9b8d3622099808e1504bf2730ebf2a`
BLAKE2b-256	`8ea592f3531c424d2983d44b6d057a4feee83ea622d1afb5565c49d9b718af14`

See more details on using hashes here.

File details

Details for the file recordflux-0.25.0-cp39-cp39-manylinux_2_35_x86_64.whl.

File metadata

Download URL: recordflux-0.25.0-cp39-cp39-manylinux_2_35_x86_64.whl
Upload date: Nov 5, 2024
Size: 6.2 MB
Tags: CPython 3.9, manylinux: glibc 2.35+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/5.1.1 CPython/3.11.8

File hashes

Hashes for recordflux-0.25.0-cp39-cp39-manylinux_2_35_x86_64.whl
Algorithm	Hash digest
SHA256	`6bf1d383ff5e6913f254635c0be11d3740bae67da168e5cc4706823ad3f12a37`
MD5	`c69c43610502a7c573cd70315ba93e89`
BLAKE2b-256	`da6b750c2abe0e79717c9497a347a118b6ab7596b185c4d71987e8f3e10d596c`