Populaire onderwerpen
#
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.
Absoluut enorme upgrades voor Halmos. Ongelooflijke verbeteringen in ontwikkelaarservaring en mogelijkheden voor het vinden van kwetsbaarheden.
Ik kijk er echt naar uit om hiermee aan de slag te gaan.
Grote waardering voor @0xkarmacoma!
15 jul, 07:38
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
1,27K
Boven
Positie
Favorieten