Skip to content

Equivalence checker

Viktor Kuncak requested to merge github/fork/SimonGuilloud/equivalence-checker into main

Created by: SimonGuilloud

Updated the Equivalence Checker. Now takes into account all of OL, and is a much more optimised implementation, in particular when there is structure sharing

Merge request reports