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

Version	EAPI	Keywords
6.3	8	~amd64
6.2	8	~amd64
6.1-r1	8	~amd64
6.0	8	~amd64
5.1	8	~amd64

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

Raw Metadata XML

<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

[Error] Manifest entry for unused DIST file 'eventb-animate-5.1.jar'
[Error] Manifest entry for unused DIST file 'eventb-animate-6.0.jar'
[Error] Manifest entry for unused DIST file 'eventb-animate-6.1.jar'
[Error] Manifest entry for unused DIST file 'eventb-animate-6.2.jar'
[Error] Manifest entry for unused DIST file 'eventb-animate-6.3.jar'
[Error] Repository is missing a repo-name in metadata/layout.conf or profiles/repo_name
[Warning] Missing md5-cache for ebuild eventb-animate-6.3
[Warning] Missing md5-cache for ebuild eventb-animate-6.2
[Warning] Missing md5-cache for ebuild eventb-animate-6.1-r1
[Warning] Missing md5-cache for ebuild eventb-animate-6.0
[Warning] Missing md5-cache for ebuild eventb-animate-5.1

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

Flag	Description	6.3	6.2	6.1-r1	6.0	5.1
ltsmin	Enable LTSmin model checking with either the bundled or system ProB kernel	✓	✓	✓	✗	✗
system-prob	Use <pkg>sci-mathematics/prob-bin</pkg> instead of the bundled ProB kernel	✓	✓	✓	✗	✗

Manifest

Type	File	Size	Versions
DIST	eventb-animate-5.1.jar	98365831 bytes	5.1
DIST	eventb-animate-6.0.jar	98472774 bytes	6.0
DIST	eventb-animate-6.2.jar	98581904 bytes	6.2
DIST	eventb-animate-6.3.jar	98581903 bytes	6.3

Unmatched Entries

Type	File	Size
DIST	eventb-animate-6.1.jar	98504393 bytes

sci-mathematics/eventb-animate (eventb-rossi)