Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Housekeeping. | Georg Brandl | 2017-01-22 | 1 | -1/+1 |
* | Added new default file name for the Silver language. | Vytautas Astrauskas | 2016-11-15 | 1 | -1/+1 |
* | Added missing forperm keyword for the Silver verification language. | Vytautas Astrauskas | 2016-11-15 | 1 | -1/+1 |
* | Update Silver lexer, add missing keywords | Florian Hahn | 2016-04-06 | 1 | -3/+4 |
* | regexlint fixes. | Georg Brandl | 2016-02-17 | 1 | -1/+1 |
* | Add Silver to changelog, move Boogie&Silver to one module. | Georg Brandl | 2016-02-17 | 1 | -0/+110 |