The port of the remaining heaps can be found in the heap.bundle file. The implementation of the BucketHeap? also simplified, it does not contain code duplications.

Unfortunately, these changesets (especially the doc changes in the last one) now conflicts with the current tip version of LEMON. Could you please rebase them to the tip of the main branch? In addition, please put a reference to this ticket in the commit log of each chgsets.

The port of the remaining heaps can be found in the heap.bundle file. The implementation of the BucketHeap? also simplified, it does not contain code duplications.

Unfortunately, these changesets (especially the doc changes in the last one) now conflicts with the current tip version of LEMON. Could you please rebase them to the tip of the main branch? In addition, please put a reference to this ticket in the commit log of each chgsets.

Thanks.

I have uploaded a new bundle, however the last changeset differs from the original.

I have uploaded a new bundle, however the last changeset differs from the original.

heaps.rebundle​ does not contain any heap related chgset. Also, you'd better use the extension .bundle for bundle files.

Several additional changesets were included into the bundle (I think I used wrong base repository), but it contains [532697c9fa53], [bb8c4cd57900] and [9f529abcaebf]. All of them are already applied. I close this ticket.

I think it was done by accident, when the bugfix #330[e9c203fb003d] was merged. That patch was merged into the main and should have been merged into the release branch 1.1, but it seems that the merge changeset from the main branch [994c7df296c9] was merged into the 1.1 branch, which also brought these patches and [703ebf476a1d] from #312. Neither of them would be important for the 1.1 branch, I think.

I think it was done by accident, when the bugfix #330[e9c203fb003d] was merged. That patch was merged into the main and should have been merged into the release branch 1.1, but it seems that the merge changeset from the main branch [994c7df296c9] was merged into the 1.1 branch, which also brought these patches and [703ebf476a1d] from #312. Neither of them would be important for the 1.1 branch, I think.

I think it was done by accident, when the bugfix #330[e9c203fb003d] was merged. That patch was merged into the main and should have been merged into the release branch 1.1, but it seems that the merge changeset from the main branch [994c7df296c9] was merged into the 1.1 branch, which also brought these patches and [703ebf476a1d] from #312. Neither of them would be important for the 1.1 branch, I think.