Populære emner
#
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.
Karma er beskjeden – stor oppdatering for Halmos!
∎ Tilstandsfull invariant testing (veldig kraftig)
∎ Flammegrafer (se hva Halmos utforsker)
∎ 30 ganger raskere tolk (!!)
∎ Velg enkelt mange løsere
∎ Dekningsrapporter
∎ Solx-støtte
∎ flere juksekoder
∎ ... og mer
15. juli, 07:38
Høydepunkter fra Halmos v0.3.0-utgivelsen!
(rask påminnelse: halmos er et symbolsk testverktøy for EVM-bytekode som grensesnitt fint med støperiprosjekter og støtter flere SMT-løsere)
1. Vi la (endelig) til støtte for Stateful Invariant Testing
9,66K
Topp
Rangering
Favoritter