nasa/vscode-pvs

Issues

• Feature request: WSL2 support

  #13 opened 3 years ago by champignoom
  6

• type checking not responding issue on Mac VSCode-PVS

  #17 opened 2 years ago by yl182
  7

• Tutorial

  #19 opened a year ago by fblanqui
  6

• Plugin lists commented out code in the PVS workspace explorer, and tries to prove the commented out lemmas

  #11 opened 3 years ago by disteph
  3

• prover console refuses to take focus

  #12 opened 3 years ago by pmasci
  2

• product icon theme contribution is not a real product icon theme

  #8 opened 3 years ago by aeschli
  2

• Missing Dependency Notification on Vcode

  #7 opened 3 years ago by Allenjdm
  1

• Wrongly states that I do have node installed

  #5 opened 4 years ago by mrKappen
  4

• Problem with propax

  #4 opened 4 years ago by BrunoDutertre
  1