rossi-cli

The rossi command-line tool for the Event-B formal modeling language — part of the Rossi toolchain. It wraps the rossi parser, the rossi-build static checker, and the eventb-lsp language server behind a single binary named rossi.

Installation

From crates.io:

cargo install rossi-cli

This installs a rossi executable. Prebuilt packages are also available from the major package managers (each also installs the eventb-language-server):

# Homebrew (macOS / Linux)
brew tap eventb-rossi/tap
brew install rossi

# APT (Ubuntu 26.04 "Resolute" or later)
curl -fsSL https://eventb-rossi.github.io/apt/KEY.gpg \
  | sudo gpg --dearmor -o /etc/apt/keyrings/eventb.gpg
echo "deb [signed-by=/etc/apt/keyrings/eventb.gpg] https://eventb-rossi.github.io/apt resolute main" \
  | sudo tee /etc/apt/sources.list.d/eventb.list
sudo apt update
sudo apt install rossi

# Scoop (Windows)
scoop bucket add eventb https://github.com/eventb-rossi/scoop-eventb
scoop install eventb/rossi

# Gentoo
eselect repository eventb-rossi
emaint sync -r eventb-rossi
emerge -av rossi

# Fedora (COPR)
sudo dnf copr enable @eventb-rossi/eventb-copr
sudo dnf install rossi

Subcommands

rossi validate model.eventb
rossi fmt --ascii model.eventb
rossi build project.zip

Run rossi --help (or rossi <subcommand> --help) for the full set of options. See the project README for the complete toolchain and editor integrations.

License

Licensed under either of MIT or Apache-2.0 at your option.