Topik trending
#
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 bersikap sederhana — pembaruan besar untuk Halmos!
∎ Pengujian invarian stateful (sangat kuat)
∎ Flamegraphs (lihat apa yang sedang dijelajahi Halmos)
∎ Penerjemah 30x lebih cepat (!!)
∎ Pilih banyak pemecah dengan mudah
∎ Laporan cakupan
∎ Dukungan Solx
∎ Lebih Banyak Kode Cheat
∎ ... dan banyak lagi
15 Jul, 07.38
Sorotan rilis halmos v0.3.0!
(pengingat cepat: halmos adalah alat pengujian simbolis untuk bytecode EVM yang berinteraksi dengan baik dengan proyek pengecoran dan mendukung beberapa pemecah SMT)
1. Kami (akhirnya) menambahkan dukungan untuk pengujian invarian stateful
9,71K
Teratas
Peringkat
Favorit