summaryrefslogblamecommitdiff
path: root/devel/spin/pkg-comment
blob: 3cce122e21373c770ef81dc10b52da9f9ed55736 (plain) (tree) 
2052cf95c1ee

1

                                                                     
An on-the-fly verification system for asynchronous concurrent systems
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-06 14:41:20 +0000