Certora Prover v7.29.1 er ute! The Prover er et åpen kildekode-verktøy for å bevise at smarte kontrakter oppfører seg riktig på tvers av alle mulige tilstander og innganger. Denne versjonen legger til nye funksjoner for å hjelpe deg med å skrive tryggere spesifikasjoner, forenkle konfigurasjoner og jobbe mer effektivt. Dette er nytt 👇🧵