ACSL-LiteLite ACSL language support for Visual Studio Code Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
ACSL (Lite) for Visual Studio CodeA Visual Studio Code extension provides basic language support for the ANSI/ISO C Specification Langage (ACSL). FeaturesThis extension provides basic features: * including IntelliSense; * code navigation; * code editing support. ⚠️ Note: the default syntax highlighting for ACSL files is provided by TextMate rules writen from scratch. ContributingI welcome your contributions and thank you for working to improve the ACSL development experience in VS Code. If you would like to help work on the VS Code ACSL Lite extension, please create a pull request. |