sci-mathematics/rossi
Rust toolchain for Event-B: parser, static checker, CLI, and language server
Screenshots
-
rossi-0.2.0~amd64pgo test debug
View 
Download 
Browse License: || ( Apache-2.0 MIT ) Apache-2.0 Apache-2.0-with-LLVM-exceptions CC0-1.0 ISC MIT Unicode-3.0 ZLIB Overlay: eventb-rossi
USE Flags
pgo
* This flag is undocumented *
test
Global: Workaround to pull in packages needed to run with FEATURES=test. Portage-2.1.2 handles this internally, so don't set it in make.conf/package.use anymore
debug
Global: Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see http://www.gentoo.org/proj/en/qa/backtraces.xml