Lizard is a VS Code extension and an experimental visual debugger for the Viper intermediate verification language.
Primary LanguageTypeScript
No one’s watching this repository yet.