Date: Sat, 02 Sep 2023 12:33:18 +0200 From: Adriaan de Groot <adridg@freebsd.org> To: hackers@freebsd.org, Alexander Leidinger <Alexander@leidinger.net>, c@bow.st Subject: Re: ARC model specified in spinroot/promela Message-ID: <5846941.Zv9zXsTiuT@beastie.bionicmutton.org>
next in thread | raw e-mail | index | archive | help
--nextPart2673165.TYJnH3iKXO Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="utf-8"; protected-headers="v1" From: Adriaan de Groot <adridg@freebsd.org> Subject: Re: ARC model specified in spinroot/promela Date: Sat, 02 Sep 2023 12:33:18 +0200 Message-ID: <5846941.Zv9zXsTiuT@beastie.bionicmutton.org> Organization: FreeBSD MIME-Version: 1.0 For what it's worth, spin is available from ports (devel/spin), which I've just adopted and updated to 6.5.2, so it is quite straightforward to get this running on any recent FreeBSD system. I tested only with the ancient Peterson's mutual exclusion, which resolves instantly. Mailing-list archives don't preserve attachments, so, Cherry, if you could send it me directly that would be lovely. I spotted A. Mader's PLC Controller in the SPIN documents, that is one I am familiar with, and then realised that academic papers from the 2000s don't come with source code :( [ade] --nextPart2673165.TYJnH3iKXO Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part. Content-Transfer-Encoding: 7Bit -----BEGIN PGP SIGNATURE----- iQGzBAABCAAdFiEESUdADzdGoDiQC7F4Mo10LYgHpDUFAmTzD24ACgkQMo10LYgH pDX11AwA6Qr75mAYOtj9HWaFhE05Haxx8xrHh82JEgLikc/6PBSuwuVoeoWNNFK8 03OssTuTUtPZBjb6y6LSbBEP1lhEhVeSoSD8PASHZswC+4CyfWYbbF5hJPf0icpY tGDbMcJmSCge8jMF2z6DWXHhp+E28AQa7NUpvLL6uxbWhzY86Vp5tcnv79GerICG rtTKcSyYMpMAyam9exqTrn9usDeP7TGkjyX1H+JO/dW+5Pv6PrP+ZQYiljoSLWV6 oD/Xml2qc2NEJrl87u8AhaXw/auhSBXG0hYHMRB95yX/whOTkKt3vgWNj20ovbcN 3IRqjHkei0+Aqg9FNMPl1gZ4dp8K811lgs22dGVzpiqKghLl5cCA//dlIrEbUube 2vF0Xy4E8mR+RY1unu9KsnGobCN01SnRLVF0g3ITZygYLvmDa8y0MWO6+khAH9BS 8fDPCTw0YqSLoldMzCZ+/xE3Assn8HHbRxuv0fOodFrMs6ovvikAPWVNqr5YIyc/ 5mD0bpNI =IZXN -----END PGP SIGNATURE----- --nextPart2673165.TYJnH3iKXO--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5846941.Zv9zXsTiuT>