Issues
- 1
Auto-Verify on Save
#383 opened by ArquintL - 2
Not able to verify Gobra files in Nightly version
#206 opened by Timon555 - 0
Better ignore non-Gobra files
#143 opened by ArquintL - 1
Require more recent JDK
#132 opened by ArquintL - 0
Consolidate Settings
#104 opened by ArquintL - 0
Test Backward Compatibility
#20 opened by ArquintL - 0
IDE requires an open folder
#90 opened by ArquintL - 1
Thread Creation in Gobra Server Fails on Windows
#14 opened by ArquintL - 1
ViperServer Update
#34 opened by ArquintL - 1
Support for Packages
#13 opened by ArquintL - 0
- 0
Fixed Commits for Stable Releases
#25 opened by ArquintL - 0
Show Java Path
#17 opened by ArquintL - 1
Silicon Crash on Windows
#21 opened by ArquintL - 0
Reduce Gobra Tools Size
#8 opened by ArquintL - 0
Revert Quick Fix
#4 opened by ArquintL