Temas en tendencia
#
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.
Actualizaciones absolutamente enormes para Halmos. Increíbles mejoras en las capacidades de desarrollo y detección de vulnerabilidades.
Tengo muchas ganas de ensuciarme las manos con este.
¡Grandes apoyos para @0xkarmacoma!
15 jul, 07:38
¡Aspectos destacados de la versión 0.3.0 de Halmos!
(recordatorio rápido: halmos es una herramienta de prueba simbólica para el código de bytes EVM que interactúa muy bien con los proyectos de fundición y admite múltiples solucionadores SMT)
1. (Finalmente) agregamos soporte para pruebas invariantes con estado
1.27K
Populares
Ranking
Favoritas