gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/spin

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

Screenshots

  • spin-6.5.2-r1
    ~amd64 ~riscv ~x86
    doc examples graphviz tk

    View      Download      Browse     License: BSD   
    Overlay: gentoo

ChangeLog

commit 10bdaddafc1b0adc60e74c9555b302fb47283dbf
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue May 2 12:10:45 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: 3e74f6608eb691933af2f4803f9b92edb1401e54

commit 5fd09132b758233e1f9c24704e832f96df19683b
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Mar 1 00:13:24 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: d605f51aadda4424f4d767132f6c9c99218c6f66

commit fb7db313e8779a0f32628fe6c487ba2380a6ad39
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Feb 3 12:10:45 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: 71c7398ccf5c8624ec3651fb92f79bfed1b4d7e6

commit 3549ddbcd43f6a95226fc79bcbed34a71973b900
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jan 27 01:12:39 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: 3c6d53b50924e85ee45686ebd1cde275bd1895fc

commit 0b340df841f7d0f8a484dfcd349383e310f6b147
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Jan 11 05:32:23 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: bf0b193d43e6b706e08117ec0515bd3bc626dcf4

commit 9781119c870823ba98f1a381de005521ed9f5be7
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Sep 25 22:54:31 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: 246277491a275205f9617b80e0f9a169b07b02eb

commit 598ded5ea89821a0d724c8993405c45042b3d82e
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Aug 25 00:26:24 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: 4322619cb1872cc9dbe0fa1fdcd184a3642bac32

commit 0099bee1c097c4e9ad62cbba61b9ef6c5abc8471
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Aug 24 12:27:16 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: ccd94e33817483691f8e043d7189fe44803aa808

commit 89cc3c4a2ec900bafe261c635084614d240105ec
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Aug 11 04:10:59 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: 90795ffd7b6d717be93874c2cfb775f3c3bb5169

commit 009bacfa602046d739fe5e8ba56c31f6d2630b5d
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Aug 11 00:39:58 2014 +0000

glorious funtoo updates

merged:

funtoo-overlay: 099cb7bdab1b6099bc0bc6b8f9ba82a88fcc688a
funtoo-mysql: c0f5ef9fbd1b65d4a4aaf3ed36c0b311dd616da9
funtoo-ldap: 63fb17b380185effbb7cca9d86aaad23ee605834
faustoo: a99772faa289b5a111e05522894b82ab69a18c81
foo-overlay: 4cac746e142029c8354eb0d3ee4957033c99fb10
bar-overlay: 1ad50aaef1e93863ab64d2b36a4a28686d55bb17
bliss-overlay: 49433d033bb07d5bcee3d0ee5bc62e03fe1cb0c7
funtoo-plex: 7fbc248f9f4301931ca5f5cf9e5e6892bea647b2
squeezebox: 7d78015cf563fd236723dbb2dc6cd2de6dad1bbf
funtoo-gnome: 8ef67c5d149c63e2907426f3527edf339da5d62e
funtoo-deadbeef: e5ece3cb23adb949c27a6143fe086b501396125b
sabayon-for-gentoo: 6bd086cd210fda05d411411323509882e31a417d

commit ad841e7f344351896b87be9691cff69e9d4f398f
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Nov 17 19:08:39 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: eb851874c1831b7e98ef9cd4c3e9a3af19a00ae3
foo-overlay: d242d6fcc74a431c59e7e1ba6e7458a9618861d6
bar-overlay: 09dbf39ca3130b8fa3d3c049518b56edd8dffcbe
mate: 22b3f253c331b4c9c7dbc719c347b7066a933773
squeezebox: 3b7b8b97ca62d555c9e8456eb685627976cab6c2
sabayon-for-gentoo: 887ac16c57f89c81386ef6691dacd27361047438

commit f43a7db330ed1c04a764e47ec008541997ec8757
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Dec 31 19:51:43 2012 -0700

glorious funtoo updates

merged:

funtoo-overlay: b07f6fdc7486995a84d0dfd12c34b956fa884900
foo-overlay: f7749549a67741868fbb3da8781e42cbac533fa7
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: 71480f728120d041d4fdf2c3cfd8497a4291fd2f
mythtv: 232ca207c520eb294db060a770aafd30ffa25afb

commit 9404c874d9a97774a23c066fecf56bf1b1b528f8
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon May 21 12:36:02 2012 -0600

glorious funtoo updates

merged:

gentoo: 870a94efeb13c7d96a0afc8a71389328f13f46ee
funtoo-overlay: be696cfb9b40a7950d25c0274e99218b4a5d40f4
foo-overlay: 4b4489fab11d7f99874f91d5c7269234f58d9d72
bar-overlay: fb087c5a693ccc4195a2b824a60290a724802b2c
flora: cdd353877f1a3c8497a4bca95c9bb3aedf9b74ad

commit a3e88ee48a7adee91998b076f79f8afec8739dd1
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Jan 22 23:38:09 2012 -0700

glorious funtoo updates

merged:

gentoo: 13843f35165af6e99b1fe74c738636eac84ca68b
funtoo-overlay: 5b4c778a48328a48d6b4dbd89716701ae9e16609
foo-overlay: 1f6221fc09bef4647caf44c57a3cf48a65ce58bb
bar-overlay: 4b6579bdb26d820bd55e85488c8e5eb80d8e8011
flora: 4f9e07e1032406abfa7d4b8d6aa025cc69c934ef