Populární témata
#
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.
Absolutně obrovské upgrady Halmosu. Neuvěřitelná vylepšení vývojových schopností a hledání zranitelností.
Opravdu se těším, až si u tohohle ušpiním ruce.
Velké rekvizity pro @0xkarmacoma!
15. 7. 07:38
Halmos v0.3.0 vydání přednosti!
(rychlé připomenutí: halmos je symbolický testovací nástroj pro EVM bytecode, který se dobře propojuje s foundry projekty a podporuje více SMT řešičů)
1. (konečně) jsme přidali podporu pro stavové invariantní testování
1,26K
Top
Hodnocení
Oblíbené