TermiNexus
a0b2a75820
Validation / Typecheck (push) Has been cancelled
Validation / Style (push) Has been cancelled
Validation / Test macos-latest (push) Has been cancelled
Validation / Test ubuntu-latest (push) Has been cancelled
Validation / Test windows-latest (push) Has been cancelled
Validation / Build (push) Has been cancelled
Validation / Required (push) Has been cancelled
- Rewrite README/docs for Vipeye, update CI/Azure pipelines and scripts - Remove mypy_primer workflows and mypy comparison doc - Keep upstream links and external tool references intact"
Static type checker for Viper
Vipeye is a full-featured, standards-compliant static type checker for Viper. It is designed for high performance and can be used with large Viper source bases.
Vipeye includes a command-line tool, a language server, and an extension for Visual Studio Code.