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.
Peningkatan yang benar-benar besar untuk Halmos. Peningkatan luar biasa dev ex dan kemampuan menemukan kerentanan.
Benar-benar menantikan untuk mengotori tangan saya dengan yang satu ini.
Alat peraga besar untuk @0xkarmacoma!
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
1,27K
Teratas
Peringkat
Favorit