Skip to content

FlowProof 0.23.10

Latest

Choose a tag to compare

@AminChirazi AminChirazi released this 19 Sep 15:40
· 154 commits to main since this release
3a5a623

Recording now reports preparation, repair-model waits and retries to desktop callers that enable progress events. JSON results and normal CLI output remain unchanged.

Validated with the API pipeline tests, a progress/JSON integration test and green CI. Published to npm and PyPI for supported platforms.