Skip to content

Issues: model-checking/kani-vscode-extension

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

15 Open 40 Closed
15 Open 40 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Run on cargo packages nested in workspace root
#135 opened Sep 15, 2023 by Alecton4
1
Harness failure popup should ignore UNDETERMINED properties
#134 opened Sep 8, 2023 by celinval
No feedback on compilation errors bug Something isn't working
#126 opened Aug 11, 2023 by adpaco-aws
1
Remove kani path popup
#120 opened Jul 25, 2023 by jaisnan
1
Remove unnecessary dependencies, add bundling bug Something isn't working
#116 opened Jun 22, 2023 by jaisnan
Use --exact and --list-harnesses and clean up parsing.
#115 opened Jun 22, 2023 by jaisnan
Do not show "Generate concrete test" for unsupported cases bug Something isn't working
#91 opened May 25, 2023 by celinval
Support for IntelliJ IDEA feature request Any request for new features
#88 opened May 23, 2023 by feliperodri
@rahulku @jaisnan
Trace visualizer feature request Any request for new features
#76 opened May 12, 2023 by feliperodri
1
List all concrete playback tests in the test tab feature request Any request for new features
#73 opened May 12, 2023 by celinval
Running proofs using the vscode extension is slow bug Something isn't working
#43 opened Mar 2, 2023 by jaisnan
1
Harnesses with overlapping substrings result in multiple harness being run bug Something isn't working
#39 opened Feb 23, 2023 by jaisnan
@jaisnan
3
Miscellanous tasks enhancement New feature or request
#37 opened Feb 17, 2023 by jaisnan
2 of 9 tasks
Investigate parallel proof running enhancement New feature or request
#23 opened Jan 26, 2023 by jaisnan
Add end to end testing must-have release
#17 opened Jan 13, 2023 by jaisnan
@jaisnan
2
ProTip! Exclude everything labeled bug with -label:bug.