Skip to content
GitLab
Explore
Sign in
[ITE] Simplify ITEs when consequence and alternative are the same
Code
Review changes
Check out branch
Download
Patches
Plain diff
Hichem R. A.
requested to merge
hra/simplify_ite
into
master
Oct 25, 2024
Overview
3
Commits
3
Pipelines
6
Changes
4
Expand
Merge request reports