Skip to content
GitLab

Remove coercion status of siProp_valid and uPred_valid

Merged Gregory Malecha requested to merge sbi-emp-valid-siProp-valid into explicit-vdash

As suggested in iris/iris!358 (merged). Opening as a separate MR because the tests break.

Merge request reports