1. 589f881 Renamed deterministic EvalBinOp to DetermEvalBinOpNN. This name mangling is unfortunately needed because virtual methods with the same name can be hidden by subclasses. by Ted Kremenek · 16 years ago
  2. 9c4ce60 Created ValueStateSet class to manage the creation of multiple states by a method. by Ted Kremenek · 16 years ago
  3. fa81dff Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some of the methods only return an RVal; we want them to be able to create an arbitrary number of states. by Ted Kremenek · 16 years ago
  4. f22f868 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  5. 7aef484 Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV to by Ted Kremenek · 16 years ago
  6. 36cf32c Add missing file. by Ted Kremenek · 16 years ago