rossi-cli 0.1.0

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

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

cargo install rossi-cli

This installs a rossi executable.

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). 
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.