summaryrefslogtreecommitdiff
path: root/clang-plugin/assertion-extracter.cpp
AgeCommit message (Expand)AuthorFilesLines
2019-12-16clang-plugin: Update to LLVM 7.0Philip Chimento1-4/+5
2015-11-02assertion-extracter: Mark two internal methods as staticPhilip Withnall1-2/+2
2015-11-02plugin: Disable enum switch checking for AST typesPhilip Withnall1-3/+3
2014-05-07build: Rename from gnome-clang to TartanPhilip Withnall1-4/+4
2014-05-06clang-plugin: Add extra debug info on internal warningsPhilip Withnall1-6/+6
2014-05-05clang-plugin: Handle additional Expr types in the assertion extracterPhilip Withnall1-0/+20
2013-12-10clang-plugin: Various improvements to debug outputPhilip Withnall1-0/+3
2013-12-10clang-plugin: Handle variable references in the assertion extracterPhilip Withnall1-0/+5
2013-12-10clang-plugin: Handle implicit casts in the assertion extracterPhilip Withnall1-2/+3
2013-12-10clang-plugin: Refactor assertion extracter to reduce object allocationsPhilip Withnall1-60/+55
2013-12-10clang-plugin: Factor out code for extracting precondition assertionsPhilip Withnall1-0/+825