Skip to content

Add timing information to log footer, including % of time in subproblems#173

Merged
odow merged 2 commits intomasterfrom
od/subproblem-time
Dec 18, 2025
Merged

Add timing information to log footer, including % of time in subproblems#173
odow merged 2 commits intomasterfrom
od/subproblem-time

Commits

Commits on Dec 18, 2025