[ITE] Simplify ITEs when consequence and alternative are the same
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
[ITE] Simplify ITEs when consequence and alternative are the same
Hichem R. A.
requested to merge
hra/simplify_ite
into
master
Oct 25, 2024
Overview
6
Commits
5
Pipelines
10
Changes
6
Merge request reports
Loading