Актуальні теми
#
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,29K
Найкращі
Рейтинг
Вибране