search

microsoft / verisol

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

Set up CI with Azure Pipelines #179

Closed shuvendu-lahiri closed 5 years ago

shuvendu-lahiri commented 5 years ago

first draft..does nothing

shuvendu-lahiri commented 5 years ago

Addressing #84, and simplifying instructions for Linux/mac.