RecordFlux

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

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install recordflux

Dependencies

Releases

Version Released Bullseye
Python 3.9
Bookworm
Python 3.11
Trixie
Python 3.13
Files
0.26.0 2024-12-19      
0.25.0 2024-11-05      
0.24.0 2024-09-12      
0.23.0 2024-08-23      
0.22.0 2024-07-18      
0.21.0 2024-04-24      
0.20.0 2024-03-26      
0.19.0 2024-02-29      
0.18.0 2024-01-30      
0.17.0 2024-01-03      
0.16.0 2023-12-05      
0.15.0 2023-11-08      
0.14.0 2023-09-26      
0.13.0 2023-09-13      
0.12.0 2023-08-22      
0.11.1 2023-07-14      
0.11.0 2023-06-16      
0.10.0 2023-05-24      
0.9.1 2023-03-28  
0.9.0 2023-01-06  
0.8.0 2022-12-02  
0.7.1 2022-11-04  
0.7.0 2022-10-05  
0.6.0 2022-08-31  
0.5.0 2021-08-11  
0.4.1 2020-07-23  
0.4.0 2020-06-02  
0.3.0 2020-01-24  

Issues with this package?

Page last updated 2025-09-15 01:51:50 UTC