An error occurred while fetching folder content.
Forked from
Iris / Iris
Source project has a limited visibility.
Ralf Jung
authored
In principle, we could now un-seal heap_mapsto, saved_prop_own etc., and mark them as "Typeclass Opaque", and ecancel would still work just as fast as it does now. Thanks to Matthieu for pointing me to this unify feature.
| Name | Last commit | Last update |
|---|