Builds - spin | MacPorts

spin (devel/spin) Updated: 2 years, 2 months ago Add to my watchlist

The Spin model checker

SPIN is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.

Version: 6.5.2 License: SPIN

GitHub

22 build(s) found

Builder	Build Number	Start Time	Elapsed Time	Watcher	Build Status
14.arm64	10074	2024-01-21 20:50:35	0:00:16	4351	build successful
13.arm64	10651	2023-03-08 2:40:59	0:00:32	4123	build successful
13	19093	2023-01-22 3:44:15	0:01:26	2783	build successful
11.arm64	47264	2022-02-20 8:20:14	0:00:32	16156	build successful
10.7	89723	2022-02-20 7:10:32	0:01:03	27976	build successful
10.6.x86_64	93614	2022-02-20 6:48:35	0:03:11	28118	failed install-port
10.6	59458	2022-02-20 6:30:10	0:03:30	28157	failed install-port
10.8	81060	2022-02-20 6:03:07	0:02:28	26030	build successful
10.10	175211	2022-02-20 6:01:21	0:01:31	55561	build successful
10.13	142848	2022-02-20 6:01:01	0:01:40	46565	build successful
10.14	119367	2022-02-20 5:26:55	0:06:21	37336	build successful
12	22129	2022-02-20 5:19:25	0:01:46	4999	build successful
10.15	91951	2022-02-20 5:18:09	0:02:32	26337	build successful
10.9	180020	2022-02-20 5:08:46	0:01:36	55250	build successful
10.11	173995	2022-02-20 5:01:34	0:07:21	55671	build successful
11	64880	2022-02-20 3:57:48	0:02:03	16217	build successful
10.12	178663	2022-02-20 3:38:46	0:01:19	54481	build successful
12.arm64	43205	2022-02-20 2:29:41	0:00:30	4982	build successful
12	20012	2022-01-26 0:29:25	0:01:40	4105	build successful
12.arm64	16727	2021-11-15 23:20:08	0:00:51	1088	build successful
11.arm64	18658	2021-04-25 5:56:40	0:00:51	5251	build successful
10.15	16672	2019-12-25 23:26:44	0:03:21	1717	build successful