8 Commits (formal-verification)

Author	SHA1	Message	Date
teryanarmen	2c5194f3f1	Clean and fix formal verification (#3798) ... Co-authored-by: Michael George <michael@certora.com> Co-authored-by: Nick Armstrong <nick@certora.com> Co-authored-by: Michael George <mdgeorge@cs.cornell.edu> Co-authored-by: Aleksander Kryukov <firealexkryukov@gmail.com> Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>	2 years ago
Hadrien Croubois	07ac1030e7	chmod -x certora/scripts/**/*.sh	2 years ago
Hadrien Croubois	89962af163	Fix ERC20Wrapper.spec	2 years ago
Hadrien Croubois	c7a544d568	move passing scripts out of noCI	2 years ago
Hadrien Croubois	634c37becf	enable ci test for some (passing) rules	2 years ago
Hadrien Croubois	597202d904	finish ERC20 base specs + move all other specs to noCI for the time being	2 years ago
Hadrien Croubois	8b1042371a	remove some scripts from CI run	2 years ago