Closed bernhardmgruber closed 1 year ago
Enable native machine optimizations and add a few more custom mappings. Also increase the precision of the output timings.
Merging #711 (62491ff) into develop (2ebccb7) will not change coverage. The diff coverage is n/a.
n/a
Enable native machine optimizations and add a few more custom mappings. Also increase the precision of the output timings.