diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-08-27 14:03:33 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-08-27 14:03:33 +0000 |
commit | 30ad167f74cb8a04c35ced6c69b116f15d104f8e (patch) | |
tree | ad56b0bfe9b201ce6caecae63e6d4a2ad5aceea4 /lib/AST/TypeSerialization.cpp | |
parent | 9c3fc703b29a31d40bcf5027dbb4784dd393804e (diff) |
Refactor Assume logic into a separate class ConstraintManager.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55412 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/AST/TypeSerialization.cpp')
0 files changed, 0 insertions, 0 deletions