viperproject/viper-ide
This is the main repository for the Viper IDE extension for VS Code.
TypeScriptMPL-2.0
Issues
- 0
- 1
Viper gets stuck trying to verify a syntactically incorrect program (field.ref instead of ref.field)
#397 opened by dnezam - 0
Request: command to clear all Viper diagnostics
#411 opened by fpoli - 3
Warnings not displayed
#403 opened by ArquintL - 1
Cannot include a Viper plugin
#410 opened by totoyoyo - 7
Viper on macOS arm64
#327 opened by fpoli - 2
Abortion of task not awaited correctly
#370 opened by jthomme1 - 1
- 3
- 0
Spurious verification reports
#367 opened by fpoli - 0
Verification aborted exceptionally
#343 opened by fpoli - 0
- 1
Switching to carbon gives wrong results
#326 opened by totoyoyo - 2
Setting `boogieExecutable` to `""` is erroring on me
#328 opened by ggreif - 0
Adapt default paths in Wiki
#330 opened by ArquintL - 1
- 1
Carbon hangs at "preparing"
#112 opened by mschwerhoff - 3
- 1
Opening too large file crashes Viper IDE
#285 opened by Pointerbender - 2
- 3
Viper plugin seems to be stuck on all files
#296 opened by alexanderjsummers - 2
- 1
Files with $$ cannot be verified
#281 opened by fpoli - 0
Viper IDE refactoring: Debugger
#116 opened by WissenIstNacht - 0
Viper IDE refactoring: Settings
#115 opened by WissenIstNacht - 1
- 5
- 0
Old Java version in error message
#270 opened by fpoli - 0
Cache Serialization should be disabled by default
#284 opened by ArquintL - 2
2.2.4 is broken on Linux
#120 opened by FabianWolff - 0
Language server error with vscode 1.66 on Windows 11
#246 opened by nicdard - 0
Augment "Terrible Error" error messages with more user-facing directions
#247 opened by alexanderjsummers - 0
Warnings are reported as errors in the status bar
#204 opened by fpoli - 4
Old Viper settings detected
#211 opened by fpoli - 1
Cached error messages point to incorrect asserts
#106 opened by viper-admin - 1
Reduce Number of JS Files in VSIX
#122 opened by ArquintL - 4
Consider defaulting "preferences.autoSave" to false
#119 opened by xoudini - 1
Syntax highlighting doesn't account for axioms no-longer needing names
#117 opened by alexanderjsummers - 12
Backend start failed on Windows
#108 opened by viper-admin - 1
- 2
Verifies bad program (probably corrupted cache)
#100 opened by viper-admin - 0
Fixes to splash page on bitbucket
#105 opened by viper-admin - 1
The IDE is unable to parse an internal verification error produced by carbon backend
#97 opened by viper-admin - 0
Scala None.get exception when using macros
#104 opened by viper-admin - 0
Wrong file name in error messages
#103 opened by viper-admin - 0
Alloy model
#111 opened by viper-admin - 0
Setting for Auto Verify and default backend
#102 opened by viper-admin - 6
Extension is broken for new users
#101 opened by viper-admin - 1
- 0
[DO NOT MERGE] Basic Debugger Infrastructure
#110 opened by viper-admin