aboutsummaryrefslogtreecommitdiff
path: root/tools/lint.py
AgeCommit message (Expand)Author
2020-09-10Fix lint.py error regex.Jacob Bramley
2019-07-01Factor out get_source_files in the tools.Jacob Bramley
2016-07-13Improve processing in `tools/lint.py`.Alexandre Rames
2016-07-12Avoid spawning tasks to lint test traces header files.Alexandre Rames
2016-07-12Cache `tools/lint.py` results.Alexandre Rames
2016-07-04Add an `AUTHORS` file and update copyright notices.Alexandre Rames
2016-05-13VIXL Release 1.13armvixl
2015-07-21VIXL Release 1.10armvixl
2015-03-02VIXL Release 1.8armvixl
2014-07-14VIXL Release 1.5armvixl