Skip to content
| Marketplace
Sign in
Visual Studio Code
>
Other
>
cminor-vsc
New to Visual Studio Code?
Get it now.
cminor-vsc
THU Formal Verification Group
|
9 installs
|
(
0
)
|
Free
Installation
Launch VS Code Quick Open (
Ctrl+P
), paste the following command, and press enter.
Copy
Copied to clipboard
More Info
Overview
Version History
Q & A
Rating & Review
This extension is still WIP.