Verification-condition-generation-based verifier for the Viper intermediate verification language. - View it on GitHub