sci-mathematics / spin

An efficient logic-model checker for the verification of multi-threaded code

Official package sites : https://github.com/nimble-code/Spin · https://spinroot.com/ ·

v6.5.2-r1 :: 0 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~riscv ~x86
USE flags
doc examples graphviz tk

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
examples
Install examples, usually source code
graphviz
Add support for the Graphviz library
tk
Add support for Tk GUI toolkit

dev-lang / tk : Tk Widget Set

media-gfx / graphviz : Open Source Graph Visualization Software

sys-devel / gcc : The GNU Compiler Collection

Repository mirror & CI · gentoo
Merge updates from master
Marek Szuba · gentoo
sci-mathematics/spin: backport upstream fix for CVE-2021-46168
Closes: https://bugs.gentoo.org/831220 Signed-off-by: Marek Szuba <marecki@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Marek Szuba · gentoo
sci-mathematics/spin: add 6.5.2, drop 6.5.1
Somehow I completely missed that version in spite of it having been released only days after 6.5.1. Signed-off-by: Marek Szuba <marecki@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Marek Szuba · gentoo
sci-mathematics/spin: add 6.5.1, remove 6.4.5
Signed-off-by: Marek Szuba <marecki@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alex Fan · gentoo
sci-mathematics/spin: keyword 6.4.5 for ~riscv
Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/spin: eutils->epatch
Package-Manager: Portage-3.0.14-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Harri Nieminen · gentoo
sci-mathematics/spin: Remove old
Closes: https://github.com/gentoo/gentoo/pull/7646 Package-Manager: Portage-2.3.24, Repoman-2.3.6
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Pawel Hajdan, Jr · gentoo
sci-mathematics/spin: version bump (6.4.5); now the license is BSD
Package-Manager: portage-2.2.20.1
Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed