Giters
nasa
/
vscode-pvs
LAR-19642-1: Visual Studio Code Extension for PVS
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
41
Watchers:
11
Issues:
9
Forks:
7
nasa/vscode-pvs Issues
Tutorial
Updated
a year ago
Comments count
6
type checking not responding issue on Mac VSCode-PVS
Updated
2 years ago
Comments count
5
Feature request: WSL2 support
Updated
2 years ago
Comments count
4
Plugin lists commented out code in the PVS workspace explorer, and tries to prove the commented out lemmas
Closed
3 years ago
Comments count
3
prover console refuses to take focus
Closed
3 years ago
Comments count
2
product icon theme contribution is not a real product icon theme
Closed
3 years ago
Comments count
2
Missing Dependency Notification on Vcode
Closed
3 years ago
Comments count
1
Wrongly states that I do have node installed
Closed
4 years ago
Comments count
4
Problem with propax
Closed
4 years ago
Comments count
1