Commits · 571e9b409e333a4e90731d3e422e24a84407a2b4 · Roger Ferrer / llvm-epi-0.8

Feb 05, 2008
- Overhauling of "ValueState" so that it represents its own functional data · d8902e06
  Ted Kremenek authored Feb 05, 2008
```
structure that can contain several maps, not just one.

llvm-svn: 46744
```
  d8902e06
- Implemented initial transfer function support for '&&', '||', '?', and · 3f2f1ade
  Ted Kremenek authored Feb 05, 2008
```
__builtin_choose.

llvm-svn: 46731
```
  3f2f1ade
Feb 04, 2008
- Added file that should have been in my previous commit. · 7746a627
  Ted Kremenek authored Feb 04, 2008
```
llvm-svn: 46722
```
  7746a627