index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
include
/
clang
/
StaticAnalyzer
/
Core
/
PathSensitive
/
ConstraintManager.h
Age
Commit message (
Expand
)
Author
2013-02-20
Include llvm::Optional in clang/Basic/LLVM.h
David Blaikie
2013-01-12
Remove useless 'llvm::' qualifier from names like StringRef and others that are
Dmitri Gribenko
2012-12-21
[analyzer] Don't perform an expensive assertion in release builds.
Jordan Rose
2012-12-04
Sort #include lines for all files under include/...
Chandler Carruth
2012-11-01
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h: Ap...
NAKAMURA Takumi
2012-11-01
[analyzer] Optimize assumeDual by assuming constraint managers are consistent.
Jordan Rose
2012-11-01
[analyzer] Rename ConditionTruthVal::isTrue to isConstrainedTrue.
Jordan Rose
2012-10-31
[analyzer] Let ConstraintManager subclasses provide a more efficient checkNull.
Jordan Rose
2012-10-01
[analyzer] Make ProgramStateManager's SubEngine parameter optional.
Jordan Rose
2012-09-07
Remove ProgramState::getSymVal(). It was being misused by Checkers,
Ted Kremenek
2012-09-07
Add default implementation of ConstraintManager::getSymVal() and a doxygen co...
Ted Kremenek
2012-09-07
Remove ConstraintManager:isEqual(). It is no longer used.
Ted Kremenek
2012-08-22
Remove BasicConstraintManager. It hasn't been in active service for a while.
Ted Kremenek
2012-01-31
Convert more uses of 'const ProgramState *' to 'ProgramStateRef' (and related...
Ted Kremenek
2012-01-26
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
Ted Kremenek
2011-12-05
[analyzer] Mark ConstraintManager::canReasonAbout as protected.
Anna Zaks
2011-11-16
[analyzer] Assert if we ever get an over constrained state.
Anna Zaks
2011-08-28
[analyzer] Header cleanup to decrease coupling (and recompilation). No functi...
Jordy Rose
2011-08-15
Rename GRState to ProgramState, and cleanup some code formatting along the way.
Ted Kremenek
2011-08-12
Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...
Ted Kremenek
2011-07-20
add raw_ostream and Twine to LLVM.h, eliminating a ton of llvm:: qualifications.
Chris Lattner
2011-02-10
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...
Ted Kremenek