Skip to content

Pull requests: model-checking/kani-vscode-extension

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Bump esbuild from 0.24.2 to 0.25.0 dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#163 by dependabot bot was merged Feb 12, 2025
Bump @typescript-eslint/eslint-plugin from 5.62.0 to 8.24.0 dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#162 by dependabot bot was closed Feb 17, 2025
Bump eslint-plugin-prettier from 4.2.1 to 5.2.3 dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#161 by dependabot bot was merged Feb 12, 2025
Bump @types/node from 16.18.125 to 22.13.1 dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#158 by dependabot bot was merged Feb 7, 2025
Bump @types/vscode from 1.96.0 to 1.97.0 dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#157 by dependabot bot was merged Feb 7, 2025
Bump @typescript-eslint/eslint-plugin from 5.62.0 to 8.23.0 dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#154 by dependabot bot was closed Feb 10, 2025
Bump esbuild from 0.16.2 to 0.24.2 dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#153 by dependabot bot was merged Feb 7, 2025
Bump eslint-plugin-tsdoc from 0.2.17 to 0.4.0 dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#152 by dependabot bot was merged Feb 7, 2025
Bump typescript from 4.9.5 to 5.7.3 dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#150 by dependabot bot was merged Feb 7, 2025
Bump actions/checkout from 2 to 4 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#149 by dependabot bot was merged Feb 7, 2025
Bump actions/setup-node from 1 to 4 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#148 by dependabot bot was merged Feb 7, 2025
Enable dependabot for GitHub actions, NPM
#147 by tautschnig was merged Feb 7, 2025
2 tasks done
Fix formatting check in CI
#146 by carolynzech was merged Feb 7, 2025
Remove visualize since it has been removed in Kani
#143 by celinval was merged Jan 31, 2025
4 tasks
Bump braces from 3.0.2 to 3.0.3 dependencies Pull requests that update a dependency file
#142 by dependabot bot was closed Jan 30, 2025
Update dependencies
#141 by celinval was merged Jan 30, 2025
Add source based coverage for the extension
#139 by jaisnan was closed Feb 6, 2025
4 tasks done
Remove redundant npm install step
#136 by jaisnan was merged Oct 17, 2023
Replace deprecated --enable-stubbing
#133 by celinval was merged Oct 17, 2023
4 tasks
Add de-highlighting to coverage readme
#131 by jaisnan was merged Oct 17, 2023
1 of 4 tasks
Bump word-wrap from 1.2.3 to 1.2.5 dependencies Pull requests that update a dependency file
#130 by dependabot bot was merged Aug 22, 2023
Bump version to 0.0.6
#129 by adpaco-aws was merged Aug 17, 2023
2 of 4 tasks
Update docs before 0.0.6 release
#128 by adpaco-aws was merged Aug 16, 2023
2 of 4 tasks
Add Rust package with manual tests
#127 by adpaco-aws was merged Aug 16, 2023
4 tasks done
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.