Skip to content

Make saved props have discardable fractions

Lennard Gäher requested to merge lgaeher/iris:discardable-savedprop into master

This adds discardable fractions to saved_anything/saved_prop/saved_pred.

The lemmas for these should match what we have for ghost_var/ghost_map_elem.

Merge request reports