Popularne tematy
#
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.
Absolutnie ogromne ulepszenia w Halmos. Niesamowite poprawki w zakresie możliwości deweloperskich i wykrywania luk w zabezpieczeniach.
Naprawdę nie mogę się doczekać, aby się z tym zająć.
Wielkie brawa dla @0xkarmacoma!
15 lip, 07:38
najważniejsze informacje o wydaniu halmos v0.3.0!
(szybkie przypomnienie: halmos to narzędzie do testowania symbolicznego dla kodu bajtowego EVM, które dobrze współpracuje z projektami foundry i obsługuje wiele solverów SMT)
1. (w końcu) dodaliśmy wsparcie dla testowania inwariantów stanowych
1,26K
Najlepsze
Ranking
Ulubione