Skip to content

0.8.0: two more third-party defects fixed, docs corrected, version bumped - #184

Merged
AminChirazi merged 4 commits into
mainfrom
claude/flowproof-goose-adoption-hiwd67
Jul 27, 2026
Merged

0.8.0: two more third-party defects fixed, docs corrected, version bumped#184
AminChirazi merged 4 commits into
mainfrom
claude/flowproof-goose-adoption-hiwd67

0.8.0: bump the Python __init__ version too

5b87d8d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar