v0.0.6

What's Changed

• Active extension without Rust file open on VS Code by @jaisnan in #107
• Clarify that the extension only works on cargo packages by @jaisnan in #118
• Fix output parsing when using debugger by @jaisnan in #124
• Create coverage UI by @jaisnan in #122
• Bump version to 0.0.6 by @adpaco-aws in #129

Full Changelog: v0.0.5...v0.0.6

v0.0.5

What's Changed

• Upgrade to 0.0.4 by @jaisnan in #112
• upgrade to 0.0.5 by @jaisnan in #113

Full Changelog: v0.0.4...v0.0.5

v0.0.4

What's Changed

• Update documentation by @jaisnan in #104
• Add third party license by @jaisnan in #108
• Add logo and bugs page by @jaisnan in #109
• Deploy on tag script by @jaisnan in #110
• add token to publish flow by @jaisnan in #111

Full Changelog: v0.0.3...v0.0.4

Kani-vscode-v0.0.3

What's Changed

• Fix View report feature to work in local and remote environments by @adpaco-aws in #36
• Remove comments, format with pretty by @jaisnan in #38
• Show warning when using Generate report feature by @adpaco-aws in #42
• Update exec to not use shell by @jaisnan in #40
• Deprecate standalone kani, add support for cargo-kani for every call by @jaisnan in #46
• Replace regex parsing with tree sitter by @jaisnan in #47
• Cleanup remaining exec calls by @jaisnan in #49
• Fix visualization process by @jaisnan in #50
• Remove 'fs' as dependency by @jaisnan in #51
• Add concrete playback button for Failed Proofs by @jaisnan in #55
• Add prettier CI check by @jaisnan in #58
• Improve error messaging in diff by @jaisnan in #59
• Add codelens action for running concrete playback tests by @jaisnan in #57
• Add debugger codelens action by @jaisnan in #63
• Fix mac tree sitter issues by @jaisnan in #62
• Add compilation check to CI by @jaisnan in #70
• Add an error-handling dialogue that links to bug reports by @adpaco-aws in #77
• Add output log to channel by @jaisnan in #78
• Emit an error if Kani executable was not found by @zhassan-aws in #79
• Fix module unit test issue & linting cleanup by @jaisnan in #80
• Report non-boolean outputs UNDETERMINED and UNREACHABLE by @qinheping in #82
• Fix execution handling by @jaisnan in #81
• Add awaits to async files and add reload on save by @jaisnan in #83
• Run each Kani harness on specified packages by @feliperodri in #84
• Replace unwind arguments with stubbing arguments by @jaisnan in #89
• Add package name to test label by @jaisnan in #90
• Open channel after creating one by @celinval in #92
• Replace cargo test by cargo kani playback by @celinval in #94
• Fix concrete playback with bolero by @celinval in #93
• Add tests to ci by @jaisnan in #96
• Add output window toggle config option by @jaisnan in #100
• Change Kani Binary path to be written once, read everywhere else by @jaisnan in #98
• Change concrete playback to use execFile by @jaisnan in #99
• Add expanded harness name to cargo kani arguments by @jaisnan in #103
• Update package metadata by @jaisnan in #105

New Contributors

• @adpaco-aws made their first contribution in #36
• @zhassan-aws made their first contribution in #79
• @qinheping made their first contribution in #82
• @feliperodri made their first contribution in #84
• @celinval made their first contribution in #92

Full Changelog: v0.0.2...v0.0.3

Kani-vscode-v0.0.2

What's Changed

• Fix Kani Crashes for cases where there is an underlying import error by @jaisnan in #14
• Patch broken report finding by @jaisnan in #20
• Add stderr and error logs to error notifications during report finding by @jaisnan in #26

Full Changelog: v0.0.1...v0.0.2

Kani-vscode-v0.0.1

• Initial Release (in beta)
• Run proofs natively the same way you run your test
• View verification result and failed properties
• View counter example report for failed proofs