issues
search
viperproject
/
viper-ide
This is the main repository for the Viper IDE extension for VS Code.
Mozilla Public License 2.0
10
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump webpack from 5.75.0 to 5.90.0 in /client
#424
dependabot[bot]
closed
9 months ago
1
Bump peter-evans/create-pull-request from 4 to 5
#423
dependabot[bot]
closed
9 months ago
1
Bump actions/cache from 3 to 4
#422
dependabot[bot]
closed
9 months ago
1
Bump actions/download-artifact from 3 to 4
#421
dependabot[bot]
closed
9 months ago
1
Bump actions/checkout from 3 to 4
#420
dependabot[bot]
closed
9 months ago
1
Bump actions/setup-node from 3 to 4
#419
dependabot[bot]
closed
9 months ago
1
Switched to dependabot groups
#418
rayman2000
closed
9 months ago
0
Fix Test Abort Process Check
#417
rayman2000
opened
9 months ago
2
Added syntax highlighting for adt and decreases
#416
rayman2000
closed
9 months ago
0
CI Issues
#415
rayman2000
closed
9 months ago
0
Update vscode/test-electron to 2.3.8, fixing CI issues
#414
zgrannan
closed
9 months ago
2
Syntax highlighting for `unique` keyword in function declaration
#413
zgrannan
closed
9 months ago
0
Don't mark successful verification with warnings as failed?
#412
marcoeilers
closed
11 months ago
0
Request: command to clear all Viper diagnostics
#411
fpoli
opened
1 year ago
2
Cannot include a Viper plugin
#410
totoyoyo
closed
1 year ago
1
Test Viper Warnings
#409
ArquintL
closed
9 months ago
0
Bump webpack from 5.75.0 to 5.85.0 in /client
#408
dependabot[bot]
closed
9 months ago
2
Bump eslint from 8.35.0 to 8.41.0 in /client
#407
dependabot[bot]
closed
9 months ago
1
Bump vs-verification-toolbox from `f14a0b3` to `1996d7e` in /client
#406
dependabot[bot]
closed
9 months ago
1
Bump @typescript-eslint/parser from 5.54.0 to 5.59.8 in /client
#405
dependabot[bot]
closed
9 months ago
1
Bump xml2js and @vscode/vsce in /client
#404
dependabot[bot]
closed
9 months ago
2
Warnings not displayed
#403
ArquintL
closed
1 year ago
3
Bump vs-verification-toolbox from `f14a0b3` to `7fcf501` in /client
#402
dependabot[bot]
closed
1 year ago
1
Bump eslint from 8.35.0 to 8.39.0 in /client
#401
dependabot[bot]
closed
1 year ago
1
Bump webpack from 5.75.0 to 5.81.0 in /client
#400
dependabot[bot]
closed
1 year ago
1
Bump typescript from 4.9.5 to 5.0.4 in /client
#399
dependabot[bot]
closed
9 months ago
1
Bump @typescript-eslint/parser from 5.54.0 to 5.59.1 in /client
#398
dependabot[bot]
closed
1 year ago
1
Viper gets stuck trying to verify a syntactically incorrect program (field.ref instead of ref.field)
#397
dnezam
closed
11 months ago
1
Bump webpack from 5.75.0 to 5.77.0 in /client
#396
dependabot[bot]
closed
1 year ago
1
Bump @typescript-eslint/parser from 5.54.0 to 5.57.0 in /client
#395
dependabot[bot]
closed
1 year ago
1
Bump eslint from 8.35.0 to 8.37.0 in /client
#394
dependabot[bot]
closed
1 year ago
1
Bump typescript from 4.9.5 to 5.0.3 in /client
#393
dependabot[bot]
closed
1 year ago
1
Bump vs-verification-toolbox from `f14a0b3` to `4fbfc8b` in /client
#392
dependabot[bot]
closed
1 year ago
1
Update VS Code to 1.87.2
#391
viper-admin
closed
7 months ago
0
Update VS Code to 1.76.2
#390
viper-admin
closed
1 year ago
0
Bump webpack from 5.75.0 to 5.76.0 in /client
#389
dependabot[bot]
closed
1 year ago
1
Update VS Code to 1.76.1
#388
viper-admin
closed
1 year ago
0
Bump rimraf and @types/rimraf in /client
#387
dependabot[bot]
closed
1 year ago
0
Bump @types/node from 18.14.4 to 18.14.5 in /client
#386
dependabot[bot]
closed
1 year ago
0
Bump eslint-webpack-plugin from 3.2.0 to 4.0.0 in /client
#385
dependabot[bot]
closed
1 year ago
0
Bump rimraf and @types/rimraf in /client
#384
dependabot[bot]
closed
1 year ago
1
Bump @types/node from 18.13.0 to 18.14.4 in /client
#383
dependabot[bot]
closed
1 year ago
0
Bump @viperproject/locate-java-home from 1.1.10 to 1.1.11 in /client
#382
dependabot[bot]
closed
1 year ago
0
Bump @vscode/test-electron from 2.2.3 to 2.3.0 in /client
#381
dependabot[bot]
closed
1 year ago
0
Bump webpack-cli from 4.10.0 to 5.0.1 in /client
#380
dependabot[bot]
closed
1 year ago
0
Bump vs-verification-toolbox from `7119586` to `f14a0b3` in /client
#379
dependabot[bot]
closed
1 year ago
0
Bump vscode-languageclient from 8.0.2 to 8.1.0 in /client
#378
dependabot[bot]
closed
1 year ago
0
Bump @types/node from 18.13.0 to 18.14.3 in /client
#377
dependabot[bot]
closed
1 year ago
1
Bump vs-verification-toolbox from `7119586` to `b122d74` in /client
#376
dependabot[bot]
closed
1 year ago
1
Bump eslint from 8.33.0 to 8.35.0 in /client
#375
dependabot[bot]
closed
1 year ago
0
Previous
Next