| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | pkg/compiler: check for unused resources | Dmitry Vyukov | 2020-08-04 | 1 | -3/+1 |
| | | | | | | | | | | | If a resource is never used as an input, it is not useful. It's effectively the same as using an integer. Detect such cases, they are quite confusing. Fix all existing errors in descriptions. This uncovered some interesting bugs as well, e.g. use of a completely unrelated fd subtype after copy-paste (while the resource that was supposed to be used there is completely unused). | ||||
| * | sys/linux: rename dev descriptions files | Andrey Konovalov | 2019-02-01 | 1 | -0/+8 |
| Prefix file names of descriptions of /dev/* files with dev_. And give some of them more appropriate names. | |||||
