- bugfix: update bucket index when filling a "deleted" slot
authorSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Sun, 5 Oct 2008 21:20:20 +0000 (21:20 +0000)
committerSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Sun, 5 Oct 2008 21:20:20 +0000 (21:20 +0000)
commit8e18a63a58127a126bc06fd42e9240f4d2bbb2a7
treea697d6f0dbbf33fb1bdc453a9f5b4cfd1fb8b56e
parent0b09ffb50a34aec6f8be5bc98d0f5f0736cbe783
- bugfix: update bucket index when filling a "deleted" slot
- improved html graph dump
- added RII reduction (no html dumping, not tested)

[r22506]
heuristical.c
html_dumper.c
vector.c