Skip to content
  • Dan Frumin's avatar
    New locking heap representation · 851589d3
    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