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.
Helt enorme oppgraderinger til Halmos. Utrolige forbedringer dev ex og muligheter for å finne sårbarheter.
Gleder meg virkelig til å bli skitten på hendene med denne.
Store rekvisitter å @0xkarmacoma!
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
1,29K
Topp
Rangering
Favoritter