Commit Graph

6 Commits (1752a1abfba5d15ab90c8aaa628e94aec80f085b)

Author SHA1 Message Date
Josselin b6af826a83 Improve travis tests: 6 years ago
Josselin 8d0297f604 Fix travis path 6 years ago
Josselin a58da24e86 Update travis test 6 years ago
Josselin f7d68c05f6 Fix travis 6 years ago
Josselin ac82e1fc0c Update to crytic-compile d90d8372d2826fb310ff83e87e4fa9ea0d553ae3 6 years ago
Josselin 30b0f19c0b Open source detector for multiple calls in a loop 6 years ago