halmos v0.3.0 release hoogtepunten! (een snelle herinnering: halmos is een symbolische testtool voor EVM bytecode die mooi samenwerkt met foundry-projecten en meerdere SMT-oplossers ondersteunt) 1. we hebben (eindelijk) ondersteuning toegevoegd voor stateful invariant testing

2. dekkingsrapporten (voer gewoon uit met --coverage), genereer vervolgens de resultaten met genhtml of visualiseer het in VSCode

3. vlamgrafieken een beetje vreemd, maar een interessante manier om een invariantietestcampagne te visualiseren. Voer gewoon uit met --flamegraph

5. betere oplosserondersteuning voor: --solver-command "yices-smt2 --smt2-model-format" na: --solver yices voor: --solver-command "bitwuzla --produce-models --abstraction" na: --solver bitwuzla-abs

6. vriendschap beëindigd met z3, yices is nu de standaardoplosser (je hoeft zelfs niet te zeggen `--solver yices` om van de voordelen te genieten)

7. solx ondersteuning als je niet weet wat solx is, @PatrickAlphaC heeft je gedekt

8. toegevoegd env* en random* cheatcodes, allemaal 3 miljoen daarvan. Bedankt @Jayakumar2812 voor de bijdrage!

9. coole voortgangsindicatoren uit de toekomst

Dat is het! Haal het nu: uv tool install --python 3.13 halmos