There are 1 repository under equivalence-modulo-inputs topic.
SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)