60 Commits (f8eb9c246627e8596d9057df8c499c763557fda2)

Author SHA1 Message Date
Dulma Churchill f6636c6d41 Store the issue file only if there are issues
8 years ago
Martino Luca 7de52e7649 Check early whether the given decl has to be checked with linters or not
9 years ago
Dulma Churchill 07bf714d91 Put current method in context
9 years ago
Dulma Churchill b7ec110ea3 Adding new mode linters
9 years ago
Dulma Churchill 3d39fba622 Refactor InferPrint and store the lint issues in a serialized data structure that InferPrint picks up and prints.
9 years ago
Ryan Rhee 8a40482fac Detect when in CK
9 years ago
Ryan Rhee d2a4028881 Call decl checkers on DeclStmt statements
9 years ago
Martino Luca bed9b31c62 Add general context to linters framework to implement smarter checks
9 years ago
Martino Luca da2717ff2a Migrate BAD_POINTER_COMPARISON check from backend to linters infra
9 years ago
Dulma Churchill 0253608fab Separate the flow of the frontend checks form the translation
9 years ago