-
Notifications
You must be signed in to change notification settings - Fork 12
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#144 In model-checking/kani-vscode-extension;
Kani Extension for verify-rust-std
bugSomething isn't workingSomething isn't workingStatus: Open.#137 In model-checking/kani-vscode-extension;- Status: Open.#135 In model-checking/kani-vscode-extension;
- Status: Open.#134 In model-checking/kani-vscode-extension;
No feedback on compilation errors
bugSomething isn't workingSomething isn't workingStatus: Open.#126 In model-checking/kani-vscode-extension;- Status: Open.#120 In model-checking/kani-vscode-extension;
Remove unnecessary dependencies, add bundling
bugSomething isn't workingSomething isn't workingStatus: Open.#116 In model-checking/kani-vscode-extension;- Status: Open.#115 In model-checking/kani-vscode-extension;
Do not show "Generate concrete test" for unsupported cases
bugSomething isn't workingSomething isn't workingStatus: Open.#91 In model-checking/kani-vscode-extension;Support for IntelliJ IDEA
feature requestAny request for new featuresAny request for new featuresStatus: Open.#88 In model-checking/kani-vscode-extension;Trace visualizer
feature requestAny request for new featuresAny request for new featuresStatus: Open.#76 In model-checking/kani-vscode-extension;List all concrete playback tests in the test tab
feature requestAny request for new featuresAny request for new featuresStatus: Open.#73 In model-checking/kani-vscode-extension;