commit 471fb042ef9d9516229edf3efc2e536ba85c1b8e
Author: Denis Efremov <efremov@linux.com>
Date: Sat Sep 12 12:26:26 2026 +0400

sci-mathematics/rossi: add 0.2.2, drop 0.2.1

Restamp the dump golden references in src_prepare. The 0.2.2 release bumped
[workspace.package].version in a release-plz pull request of its own, with
nobody there to regenerate the references, so all three still stamp 0.2.1 and
documents_match_the_reference fails on the version alone rather than on any
drift in the format. Upstream masked the value after the release (rossi commit
cc4e8c76), unreleased as of 0.2.2.

The grep guard makes the next version bump die in src_prepare instead of
silently carrying a workaround the tarball no longer needs: version_check.py
splices only CRATES/LICENSE, so everything else rides into the next ebuild.

Regenerated CRATES/LICENSE with pycargoebuild and rebuilt the Manifest.
Verified with the full suite as src_test runs it (99 binaries, 2678 passed,
0 failed) and pkgcheck scan --net.

Signed-off-by: Denis Efremov <efremov@linux.com>

commit 3d9b8da0d070bd0fe446a9f96d3561e9ff222fd0
Author: Denis Efremov <efremov@linux.com>
Date: Fri Sep 4 01:24:43 2026 +0400

sci-mathematics/rossi: add 0.2.1, drop 0.2.0

Regenerated CRATES/LICENSE with pycargoebuild 0.16.0 and rebuilt the Manifest;
the new release pulls in rayon, mimalloc and crossbeam for the sequent prover,
and needs no new licenses. Everything else in the ebuild carries over verbatim.

Drop generated_nodes_are_listed_in_token_choice from CARGO_SKIP_TESTS: upstream
removed that test in v0.1.9, so the entry has been a no-op --skip since then.
The new eventb-fuzz tests read the same grammar submodule but skip themselves
when it is absent, so they need no entry either.

Verified with an offline vendor of the Manifest's distfiles: cargo build/test
--release --offline --locked passes with --skip editor_grammars_are_up_to_date,
both binaries land in target/release, and pkgcheck --net is clean.

Signed-off-by: Denis Efremov <efremov@linux.com>

commit fd4716929f746c598e4cd654d5c8534a01f9940f
Author: Denis Efremov <efremov@linux.com>
Date: Sun Aug 23 13:30:22 2026 +0400

sci-mathematics/rossi: fix USE=pgo dropping RUSTFLAGS

src_compile passed the instrumentation flag as a command-prefix assignment
on a shell function call:

RUSTFLAGS="... -Cprofile-generate=${pgodir}" cargo_src_compile --bin rossi

That creates a temporary binding layered over the exported make.conf
RUSTFLAGS. cargo_env() folds $ into CARGO_TARGET_<TRIPLE>_RUSTFLAGS
and then unsets RUSTFLAGS in the subshell it runs cargo in; bash's unset pops
only the innermost binding, re-exposing the make.conf value. Cargo prefers the
RUSTFLAGS environment variable over CARGO_TARGET_<TRIPLE>_RUSTFLAGS, so the
whole eclass flag string was discarded: no -Cprofile-generate, and no LDFLAGS,
linker, -Ctarget-feature=-crt-static or -Cstrip=none either. The binary was
never instrumented, training wrote no profiles, $/pgo-profiles was never
created, and llvm-profdata merge died with ENOENT.

Assign RUSTFLAGS as a plain variable instead, and record why a prefix
assignment or a `local` declaration must not be used. Also clear stale
profiles before the instrumented build, run the training script through edo,
and fail with a useful message when training produces no profile data.

Signed-off-by: Denis Efremov <efremov@linux.com>

commit 618a4489d2cb6897fe4c9a4410034f1ffcc2f904
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Sun Aug 23 08:58:31 2026 +0000

sci-mathematics/rossi: add 0.2.0, drop 0.1.9

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 4fa9adb62a4655148e6f1ee7dd26ab3e4f650159
Author: Denis Efremov <efremov@linux.com>
Date: Sun Aug 23 11:26:59 2026 +0400

sci-mathematics/rossi: add optional pgo USE flag for PGO builds

Mirrors upstream's release workflow, which now builds with profile-guided
optimization: instrument+train the rossi CLI against its bundled example
models, merge the profile with a matching llvm-profdata, then rebuild both
binaries using it. Off by default since it roughly doubles build time and
requires dev-lang/rust[system-llvm] for a compatible llvm-profdata.

Signed-off-by: Denis Efremov <efremov@linux.com>

commit f8215a6205e72aa4e8e4d60af87d842b46d83073
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Tue Aug 18 20:35:28 2026 +0000

sci-mathematics/rossi: add 0.1.9, drop 0.1.8

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 ce494ecc670742723e17fd7aa846f7e65603ec66
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Tue Aug 11 20:06:46 2026 +0000

sci-mathematics/rossi: add 0.1.8, drop 0.1.7

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 02dcea64c8e54be91e53318e525ef1614fc08e0f
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Mon Jul 27 10:45:03 2026 +0000

sci-mathematics/rossi: add 0.1.7, drop 0.1.6

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 0e025ed0f0ff936e9c7fb96fd05e9502d8c8534f
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Tue Jul 21 19:25:03 2026 +0000

sci-mathematics/rossi: add 0.1.6, drop 0.1.5

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 c7c16baf59ea9f5b29c491fc590dee909f3ee06a
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Sun Jul 19 18:36:22 2026 +0000

sci-mathematics/rossi: add 0.1.5, drop 0.1.4

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