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