Skip to content

Draft: WIP: Equality graphs in the pattern match checker

Rodrigo Mesquita requested to merge wip/romes/eqsat-pmc into master

#19272 Don't look yet! Work in progress.

Edited by Rodrigo Mesquita

Merge request reports