Halmos v0.3.0 release höjdpunkter! (snabb påminnelse: halmos är ett symboliskt testverktyg för EVM-bytekod som samverkar fint med gjuteriprojekt och stöder flera SMT-lösare) 1. Vi har (äntligen) lagt till stöd för tillståndskänslig invarianttestning

2. täckningsrapporter (kör bara med --coverage), sedan antingen genhtml resultatet eller visualisera det i VSCode

3. Eldgrafer Lite konstigt, men ett intressant sätt att visualisera en invariant testkampanj. Kör bara med --flamegraph

5. Bättre stöd för lösare Före: --solver-kommando "yices-smt2 --smt2-model-format" Efter: --lösare yices Före: --solver-kommando "bitwuzla --producera-modeller --abstraktion" Efter: --solver bitwuzla-abs

6. Vänskapen slutade med Z3, Yices är standardlösaren nu (så du behöver inte ens säga "--lösare yices" för att njuta av fördelarna)

7. Solx-stöd Om du inte vet vad Solx är, @PatrickAlphaC har du täckt

8. Lade till ENV* och Random* fuskkoder, alla 3 miljoner av dem. Tack @Jayakumar2812 för bidraget!

9. Coola framstegsindikatorer från framtiden

Det är allt! Skaffa det nu: installation av uv-verktyg --python 3,13 halmos