Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/ltsmin

Package Information

Description:

LTSmin is a language-independent model-checking toolset built around the Partitioned Interface to the Next-State function (PINS). It provides sequential, multicore and symbolic exploration algorithms and frontends for transition-system formats and modeling tools such as ETF, DVE, Promela, PNML and ProB.

Homepage:

https://github.com/utwente-fmt/ltsmin

License:

BSD GPL-2+ buddy? ( buddy ) spins? ( Apache-2.0 )

Versions

Metadata

Description

• LTSmin is a language-independent model-checking toolset built around the Partitioned Interface to the Next-State function (PINS). It provides sequential, multicore and symbolic exploration algorithms and frontends for transition-system formats and modeling tools such as ETF, DVE, Promela, PNML and ProB.

Maintainers

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

Upstream

• Bugs: https://github.com/utwente-fmt/ltsmin/issues
• Remote IDs:
  • github: utwente-fmt/ltsmin

<pkgmetadata>
	<maintainer type="person">
		<email>efremov@linux.com</email>
		<name>Denis Efremov</name>
	</maintainer>
	<longdescription lang="en">
		LTSmin is a language-independent model-checking toolset built around
		the Partitioned Interface to the Next-State function (PINS). It
		provides sequential, multicore and symbolic exploration algorithms
		and frontends for transition-system formats and modeling tools such
		as ETF, DVE, Promela, PNML and ProB.
	</longdescription>
	<use>
		<flag name="boost">Enable advanced variable-reordering algorithms using <pkg>dev-libs/boost</pkg></flag>
		<flag name="buddy">Enable the BuDDy finite-domain decision diagram backend using LTSmin's compatible private fork</flag>
		<flag name="pnml">Enable the Petri Net Markup Language frontend</flag>
		<flag name="prob">Enable the ProB frontend and prob2lts tools</flag>
		<flag name="profiler">Enable gperftools profiling support in spgsolver</flag>
		<flag name="spins">Install the SpinS compiler for Promela models</flag>
		<flag name="sylvan">Enable Sylvan BDD and LDDmc symbolic state-storage backends</flag>
		<flag name="zip">Enable ZIP archive input and output</flag>
	</use>
	<upstream>
		<bugs-to>https://github.com/utwente-fmt/ltsmin/issues</bugs-to>
		<remote-id type="github">utwente-fmt/ltsmin</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] Ebuild 3.0.2 has a line exceeding 80 positions on line 23.
• [Warning] Ebuild 3.0.2 has a line exceeding 80 positions on line 168.
• [Warning] Ebuild 3.0.2 has a line exceeding 80 positions on line 218.
• [Warning] Ebuild 3.0.2 has a line exceeding 80 positions on line 219.
• [Warning] Ebuild 3.0.2 has a line exceeding 80 positions on line 220.
• [Warning] Ebuild 3.0.2 has a line exceeding 80 positions on line 221.
• [Warning] Ebuild 3.0.2 has a line exceeding 80 positions on line 240.
• [Warning] Ebuild 3.0.2 has a line exceeding 80 positions on line 241.
• [Warning] Ebuild 3.0.2 has a line exceeding 80 positions on line 244.
• [Warning] Ebuild 3.0.2 has a line exceeding 80 positions on line 246.
• [Warning] Ebuild 3.0.2 has a line exceeding 80 positions on line 251.
• [Warning] Ebuild 3.0.2 has a line exceeding 80 positions on line 260.
• [Warning] USE flag 'gmp' in ebuild 3.0.2 is not documented in metadata.xml
• [Warning] USE flag 'mpi' in ebuild 3.0.2 is not documented in metadata.xml
• [Warning] USE flag 'test' in ebuild 3.0.2 is not documented in metadata.xml
• [Error] Manifest entry for unused DIST file 'ltsmin-3.0.2.tgz'
• [Error] Manifest entry for unused DIST file 'ltsmin-buddy-2.4.tar.gz'
• [Error] Manifest entry for unused DIST file 'ltsmin-spins-bfca30be3ce81fd77b31b9d47043145ae66ddc96.tar.gz'
• Ebuild sci-mathematics/ltsmin/ltsmin-3.0.2.ebuild defines S=""${WORKDIR}/${P}"", which is the default. You should remove it.
• [Error] Repository is missing a repo-name in metadata/layout.conf or profiles/repo_name
• [Notice] Package has only unstable keywords for arch(es): [ amd64 ], all versions are unstable: [ 3.0.2 ]

USE Flags

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

Files

• ltsmin-3.0.2-configure-bignum-test.patch
• ltsmin-3.0.2-configure-cache-line-test.patch
• ltsmin-3.0.2-czmq-zsock.patch
• ltsmin-3.0.2-default-listdd64.patch
• ltsmin-3.0.2-ltl2ba-fno-common.patch
• ltsmin-3.0.2-mpi3.patch
• ltsmin-3.0.2-prob-lace-options.patch
• ltsmin-3.0.2-spins-build.patch
• ltsmin-buddy-2.4-bddproduced-type.patch

Manifest