| commit | f0519d218a5e9ea660074bc9b5ba3f822582db25 | [log] [tgz] |
|---|---|---|
| author | Alexander Afanasyev <alexander.afanasyev@ucla.edu> | Tue Mar 13 14:00:44 2012 -0700 |
| committer | Alexander Afanasyev <alexander.afanasyev@ucla.edu> | Tue Mar 13 14:00:44 2012 -0700 |
| tree | ea7ef25d5174cb14c495d555500fae8896ab599d | |
| parent | d4adce5cc5a2337beddc2b24cde6b27cd9c459e3 [diff] |
Before add ing a new state to diff log, trying to remove one that has the same hash. Note that all pointers to next diff state will be preserved as it is (thanks to shared_ptr). There is a need for next pointer optimizations, but we can postpone it until we implement diff log flattening functionality.