Skip to content
Snippets Groups Projects
Commit 507cfb21 authored by Denis Smirnov's avatar Denis Smirnov
Browse files

refactoring: equality propagation

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.
parent 5335f6a0
Branches
Tags
Loading
Showing with 448 additions and 691 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment