`Shell::Option` demolition - #921

Open

MichaelRawson wants to merge 9 commits into

michael-options

Commits on Sep 11, 2026

move some of Options.hpp into Options.cpp
MichaelRawson
committed
e8f76c6
various simplifications and de-heaping
MichaelRawson
committed
2a786f7
break up the constraint system
MichaelRawson
committed
177de85
fix _lookup, unused code
MichaelRawson
committed
ade4b3e
remove default-constructor for option values
MichaelRawson
committed
55f5893
fix includes and clean up
MichaelRawson
committed
d119b3a
fix GitHub compiler?
MichaelRawson
committed
37ef103
fix warning in release build; re-enable optimisation in Options
MichaelRawson
committed
51d618e
Martin noticed even more unused nonsense
MichaelRawson
committed
3ea05ed