Move ProgressModel and RoundingMode to Program#978

Closed

ThomasHaas wants to merge 2 commits intodevelopmentfrom

Commits on Feb 17, 2026

- Add Program.SemanticConfig to configure progress model and floating point rounding mode.

ThomasHaas
authored and
hernanponcedeleon
committed
Fix ProgressModel in AbstractCTest

ThomasHaas
authored and
hernanponcedeleon
committed