Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/eventb-animate

Package Information

Description:

eventb-animate animates Event-B models with the ProB model checker without requiring a Rodin Platform installation: random animation, invariant checking, and trace save/replay.

Homepage:

https://github.com/eventb-rossi/eventb-animate

License:

Apache-2.0

Versions

Metadata

Description

• eventb-animate animates Event-B models with the ProB model checker without requiring a Rodin Platform installation: random animation, invariant checking, and trace save/replay.

Maintainers

• Denis Efremov (efremov@linux.com) - Type: person

Upstream

• Bugs: https://github.com/eventb-rossi/eventb-animate/issues
• Remote IDs:
  • github: eventb-rossi/eventb-animate

<pkgmetadata>
	<maintainer type="person">
		<email>efremov@linux.com</email>
		<name>Denis Efremov</name>
	</maintainer>
	<longdescription lang="en">
		eventb-animate animates Event-B models with the ProB model
		checker without requiring a Rodin Platform installation:
		random animation, invariant checking, and trace save/replay.
	</longdescription>
	<use>
		<flag name="ltsmin">Enable LTSmin model checking with either the bundled or system ProB kernel</flag>
		<flag name="system-prob">Use <pkg>sci-mathematics/prob-bin</pkg> instead of the bundled ProB kernel</flag>
	</use>
	<upstream>
		<bugs-to>https://github.com/eventb-rossi/eventb-animate/issues</bugs-to>
		<remote-id type="github">eventb-rossi/eventb-animate</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] Ebuild 7.1 has a line exceeding 80 positions on line 10.
• [Warning] Ebuild 7.1 has a line exceeding 80 positions on line 45.
• [Notice] Package has only unstable keywords for arch(es): [ amd64 ], all versions are unstable: [ 7.1 ]
• [Warning] Ebuild 7.1 uses USE flag 'ltsmin' purely for an optional RDEPEND. USE-controlled optional RDEPs are not acceptable except under very specific circumstances (PG0001).

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/eventb-animate | euse -E <flag> -p sci-mathematics/eventb-animate | euse -D <flag> -p sci-mathematics/eventb-animate

Manifest