Trendaavat aiheet
#
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 is being modest — huge update for Halmos!
∎ Stateful invariant testing (very powerful)
∎ Flamegraphs (see what Halmos is exploring)
∎ 30x faster interpreter (!!!)
∎ Easily select many solvers
∎ Coverage reports
∎ Solx support
∎ more cheatcodes
∎ ... and more
15.7. klo 07.38
halmos v0.3.0 release highlights!
(quick reminder: halmos is a symbolic testing tool for EVM bytecode which interfaces nicely with foundry projects and supports multiple SMT solvers)
1. we (finally) added support for stateful invariant testing
9,79K
Johtavat
Rankkaus
Suosikit