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.
Absolutely huge upgrades to Halmos. Incredible improvements dev ex and vulnerability finding capabilities.
Really looking forward to getting my hands dirty with this one.
Big props to @0xkarmacoma!
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
1,28K
Johtavat
Rankkaus
Suosikit