aboutsummaryrefslogtreecommitdiff
path: root/math/spot
Commit message (Expand)AuthorAgeFilesLines
* math/spot: Add USES=charsetfix, remove RM for lib/charset.aliasYuri Victorovich2018-08-101-2/+2
* New port: math/spot: Library for omega automata manipulation and model checkingYuri Victorovich2018-08-044-0/+255