Commit Graph

3 Commits (3b240d7e6ab5978fb1fa13f5b66f39a90dcce450)

Author SHA1 Message Date
Ernesto García f1a69f164e
Add Halmos support for formal verification (#5034) 9 months ago
Hadrien Croubois 3a1c020b7d Skip pull_request actions when fetching ref in gas-compare action 3 years ago
Hadrien Croubois cfc9f840a0
Generate comparative gas repports on PR (#3532) 3 years ago