Trend-Themen
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Karma ist bescheiden – riesiges Update für Halmos!
∎ Zustandsinvarianz-Tests (sehr mächtig)
∎ Flamegraphs (sehen, was Halmos erkundet)
∎ 30x schnellerer Interpreter (!!!)
∎ Einfach viele Solver auswählen
∎ Abdeckungsberichte
∎ Solx-Unterstützung
∎ mehr Cheatcodes
∎ ... und mehr
15. Juli, 07:38
halmos v0.3.0 Veröffentlichungs-Highlights!
(kurze Erinnerung: halmos ist ein symbolisches Testwerkzeug für EVM-Bytecode, das sich gut mit Foundry-Projekten verbindet und mehrere SMT-Solver unterstützt)
1. Wir haben (endlich) die Unterstützung für zustandsabhängige Invariantentests hinzugefügt.
9,67K
Top
Ranking
Favoriten