Pack bool fields into bitfields in sat::drat and static_features#8445

Closed

Copilot wants to merge 22 commits intomasterfrom

copilot/find-struct-packing-opportunities

Commits on Jan 30, 2026

Initial plan
Copilot
committed
Optimize sat::config struct packing (88 bytes / 21.6% reduction)

Copilot
and
nunoplopes
committed
Optimize theory_bv_params struct packing (4 bytes / 20% reduction)

Copilot
and
nunoplopes
committed
Add struct packing tests to verify optimizations

Copilot
and
nunoplopes
committed
Address code review feedback: improve comments and static assertions

Copilot
and
nunoplopes
committed
Add documentation for struct packing optimizations

Copilot
and
nunoplopes
committed
Add performance impact analysis and benchmarking tools

Copilot
and
nunoplopes
committed
Add visual quick reference guide for struct packing optimizations

Copilot
and
nunoplopes
committed
Add honest assessment: struct packing is code quality, not performance

Copilot
and
nunoplopes
committed
Final honest summary: acknowledge limitations and correct claims

Copilot
and
nunoplopes
committed
Add SMT-comp benchmarks and measurement infrastructure for actual performance testing

Copilot
and
nunoplopes
committed
Add benchmark summary documenting complete measurement infrastructure

Copilot
and
nunoplopes
committed
Add expected results document showing what measurements would reveal

Copilot
and
nunoplopes
committed

Commits on Feb 2, 2026

Commits on Feb 3, 2026

Revert unused euf_enode and optimize actively used smt_enode

Copilot
and
nunoplopes
committed

Commits on Feb 4, 2026