viper-ide
This is the main repository for the Viper IDE extension for VS Code.
Science Score: 52.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
✓Institutional organization owner
Organization viperproject has institutional domain (viper.ethz.ch) -
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (9.5%) to scientific vocabulary
Keywords
verification
viper
vscode-extension
Last synced: 6 months ago
·
JSON representation
·
Repository
This is the main repository for the Viper IDE extension for VS Code.
Basic Info
Statistics
- Stars: 12
- Watchers: 3
- Forks: 11
- Open Issues: 23
- Releases: 175
Topics
verification
viper
vscode-extension
Created almost 6 years ago
· Last pushed 6 months ago
Metadata Files
Readme
License
Citation
README.md
This VS Code extension provides interactive IDE features for Viper — the Verification Infrastructure for Permission-based Reasoning.
Dependencies
The extension automatically downloads and manages Viper (via publicly available links, as listed here: http://viper.ethz.ch/downloads/).
Viper IDE uses an open-source 64-bit Java server, so you need Java (version 11 or newer) installed to be able to run it.
Please always refer to the official installation instructions for more details (in particular, about different operating system support).
Using Viper
If you would like to learn more about Viper, please start with our extensive tutorial.
Owner
- Name: Viper Project
- Login: viperproject
- Kind: organization
- Location: ETH Zurich
- Website: viper.ethz.ch
- Repositories: 29
- Profile: https://github.com/viperproject
Verification Infrastructure for Permission-based Reasoning
Citation (CITATION.cff)
cff-version: 1.2.0 message: "If you use this software, please cite it as below." authors: - family-names: "Arquint" given-names: "Linard" orcid: "https://orcid.org/0000-0002-6230-8014" - family-names: "Aurecchia" given-names: "Alessio" - family-names: "Kälin" given-names: "Ruben" - family-names: Racine given-names: Valentin - family-names: "Ter-Gabrielyan" given-names: "Arshavir" orcid: "https://orcid.org/0000-0003-0292-7750" title: "Viper IDE" version: 2.3.1 date-released: 2021-08-02 url: "https://github.com/viperproject/viper-ide"
GitHub Events
Total
- Create event: 37
- Issues event: 9
- Release event: 19
- Watch event: 2
- Delete event: 16
- Issue comment event: 23
- Push event: 140
- Pull request review comment event: 8
- Pull request review event: 8
- Pull request event: 61
- Fork event: 1
Last Year
- Create event: 37
- Issues event: 9
- Release event: 19
- Watch event: 2
- Delete event: 16
- Issue comment event: 23
- Push event: 140
- Pull request review comment event: 8
- Pull request review event: 8
- Pull request event: 61
- Fork event: 1
Issues and Pull Requests
Last synced: 6 months ago
All Time
- Total issues: 116
- Total pull requests: 63
- Average time to close issues: almost 4 years
- Average time to close pull requests: about 2 months
- Total issue authors: 5
- Total pull request authors: 9
- Average comments per issue: 4.83
- Average comments per pull request: 0.38
- Merged pull requests: 31
- Bot issues: 1
- Bot pull requests: 31
Past Year
- Issues: 4
- Pull requests: 26
- Average time to close issues: 9 days
- Average time to close pull requests: 21 days
- Issue authors: 2
- Pull request authors: 5
- Average comments per issue: 1.5
- Average comments per pull request: 0.38
- Merged pull requests: 12
- Bot issues: 0
- Bot pull requests: 13
Top Authors
Issue Authors
- viper-admin (108)
- rayman2000 (3)
- Aurel300 (3)
- dependabot[bot] (2)
- alexanderjsummers (1)
- fpoli (1)
Pull Request Authors
- dependabot[bot] (40)
- viper-admin (21)
- rayman2000 (8)
- zgrannan (3)
- JonasAlaif (3)
- ArquintL (2)
- marcoeilers (2)
- LaurenzV (2)
- 7i6ht (2)
- fnussbaum (1)
- Dspil (1)
Top Labels
Issue Labels
major (62)
bug (54)
minor (28)
enhancement (27)
task (11)
proposal (11)
blocker (6)
critical (6)
pull request (3)
duplicate (3)
merged (2)
on hold (2)
dependencies (2)
trivial (1)
declined (1)
github_actions (1)
Pull Request Labels
dependencies (39)
javascript (27)
github_actions (8)
Dependencies
.github/workflows/test.yml
actions
- HaaLeo/publish-vscode-extension v1 composite
- actions/cache v3 composite
- actions/checkout v3 composite
- actions/create-release v1 composite
- actions/download-artifact v3 composite
- actions/setup-java v3 composite
- actions/setup-node v3 composite
- actions/upload-artifact v3 composite
- actions/upload-release-asset v1.0.2 composite
.github/workflows/update-vscode.yml
actions
- actions/checkout v3 composite
- peter-evans/create-pull-request v4 composite
Dockerfile
docker
- codercom/code-server v2 build
client/package-lock.json
npm
- 512 dependencies
client/package.json
npm
- @types/glob-to-regexp ^0.4.1 development
- @types/mocha ^10.0.1 development
- @types/node ^18.11.8 development
- @types/rimraf ^3.0.2 development
- @types/semver ^7.3.12 development
- @types/tmp ^0.2.3 development
- @types/vscode ^1.63.2 development
- @typescript-eslint/eslint-plugin ^5.50.0 development
- @typescript-eslint/parser ^5.50.0 development
- @viperproject/locate-java-home ^1.1.10 development
- @vscode/test-electron ^2.2.0 development
- eslint ^8.15.0 development
- eslint-webpack-plugin ^3.1.1 development
- glob-to-regexp ^0.4.1 development
- mocha ^10.1.0 development
- npm-run-all ^4.1.5 development
- rimraf ^3.0.2 development
- semver ^7.3.7 development
- tmp ^0.2.1 development
- ts-loader ^9.4.2 development
- typescript ^4.9.3 development
- unused-filename ^3.0.1 development
- vs-verification-toolbox git+https://github.com/viperproject/vs-verification-toolbox.git development
- vsce ^2.15.0 development
- vscode-languageclient ^8.0.2 development
- vscode-uri ^3.0.7 development
- webpack ^5.75.0 development
- webpack-cli ^4.9.1 development