fix: error in MappedVector::insert #3610

Open

rrsettgast wants to merge 21 commits intodevelopfrom

bugfix/invalidDeleteInMappedVector

Commits on Nov 2, 2025

removed invalid delete in MappedVector

rrsettgast
authored and
corbett5
committed
remove redundant set registrations

rrsettgast
authored and
corbett5
committed
unused var

rrsettgast
authored and
corbett5
committed
Disallow duplicate registration by default.
corbett5
committed
Fixed externalSet.
corbett5
committed
Fixing more problems with sets.
corbett5
committed
Uncrustify changes.
corbett5
committed
Documentation.
corbett5
committed
Fixed some integrated test errors.
corbett5
committed
Doxygen
corbett5
committed
Run solver tests with single thread.
corbett5
committed
Fixing more tests.
corbett5
committed

Commits on Nov 3, 2025

Fixed my leak in MappedVector::insert.
corbett5
committed

Commits on Nov 6, 2025

Updated error messages and conditions.
corbett5
committed

Commits on Dec 11, 2025