Issues
- 0
Publish to open-vsx marketplace
#17 opened by phated - 0
Improve `fmtstr` multi-line interpretation
#50 opened by grasshopper47 - 1
Outline panel
#66 opened by skaunov - 1
Add support for testing fail in Testing Panel
#44 opened by Savio-Sou - 0
- 0
- 0
Publish the extension on `open-vsx.org`
#84 opened by Savio-Sou - 0
- 1
Add "Prove" button in Sidebar View
#8 opened by Savio-Sou - 0
Add "Verify" button in Sidebar View
#9 opened by Savio-Sou - 0
Add "Prove" Code Action
#11 opened by Savio-Sou - 0
Add support for weighting opcodes of different types differently when profiling
#81 opened by TomAFrench - 0
- 2
- 0
Error "error: unexpected argument {part_of_path} found" when calling the Compile or Info command, if there is a space in the path of the project from which the command is called
#78 opened by n0m44 - 0
Add a test suite
#76 opened by TomAFrench - 0
Introduce Code Lens disable setting
#63 opened by kobyhallx - 0
Epic: Sidebar View MVP
#10 opened by Savio-Sou - 2
Epic: VS Code for the Web MVP
#38 opened by Savio-Sou - 0
- 1
- 5
Support VS Code for the Web
#37 opened by Savio-Sou - 3
Add formatting on save
#54 opened by Savio-Sou - 2
Add Sidebar View
#6 opened by Savio-Sou - 0
Add testing panel
#33 opened by phated - 1
Abstract node specific imports
#36 opened by kobyhallx - 1
- 0
Publish plugin to microsoft marketplace
#15 opened by phated - 4
- 0
- 1
Epic: Code Action MVP
#12 opened by Savio-Sou - 2
Deprecate old plugin
#16 opened by phated - 0
Display status on editors statusbar
#23 opened by kobyhallx - 0
Setup release-please
#14 opened by phated - 0
Document plugin
#13 opened by phated - 0
Implement LSP client
#2 opened by phated - 3
Plugin icon
#4 opened by phated