Subiecte populare
#
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.
Upgrade-uri absolut uriașe la Halmos. Îmbunătățiri incredibile ale capacităților de dezvoltare și de găsire a vulnerabilităților.
Aștept cu nerăbdare să-mi murdăresc mâinile cu acesta.
Recuzită mare pentru @0xkarmacoma!
15 iul., 07:38
Repere ale lansării Halmos v0.3.0!
(memento rapid: halmos este un instrument de testare simbolică pentru bytecode EVM care interacționează frumos cu proiectele de turnătorie și acceptă mai multe rezolvări SMT)
1. Am adăugat (în sfârșit) suport pentru testarea invariantă cu stare
1,29K
Limită superioară
Clasament
Favorite