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.
wyciągnęliśmy elegancką srebrną zastawę (punkty) na tę okazję
15 lip, 08:59
Karma jest skromna — ogromna aktualizacja dla Halmos!
∎ Testowanie inwariantów stanowych (bardzo potężne)
∎ Flamegraphs (zobacz, co Halmos bada)
∎ 30x szybszy interpreter (!!!)
∎ Łatwy wybór wielu rozwiązań
∎ Raporty pokrycia
∎ Wsparcie dla Solx
∎ więcej cheatcode'ów
∎ ... i więcej
908
Najlepsze
Ranking
Ulubione