Skip to content
GitLab
Explore
Sign in
Gaudi
Gaudi
Merge requests
!834
Make counters work with algorithm
Code
Review changes
Check out branch
Download
Patches
Plain diff
Gerhard Raven
requested to merge
graven/Gaudi:make_counters_work_with_algorithm
into
master
Jan 27, 2019
Overview
19
Commits
1
Pipelines
21
Changes
12
Expand
introduce CounterHolder, which keeps track of the available counters, and provides declareCounter, findCounter, forEachCounter, nCounters and clearCounters
closes
#57 (closed)
Edited
Feb 01, 2019
by
Gerhard Raven
Merge request reports