Apocrypha

rossi

Rust toolchain for Event-B: parser, static checker, CLI, and language server

Rossi is a Rust toolchain for Event-B providing a parser, a static checker, a command-line interface, and a language server. It validates Event-B models, converts between Event-B text and Rodin archives, reformats models, and powers editor integration over the Language Server Protocol.

homepage ↗ github: eventb-rossi/rossi

Available in

OverlayNewestEbuildsLast activity
eventb-rossi GitHub ↗ 0.1.7 1 27 h details ›

Versions & arches

VersionOverlay amd64 Committed
0.1.7 ≈ eventb-rossi amd64 testing 27 h view · download · history ↗

Use flags of 0.1.7

  • test Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)