vsfstar

A Visual Studio Code extension for F*, with support for hacking on the F* compiler baked in. Uses the Language Server Protocol to provide the following features:

• [x] Syntax highlighting forked from vscode-language-fstar
• [x] Lax-check entire file on open
• [x] Diagnostic reporting, with location information
• [x] Lax-check entire file on save
• [x] Go to definition
• [x] Hover information: type and documentation
• [x] Auto-complete
• [ ] Interactively stepping through proofs

Requires Z3 4.8.5 to be installed and the tip of F* master to be built. Configure vsfstar.path to point to the fstar.exe binary you built.