Browse source

Changelog

Query
From:
To:
Branch:
Path:
Message:
BugID:
User: +
Format:
: 1 checkin (+66/-0) by Henrik Grubbström (Grubba) <grubba@grubba.org> Lines added/removed recently

Tuesday 13 June 2017

2017-06-13 11:37:03 (2 weeks ago) by Henrik Grubbström (Grubba) <grubba@grubba.org>

ADT.Heap: Survive the same Element being pushed multiple times.

Calling push() with an Element already present on the heap is
now equivalent to calling adjust() with the same element.

Previously the heap got corrupted in the above case.

[permalink]

Bugs? Suggestions?