Using VeriSol with solc 0.8+

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Using VeriSol with solc 0.8+ #274

Closed jcrreis closed 2 years ago

jcrreis commented 2 years ago

Hello,

I'm running this tool and it seems it only works with solc 0.5.10. Is there any way to make this tool run with solc recent version (0.8.*)? It seems it is no longer maintained, if so you should probably add this note to README.md.

Thank you.

shuvendu-lahiri commented 2 years ago

I have noted it in the README. Thanks for the suggestion.