rossi-cli 0.1.3

Command-line interface for the Rossi Event-B toolchain
rossi-cli-0.1.3 is not a library.

rossi-cli

crates.io

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

Subcommand Purpose
validate Validate .eventb files, Rodin .zip archives, or unzipped Rodin project directories.
import Import a Rodin .zip / .buc / .bum / directory into .eventb text.
export Export .eventb / .txt / directory into a Rodin .zip archive.
fmt Reformat Event-B in place (operator convention, indentation).
build Static-check a Rodin project and emit .bcc / .bcm checked XML.
lsp Run the Rossi language server over stdio (equivalent to the eventb-language-server binary).
completions Print a shell completion script to stdout (run rossi completions --help for the supported shells). 
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.

Shell completions

rossi completions <shell> writes a completion script to stdout, generated from the same command tree the CLI is parsed with — so it always matches the installed version. Redirect it where your shell looks for completions:

# bash — system-wide
rossi completions bash | sudo tee /etc/bash_completion.d/rossi >/dev/null

# zsh — a directory on your $fpath
rossi completions zsh > ~/.zsh/completions/_rossi

# fish
rossi completions fish > ~/.config/fish/completions/rossi.fish

Or load it for the current session only with eval "$(rossi completions bash)".

License

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