summaryrefslogtreecommitdiff
path: root/src/lssi.h
Commit message (Expand)AuthorAgeFilesLines
* package: bump copyrights to 2022Paul Eggert2022-01-151-1/+1
* Update URLs to prefer https: to http:Paul Eggert2021-01-291-1/+1
* package: bump copyrights to 2021Akim Demaille2021-01-161-1/+1
* cex: use better type namesAkim Demaille2020-07-141-3/+3
* style: spell fixesAkim Demaille2020-05-231-1/+1
* cex: add support for state-item pair graph generationVincent Imbimbo2020-05-221-0/+57