Remove divisions with constant denominator
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Remove divisions with constant denominator
vaclav
requested to merge
1914-remove-divisions-with-constant-denominator
into
main
Aug 22, 2025
Overview
3
Commits
13
Pipelines
19
Changes
21
Closes
#1914 (closed)
Merge request reports
Loading