fix: error in MappedVector::insert #3610

Open

rrsettgast wants to merge 22 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

Commits on Feb 25, 2026

Merge branch 'develop' into bugfix/invalidDeleteInMappedVector
rrsettgast
committed