sci-mathematics/rossi
Rust toolchain for Event-B: parser, static checker, CLI, and language server
Screenshots
-
rossi-0.1.4~amd64test debug
View 
Download 
Browse License: || ( Apache-2.0 MIT ) Apache-2.0 Apache-2.0-with-LLVM-exceptions MIT Unicode-3.0 ZLIB BZIP2 || ( CC0-1.0 MIT-0 ) Overlay: eventb-rossi
ChangeLog
commit 4170c8ece293fd2c8980b1e916b4dcdcc79e90e2
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Mon Jul 6 23:33:31 2026 +0000
sci-mathematics/rossi: add 0.1.4, drop 0.1.3
Regenerated CRATES/LICENSE with pycargoebuild and rebuilt the Manifest.
Automated version bump by the version-check workflow.
Signed-off-by: Denis Efremov <efremov@linux.com>
commit eeae3a0080239a0e14d68e3630f32ddd236d13c3
Author: Denis Efremov <efremov@linux.com>
Date: Mon Jun 29 19:05:26 2026 +0400
sci-mathematics/rossi: install bash/zsh/fish shell completions
Signed-off-by: Denis Efremov <efremov@linux.com>
commit e2c5bf49728561f450c697c3fe54503af88ed2c3
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Mon Jun 29 13:22:01 2026 +0000
sci-mathematics/rossi: add 0.1.3, drop 0.1.2
Regenerated CRATES/LICENSE with pycargoebuild and rebuilt the Manifest.
Automated version bump by the version-check workflow.
Signed-off-by: Denis Efremov <efremov@linux.com>
commit d904abcef925426538f6563c82baa16d349ba73a
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Fri Jun 26 14:45:44 2026 +0000
sci-mathematics/rossi: add 0.1.2, drop 0.1.1
Regenerated CRATES/LICENSE with pycargoebuild and rebuilt the Manifest.
Automated version bump by the version-check workflow.
Signed-off-by: Denis Efremov <efremov@linux.com>
commit 4d15dc26f8495cb845710c0b430b03c698bc95d7
Author: Denis Efremov <efremov@linux.com>
Date: Wed Jun 24 11:50:45 2026 +0400
sci-mathematics/rossi: add 0.1.1, drop 0.1.0
Signed-off-by: Denis Efremov <efremov@linux.com>
commit b44b0baec0c6adc0f75119f975b06f3e8848571e
Author: Denis Efremov <efremov@linux.com>
Date: Sat Jun 20 16:47:03 2026 +0400
sci-mathematics/rossi: new package, add 0.1.0
Rossi is a Rust toolchain for Event-B (parser, static checker, CLI, and
language server) built as a Cargo workspace. Package it with the cargo
eclass: enumerate the workspace's registry crates in CRATES (generated by
pycargoebuild) so the build is offline and Manifest-verified, and install
both workspace binaries -- rossi and eventb-language-server -- from the
shared target dir built once by cargo_src_compile.
Gate the cargo test suite behind USE=test (RESTRICT="!test? ( test )"), and
skip the two editor-grammar sync tests via CARGO_SKIP_TESTS: they read the
editors/tree-sitter-eventb git submodule, which is absent from the release
tarball, and only guard repo files this package does not build or install.
Signed-off-by: Denis Efremov <efremov@linux.com>
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Mon Jul 6 23:33:31 2026 +0000
sci-mathematics/rossi: add 0.1.4, drop 0.1.3
Regenerated CRATES/LICENSE with pycargoebuild and rebuilt the Manifest.
Automated version bump by the version-check workflow.
Signed-off-by: Denis Efremov <efremov@linux.com>
commit eeae3a0080239a0e14d68e3630f32ddd236d13c3
Author: Denis Efremov <efremov@linux.com>
Date: Mon Jun 29 19:05:26 2026 +0400
sci-mathematics/rossi: install bash/zsh/fish shell completions
Signed-off-by: Denis Efremov <efremov@linux.com>
commit e2c5bf49728561f450c697c3fe54503af88ed2c3
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Mon Jun 29 13:22:01 2026 +0000
sci-mathematics/rossi: add 0.1.3, drop 0.1.2
Regenerated CRATES/LICENSE with pycargoebuild and rebuilt the Manifest.
Automated version bump by the version-check workflow.
Signed-off-by: Denis Efremov <efremov@linux.com>
commit d904abcef925426538f6563c82baa16d349ba73a
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Fri Jun 26 14:45:44 2026 +0000
sci-mathematics/rossi: add 0.1.2, drop 0.1.1
Regenerated CRATES/LICENSE with pycargoebuild and rebuilt the Manifest.
Automated version bump by the version-check workflow.
Signed-off-by: Denis Efremov <efremov@linux.com>
commit 4d15dc26f8495cb845710c0b430b03c698bc95d7
Author: Denis Efremov <efremov@linux.com>
Date: Wed Jun 24 11:50:45 2026 +0400
sci-mathematics/rossi: add 0.1.1, drop 0.1.0
Signed-off-by: Denis Efremov <efremov@linux.com>
commit b44b0baec0c6adc0f75119f975b06f3e8848571e
Author: Denis Efremov <efremov@linux.com>
Date: Sat Jun 20 16:47:03 2026 +0400
sci-mathematics/rossi: new package, add 0.1.0
Rossi is a Rust toolchain for Event-B (parser, static checker, CLI, and
language server) built as a Cargo workspace. Package it with the cargo
eclass: enumerate the workspace's registry crates in CRATES (generated by
pycargoebuild) so the build is offline and Manifest-verified, and install
both workspace binaries -- rossi and eventb-language-server -- from the
shared target dir built once by cargo_src_compile.
Gate the cargo test suite behind USE=test (RESTRICT="!test? ( test )"), and
skip the two editor-grammar sync tests via CARGO_SKIP_TESTS: they read the
editors/tree-sitter-eventb git submodule, which is absent from the release
tarball, and only guard repo files this package does not build or install.
Signed-off-by: Denis Efremov <efremov@linux.com>