المواضيع الرائجة
#
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.
الكرمة متواضعة - تحديث ضخم ل Halmos!
∎ اختبار ثابت الحالة (قوي جدا)
∎ Flamegraphs (انظر ما يستكشفه Halmos)
∎ مترجم أسرع 30 مرة (!!)
∎ حدد بسهولة العديد من أدوات الحل
∎ تقارير التغطية
∎ دعم Solx
∎ المزيد من رموز الغش
∎ ... والمزيد
15 يوليو، 07:38
يسلط الضوء على إصدار Halmos v0.3.0!
(تذكير سريع: Halmos هي أداة اختبار رمزية للرمز الثانوي EVM الذي يتفاعل بشكل جيد مع مشاريع المسبك ويدعم العديد من حلول SMT)
1. أضفنا (أخيرا) دعما لاختبار ثابت الحالة
9.74K
الأفضل
المُتصدِّرة
التطبيقات المفضلة