Commits · fd81b328ac4e5e0ffeabc6c9ed167676e6ca4b8d · Gaëtan Gilbert / Iris

Dec 05, 2016
- update documentation for the new OFE story · 0dd40006
  Ralf Jung authored 8 years ago
  
  0dd40006
Oct 22, 2016
- docs: DC logic, be gone · 6cdc15f5
  Ralf Jung authored 8 years ago
  
  6cdc15f5
Oct 17, 2016
- Use \nat macro. · 7696a7c1
  Robbert Krebbers authored 8 years ago
  
  7696a7c1
- Define macro for singleton map and use it. · cfa6acb0
  Robbert Krebbers authored 8 years ago
  
  cfa6acb0
Oct 10, 2016
- docs: move more things to their right place: timeless, persistent; also define... · e8cc63fe
  Ralf Jung authored 8 years ago
  
  docs: move more things to their right place: timeless, persistent; also define and give rules for ghost ownership, view shift, WP
  e8cc63fe
- docs: complete section on composeable dynamic ghost ownership · 68734dda
  Ralf Jung authored 8 years ago
  
  68734dda
Oct 07, 2016
- docs: higher-order ghost state writing · c843c873
  Ralf Jung authored 8 years ago
  
  c843c873
Oct 06, 2016
- describe how we obtian the dynamic modular higher-order ghost state · d3137967
  Ralf Jung authored 8 years ago
  
  d3137967