search

microsoft / verisol

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

Celestial #272

Open chandrikabhardwaj opened 3 years ago

chandrikabhardwaj commented 3 years ago

Hi,

As discussed with Shuvendu, we have put Celestial bits in one top-level folder named Celestial. Celestial allows smart contract developers to choose between FStar and VeriSol as verification backends to verify Hoare-style specifications.

Thanks!

ghost commented 3 years ago

CLA assistant check
All CLA requirements met.