-
Dan Frumin authored
- Use the level resource algebra/lattice. This allows us to unlock partially owned locations - Upclose the mapsto predicates. This allows us to "downgrade" unlocked locations.
851589d3
- Use the level resource algebra/lattice. This allows us to unlock partially owned locations - Upclose the mapsto predicates. This allows us to "downgrade" unlocked locations.