Skip to content

Added `MakeOr` and `MakeAnd` instances for `False`.

Ike Mulder requested to merge snyke7/iris:ike/make_and_or_false into master

This improves iFrame behavior when False appears, and will also be useful for the validity simplification machinery in !930.
Some proof scripts might break, since some calls to iRight/iLeft are no longer necessary. I think this should be easy enough to fix.

Edited by Ike Mulder

Merge request reports