Commit Graph

4 Commits (e866815c7d14bc34598bf9f6110c0f0398749d2f)

Author SHA1 Message Date
Ernesto García f1a69f164e
Add Halmos support for formal verification (#5034) 9 months ago
Paul Razvan Berg 58a62916de
Bump and pin Forge Std submodule (#4102) 2 years ago
Daejun Park c7315e8779
Add ERC4626 standard property tests (#3792) 2 years ago
Nicolás Venturo 80ae402387
Add fuzz tests for Math.sqrt & Math.logX using Foundry (#3676) 3 years ago