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.
Karma är att vara blygsam - enorm uppdatering för Halmos!
∎ Tillståndskänslig invariant testning (mycket kraftfull)
∎ Flamegraphs (se vad Halmos utforskar)
∎ 30 gånger snabbare tolk (!!)
∎ Välj enkelt många lösare
∎ Rapporter om täckning
∎ Solx-stöd
∎ fler fuskkoder
∎ ... och mer
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
9,67K
Topp
Rankning
Favoriter