Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | all: run regexlint, add a few more changelog entries | Georg Brandl | 2017-01-22 | 1 | -23/+27 |
* | Copyright update. | Georg Brandl | 2017-01-22 | 1 | -1/+1 |
* | Fix doc underlines. | Tim Hatch | 2016-05-31 | 1 | -3/+3 |
* | NuSMV: Removed last \b | Camil Staps | 2016-03-02 | 1 | -1/+1 |
* | SMV: Modified suffix to include #, $ and - | Camil Staps | 2016-03-02 | 1 | -7/+7 |
* | Renamed nusmv.py -> smv.py; comments; words() function | Camil Staps | 2016-03-02 | 1 | -0/+75 |