summaryrefslogtreecommitdiff
path: root/ale_linters/dafny
AgeCommit message (Collapse)Author
2018-09-04Improve ALE project style checkingw0rp
* The project style linter now runs while you type. * Now the scripts for checking the project require blank lines. * Many style issues have been found and fixed.
2017-11-08ale_linters/dafny: lint only saved filesTaylor Blau
2017-11-07ale_linters: add 'dafny' linterTaylor Blau