Skip to content

refactoring: equality propagation

Alexey Protsenko requested to merge issue134 into main

We have fixed some bugs about NULL and made equality propagation use the infrastructure common with the other transformations.

Also, extended and refactored the tests.

Edited by Alexey Protsenko

Merge request reports