remove ring for grille #12
Annotations
10 warnings
|
allumette.v#L171
Ignoring canonical projection to GRing.isZmodule.addNr by
|
|
allumette.v#L171
Ignoring canonical projection to GRing.isZmodule.opp by
|
|
allumette.v#L171
Ignoring canonical projection to GRing.isZmodule.add0r by
|
|
allumette.v#L171
Ignoring canonical projection to GRing.isZmodule.addrC by
|
|
allumette.v#L171
Ignoring canonical projection to GRing.isZmodule.addrA by
|
|
allumette.v#L171
Ignoring canonical projection to GRing.isZmodule.add by
|
|
allumette.v#L171
Ignoring canonical projection to GRing.isZmodule.zero by
|
|
allumette.v#L382
Ignoring canonical projection to GRing.isZmodule.addNr by
|
|
allumette.v#L382
Ignoring canonical projection to GRing.isZmodule.opp by
|
|
allumette.v#L382
Ignoring canonical projection to GRing.isZmodule.add0r by
|
The logs for this run have expired and are no longer available.
Loading