Update Submodules - Githubissues

viperproject / carbon

Verification-condition-generation-based verifier for the Viper intermediate verification language.

Mozilla Public License 2.0

30 stars 21 forks source link

Closed Dspil closed 5 months ago