1. c6fbdcd Refactored code for transfer functions for binary operators involving two LValues. by Ted Kremenek · 17 years ago
  2. b640b3b Added boilerplate transfer function support for pointer arithmetic operations. by Ted Kremenek · 17 years ago
  3. e01c987 Renamed GRConstants => GRSimpleVals. by Ted Kremenek · 17 years ago
  4. 6cb0b54 Migrated transfer functions for binary operators for simple value tracking by Ted Kremenek · 17 years ago
  5. c3f261d Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals. by Ted Kremenek · 17 years ago
  6. d59cccc Started partitioning of transfer function logic (and thus the policy behind by Ted Kremenek · 17 years ago