#814: Allow different timers on different processors in TimerReport -----------------------------------+---------------------------------------- Reporter: eschnett | Owner: Type: defect | Status: new Priority: major | Milestone: Component: EinsteinToolkit thorn | Version: Keywords: | -----------------------------------+---------------------------------------- This patch reduces not just timer values, but also timer names across processes. This allows different processes to have different timers.