Skip to content
GitLab
Explore
Sign in
Resolve "Implement more reduction rules"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Kenneth Dietrich
requested to merge
29-more-reduction-rules
into
main
Mar 22, 2022
Overview
0
Commits
30
Pipelines
16
Changes
25
Expand
Closes
#29 (closed)
Please do not delete the branch when merging
Edited
Apr 28, 2022
by
Kenneth Dietrich
Merge request reports
Loading