kani icon indicating copy to clipboard operation
kani copied to clipboard
verified publisher icon model-checking

Feature Request - IDE Extension

Open jaisnan opened this issue 3 years ago • 0 comments

We don't have a plugin in an IDE for Kani. The plugin would help improve usability and ease of access for Kani.

Next Steps:

  • [x] Write down design doc for the extension
  • [ ] Investigate VSCode API and come up with features for MVP.
  • [ ] Finalize milestones and other project details.

jaisnan avatar Aug 11 '22 19:08 jaisnan