Langage support for Event-B

Hello UNamur students!

If you enjoy this extension, please consider starring it on GitHub ! :p

Installation

1. Install this extension. That's all.

Usage

With the command palette (CTRL+SHIFT+P or View > Command Palette), execute the command : [Event-B] New Project.

The command will ask you a project name and the path to a directory. The specified directory doesn't need to be empty : the command will create a subdirectory for the project, in which the basic project files will be generated.

The getting_started.md file will contain all the info you need to develop your incredibly useful Event-B project.

Symbols

As you know, Event-B uses a lot of unicode symbols. You can create them in VSCode with IntelliSense, using the corresponding keyword of the symbol you want.

The keyword of a symbol is often its English name (ex: for all), its most common associated keyword (ex: in) or its name in Rodin (ex: Partial injection?!).