rossi.event-b

Event-B (Rossi)

Open VSX ↗
Total downloads
56
7d gain
0
Rolling weekly delta
Rating
- / 5
0 reviews
Version
0.1.0
Latest published

Activity

Extension trends

Manifest

Metadata

Namespace
rossi
Name
event-b
License
MIT OR Apache-2.0
Homepage
https://github.com/eventb-rossi/rossi/tree/HEAD/editors/vscode#readme
Repository
https://github.com/eventb-rossi/rossi.git
Reviews
0

Taxonomy

Categories

Programming Languages Formatters Linters

Description

Event-B language support: syntax highlighting, diagnostics, formatting, navigation, and Rodin import/export, powered by the Rossi toolchain.

Archive

Release history

1 latest releases