-
Notifications
You must be signed in to change notification settings - Fork 9
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#263 In viperproject/prusti-assistant;
Make the PATH configurable
enhancementNew feature or requestNew feature or requestgood-first-issueGood for newcomersGood for newcomersStatus: Open.#246 In viperproject/prusti-assistant;Install Prusti offline
enhancementNew feature or requestNew feature or requestStatus: Open.#213 In viperproject/prusti-assistant;Check exit code
enhancementNew feature or requestNew feature or requestgood-first-issueGood for newcomersGood for newcomersStatus: Open.#209 In viperproject/prusti-assistant;Prusti: update verifierfails when running multiple instances of VSCodebugSomething isn't workingSomething isn't workingStatus: Open.#198 In viperproject/prusti-assistant;Support for macOS arm64
enhancementNew feature or requestNew feature or requestStatus: Open.#191 In viperproject/prusti-assistant;Allow configuring the server
enhancementNew feature or requestNew feature or requestStatus: Open.#62 In viperproject/prusti-assistant;Error message when the extension is not ready yet
enhancementNew feature or requestNew feature or requestgood-first-issueGood for newcomersGood for newcomersStatus: Open.#36 In viperproject/prusti-assistant;Check Java and Rustup versions on startup
enhancementNew feature or requestNew feature or requestgood-first-issueGood for newcomersGood for newcomersStatus: Open.#35 In viperproject/prusti-assistant;Allow configuring verification mode
enhancementNew feature or requestNew feature or requestStatus: Open.#9 In viperproject/prusti-assistant;