Closed abelsiqueira closed 5 years ago
Finalizing the ExecutionStats migration, this changes the current solvers to use the new stats. The benchmark and profile tools are updated as well. Unfortunately, it's a large PR, in line counts.
ExecutionStats
Sorry I haven't reviewed this before. It looks good to me. Are you still happy with the PR as it is?
Yes, thank you.
Finalizing the
ExecutionStats
migration, this changes the current solvers to use the new stats. The benchmark and profile tools are updated as well. Unfortunately, it's a large PR, in line counts.