{"package": "recordflux", "summary": "A toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.", "pypi_url": "https://pypi.org/project/recordflux", "piwheels_url": "https://www.piwheels.org/project/recordflux", "releases": {"0.26.0": {"released": "2024-12-19 16:22:01", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.25.0": {"released": "2024-11-05 12:50:45", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.24.0": {"released": "2024-09-12 15:46:11", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.23.0": {"released": "2024-08-23 10:14:47", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.22.0": {"released": "2024-07-18 10:55:53", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.21.0": {"released": "2024-04-24 14:17:21", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.20.0": {"released": "2024-03-26 17:02:59", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.19.0": {"released": "2024-02-29 12:53:15", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.18.0": {"released": "2024-01-30 10:34:52", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.17.0": {"released": "2024-01-03 12:18:01", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.16.0": {"released": "2023-12-05 17:47:40", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.15.0": {"released": "2023-11-08 13:53:47", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.14.0": {"released": "2023-09-26 20:32:09", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.13.0": {"released": "2023-09-13 09:38:13", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.12.0": {"released": "2023-08-22 14:11:52", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.11.1": {"released": "2023-07-14 13:39:51", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.11.0": {"released": "2023-06-16 15:35:45", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.10.0": {"released": "2023-05-24 18:13:00", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "0.9.1": {"released": "2023-03-28 14:04:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"RecordFlux-0.9.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/recordflux/RecordFlux-0.9.1-py3-none-any.whl", "filehash": "9d2a80bafd2021aa505d18bb69744277542b6adca2246f698ef3e1ab10818730", "filesize": 223777, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["attrs", "icontract", "pydantic", "pydotplus", "recordflux-parser", "ruamel-yaml", "z3-solver"]}}}, "0.9.0": {"released": "2023-01-06 14:17:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"RecordFlux-0.9.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/recordflux/RecordFlux-0.9.0-py3-none-any.whl", "filehash": "9d84e390f4570a42b8f1ee27af8fb6339b62634df4469d6202e644f856f67cb6", "filesize": 218617, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["attrs", "icontract", "pydantic", "pydotplus", "recordflux-parser", "ruamel-yaml", "z3-solver"]}}}, "0.8.0": {"released": "2022-12-02 14:13:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"RecordFlux-0.8.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/recordflux/RecordFlux-0.8.0-py3-none-any.whl", "filehash": "31d9ea5a5ce7e357b19983ca2b6663bc7a5b1507ac9262ac1580a6759ccca3e3", "filesize": 219016, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["attrs", "icontract", "pydantic", "pydotplus", "recordflux-parser", "ruamel-yaml", "z3-solver"]}}}, "0.7.1": {"released": "2022-11-04 15:17:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"RecordFlux-0.7.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/recordflux/RecordFlux-0.7.1-py3-none-any.whl", "filehash": "02fc8c1ae264287c1ba708b6a988bc660acb1a92357910a7acd2cfd01118b5e7", "filesize": 218617, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["attrs", "icontract", "pydantic", "pydotplus", "recordflux-parser", "ruamel-yaml", "z3-solver"]}}}, "0.7.0": {"released": "2022-10-05 11:40:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"RecordFlux-0.7.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/recordflux/RecordFlux-0.7.0-py3-none-any.whl", "filehash": "709a2d0cb7225efc0ff0184fac2fe8549b9f7699bdbaef815c789822219118b8", "filesize": 212026, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["attrs", "icontract", "pydantic", "pydotplus", "recordflux-parser", "ruamel-yaml", "z3-solver"]}}}, "0.6.0": {"released": "2022-08-31 14:06:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"RecordFlux-0.6.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/recordflux/RecordFlux-0.6.0-py3-none-any.whl", "filehash": "dff19b4de7f30698754b93429ac76aa97b1bd7d448a2ba311163f7fe13441918", "filesize": 206899, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["attrs", "icontract", "pydantic", "pydotplus", "recordflux-parser", "ruamel-yaml", "z3-solver"]}}}, "0.5.0": {"released": "2021-08-11 15:20:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"RecordFlux-0.5.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/recordflux/RecordFlux-0.5.0-py3-none-any.whl", "filehash": "867ef364c2e16899fca68461a2b44e573f9cfa0dde97f85137299e45b6759f19", "filesize": 156368, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7", "apt_dependencies": [], "pip_dependencies": ["attrs", "icontract", "pydotplus", "recordflux-language", "z3-solver"]}}}, "0.4.1": {"released": "2020-07-23 09:07:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"RecordFlux-0.4.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/recordflux/RecordFlux-0.4.1-py3-none-any.whl", "filehash": "82fae882015ed0739bec66fb623995af4cb5aa7c18c44aacc7e08cf84c8e9312", "filesize": 102100, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6", "apt_dependencies": [], "pip_dependencies": ["icontract", "pydotplus", "pyparsing", "z3-solver"]}}}, "0.4.0": {"released": "2020-06-02 13:59:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"RecordFlux-0.4.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/recordflux/RecordFlux-0.4.0-py3-none-any.whl", "filehash": "6d62408d85067f284e3de0cf6190caa4616eace62bd766a216d0b2cd9f3559e9", "filesize": 94337, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6", "apt_dependencies": [], "pip_dependencies": ["icontract", "pydotplus", "pyparsing", "z3-solver"]}}}, "0.3.0": {"released": "2020-01-24 14:14:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"RecordFlux-0.3.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/recordflux/RecordFlux-0.3.0-py3-none-any.whl", "filehash": "2615a03a335258ab0dbb67875a7bcc0140114510c83c0b3e5b5459417df799b8", "filesize": 74576, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6", "apt_dependencies": [], "pip_dependencies": ["pydotplus", "pyparsing", "z3-solver"]}}}}}