Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>FlagNew to Visual Studio Code? Get it now.
Flag

Flag

Frama

|
6 installs
| (1) | Free
Flag (.flg): highlighting, errors as you type, hover and go to definition
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Flag for VS Code

Syntax highlighting for Flag, errors as you type, hover and go to definition.

Requirements

flagc, see the Installation of Flag.

Settings

  • flag.memory: also show the warnings of the memory checker, flagc -memory. It's off because it makes every check slower
  • flag.exclude: folders or files, relative to the workspace folder, that flagls leaves out
  • flag.server: the flagls to run instead of the one that comes with the extension.
  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
  • Your Privacy Choices
  • Consumer Health Privacy
© 2026 Microsoft