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