B vscode

A tiny vsc*de extension that adds syntax highlighting for the B formal verification language. It was primarily created such that github-linguist can use it for B syntax highlighting on GitHub.

Since B files are usually worked on in dedicated environments like AtelierB, this extension doesn’t do anything other than highlighting. It just makes the files look nicer if you happen to open them in the wrong editor.

If you are, however, one of the people who opens all types of plaintext files with vsc*de for quick editing (please don't), you might have a use-case for this plugin!

Contributing

If you have some B file that you think is highlighted incorrectly, add it (or a minimum failing example if you don't want to re-license the actual file under MIT), into the `sample_files directory with a pull request and either 1) explain how it should be highlighted instead, or 2) edit the TextMate Grammar files to do the explaining for you (preferred).

If you want to fix the icon I made, go ahead. It's currently just a square image of [b] in the Futura font.

If you want to add something other than syntax highlighting to this extension, you're free to ask for ownership of the repository instead. ^.^