Certora Prover v7.29.1 sudah keluar! Prover adalah alat sumber terbuka untuk membuktikan kontrak pintar berperilaku benar di semua kemungkinan status dan input. Rilis ini menambahkan fitur baru untuk membantu Anda menulis spesifikasi yang lebih aman, menyederhanakan konfigurasi, dan bekerja lebih efisien. Inilah yang baru 👇🧵