Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: remove redundant rec | volth | 2019-08-28 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | Revert "treewide: fixup breakage due to absolute compiler path" | Matthew Bauer | 2018-08-22 |
* | treewide: fixup breakage due to absolute compiler path | Vladimír Čunát | 2018-08-21 |
* | veriT: 201506 -> 2016 | Gabriel Ebner | 2017-02-01 |
* | veriT: disable broken static linking | Gabriel Ebner | 2016-05-08 |
* | veriT: 201410 -> 201506 | Gabriel Ebner | 2015-08-26 |
* | Add veriT. | Gabriel Ebner | 2015-03-31 |