Trendande ämnen
#
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 enorma uppgraderingar till Halmos. Otroliga förbättringar dev ex och funktioner för att hitta sårbarheter.
Ser verkligen fram emot att smutsa ner händerna med den här.
Stor rekvisita till @0xkarmacoma!
15 juli 07:38
Halmos v0.3.0 release höjdpunkter!
(snabb påminnelse: halmos är ett symboliskt testverktyg för EVM-bytekod som samverkar fint med gjuteriprojekt och stöder flera SMT-lösare)
1. Vi har (äntligen) lagt till stöd för tillståndskänslig invarianttestning
1,29K
Topp
Rankning
Favoriter