| commit | 30ad167f74cb8a04c35ced6c69b116f15d104f8e | [log] [tgz] |
|---|---|---|
| author | Zhongxing Xu <xuzhongxing@gmail.com> | Wed Aug 27 14:03:33 2008 +0000 |
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | Wed Aug 27 14:03:33 2008 +0000 |
| tree | ad56b0bfe9b201ce6caecae63e6d4a2ad5aceea4 | |
| 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