model-checking/kani-vscode-extension

Issues

• Kani Extension for verify-rust-std

  #137 opened 2 months ago by QinyuanWu
  4

• Run on cargo packages nested in workspace root

  #135 opened a year ago by Alecton4
  2

• Harness failure popup should ignore UNDETERMINED properties

  #134 opened a year ago by celinval
  0

• No feedback on compilation errors

  #126 opened a year ago by adpaco-aws
  0

• Add coverage information view

  #114 opened a year ago by jaisnan
  0

• Remove kani path popup

  #120 opened a year ago by jaisnan
  0

• Remove unnecessary dependencies, add bundling

  #116 opened a year ago by jaisnan
  0

• Improve Error handling when parsing error message fails

  #45 opened a year ago by jaisnan
  1

• Refactor command construction

  #44 opened a year ago by jaisnan
  0

• Use `--exact` and `--list-harnesses` and clean up parsing.

  #115 opened a year ago by jaisnan
  0

• Harnesses with overlapping substrings result in multiple harness being run

  #39 opened 2 years ago by jaisnan
  3

• Change debugger to use execFile, with options

  #68 opened a year ago by jaisnan
  0

• Create release workflow for VSCode marketplace

  #53 opened a year ago by jaisnan
  0

• Option to view full output

  #67 opened a year ago by adpaco-aws
  0

• Show progress while generating report

  #22 opened a year ago by jaisnan
  0

• Workflows for compiling and testing

  #33 opened a year ago by adpaco-aws
  2

• Investigate - Bolero Dependency crashes some debugging sessions and unit tests

  #87 opened a year ago by jaisnan
  1

• Extension doesn't run on proofs written with bolero

  #66 opened a year ago by jaisnan
  0

• Enable concrete playback without requiring extra setup

  #74 opened a year ago by celinval
  0

• Do not show "Generate concrete test" for unsupported cases

  #91 opened a year ago by celinval
  0

• Add end to end testing

  #17 opened 2 years ago by jaisnan
  2

• Display the package and name of file in the list of Kani proofs

  #86 opened a year ago by feliperodri
  0

• Extension doesn't run Kani harnesses with stubs

  #85 opened a year ago by feliperodri
  0

• Support for IntelliJ IDEA

  #88 opened a year ago by feliperodri
  0

• Investigate parallel proof running

  #23 opened 2 years ago by jaisnan
  0

• List all concrete playback tests in the test tab

  #73 opened a year ago by celinval
  0

• Trace visualizer

  #76 opened a year ago by feliperodri
  1

• Extensions reads a process crashing as a failed proof

  #69 opened a year ago by jaisnan
  0

• Concrete Playback causes UI problems for diff messages

  #56 opened a year ago by jaisnan
  2

• Extension doesn't work with Kani's development version

  #34 opened a year ago by adpaco-aws
  4

• Provide non-boolean options as result

  #27 opened a year ago by jaisnan
  0

• Codelens actions don't work for Proofs inside Modules

  #71 opened a year ago by jaisnan
  1

• Issue friendly error if the extension cannot execute Kani

  #72 opened a year ago by celinval
  1

• Add interactive debugging to Kani Extension (through concrete playback)

  #18 opened a year ago by jaisnan
  3

• Improve error handling by opening a "Report issue" dialogue

  #75 opened a year ago by adpaco-aws
  0

• Miscellanous tasks

  #37 opened 2 years ago by jaisnan
  0

• Kani extension produces temp files in src location of the user's crate

  #19 opened a year ago by jaisnan
  1

• Fix broken parsing in cases where both #[test] and #[kani::proof] are used

  #16 opened a year ago by jaisnan
  3

• Create bundling processes for vscode extension

  #54 opened a year ago by jaisnan
  0

• Create unit test functionality for concrete playback

  #52 opened a year ago by jaisnan
  0

• Improve proof and parsing time

  #15 opened a year ago by jaisnan
  1

• Add button in failure cases to launch concrete playback

  #21 opened a year ago by jaisnan
  1

• Fix cargo conditions for switching proof running command

  #24 opened a year ago by jaisnan
  2

• Run command for other attributes of kani like #[kani::solver(kissat)]`

  #30 opened 2 years ago by jaisnan
  2

• Refactor to using more secure TS

  #32 opened 2 years ago by jaisnan
  1

• Use a tree sitter to parse through source code

  #29 opened 2 years ago by jaisnan
  1

• Running proofs using the vscode extension is slow

  #43 opened 2 years ago by jaisnan
  0

• Update `--visualize` to use `--enable-unstable` and throw a warning to the user

  #31 opened 2 years ago by jaisnan
  5

• Parsing the output while looking for path to report shouldn't rely on Python command

  #35 opened 2 years ago by adpaco-aws
  1

• Improve crash logs

  #12 opened 2 years ago by jaisnan
  0