Rubriques tendance
#
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.
Des mises à jour absolument énormes pour Halmos. Des améliorations incroyables des capacités de développement et de détection de vulnérabilités.
J'ai vraiment hâte de me plonger dans celui-ci.
Un grand merci à @0xkarmacoma !
15 juil., 07:38
points forts de la version halmos v0.3.0 !
(rappel rapide : halmos est un outil de test symbolique pour le bytecode EVM qui s'interface bien avec les projets foundry et prend en charge plusieurs solveurs SMT)
1. nous avons (enfin) ajouté le support pour les tests d'invariants d'état.
1,28K
Meilleurs
Classement
Favoris