ACSL (Lite) for Visual Studio Code
A Visual Studio Code extension provides basic language support for the ANSI/ISO C Specification Langage (ACSL).
This 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.
I 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.