search

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts
Other
245 stars 46 forks source link

Is this still going to be maintained? #273

Closed solauditor closed 3 years ago

solauditor commented 3 years ago

I want to use VeriSol and Celestial, but they don't seem to be maintained. Can anyone from the team comment?

shuvendu-lahiri commented 3 years ago

VeriSol is unfortunately not actively maintained at this time. We may get back on the project at a future date.

Adding @suvamM for Celestial.

solauditor commented 3 years ago

Maybe @samvid25 can comment too?

suvamM commented 3 years ago

@solauditor Unfortunately, the status is the same for Celestial. It is not under active development or maintenance. However, Celestial does come with a lot of documentation and samples for the existing features. If you get stuck, you can contact @samvid25 and me, and we can try to unblock you.

solauditor commented 3 years ago

Thank you for the support @suvamM! I really appreciate that. Thank you as well @shuvendu-lahiri!