| commit | 779e640657e14420f8e796b7b179948038fc0707 | [log] [tgz] |
|---|---|---|
| author | Alkis Evlogimenos <alkis@evlogimenos.com> | Wed Feb 18 23:15:23 2004 +0000 |
| committer | Alkis Evlogimenos <alkis@evlogimenos.com> | Wed Feb 18 23:15:23 2004 +0000 |
| tree | 48bc3d8bfed1d465296e546c7470772d4cc22a8e | |
| parent | 52f8f56ef4efaceee7535d804bf0a844cf530c57 [diff] |
Implement assignment correctness verification. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@11609 91177308-0d34-0410-b5e6-96231b3b80d8