This repository has been archived by the owner on Apr 29, 2021. It is now read-only.
- Updated to .NET 5.0
- Updated to Dafny 3.0.0
- Updated to Boogie 2.8.26
- Fixed include resolution discrepancy with the Dafny compiler
- Added option to control when the verification should be applied