CKA stuff (!3) · Merge requests · Iris / ReLoC

Merged Dan Frumin requested to merge cka_stuff into master 4 years ago

Aug 18, 2020
- Finish the closedness theorem. · aa5cdd7c
  Dan Frumin authored 4 years ago
  
  aa5cdd7c
Aug 15, 2020
- WIP closedness of typed programs · adb7f80c
  Dan Frumin authored 4 years ago
  
  adb7f80c
Jul 11, 2020
- WIP cka.v · ed9b2ba3
  Dan Frumin authored 4 years ago
  
  ed9b2ba3
- Merge branch 'cka_stuff' of gitlab.mpi-sws.org:iris/reloc into cka_stuff · edb0c425
  Dan Frumin authored 4 years ago
  
  edb0c425
- Playing around with PAR · 90b387b8
  Dan Frumin authored 4 years ago
  
  90b387b8
- give expression scope to some example refinements · 2eff06ee
  Dan Frumin authored 5 years ago
  
  2eff06ee
Apr 05, 2020
- Playing around with PAR · d8c3c861
  Dan Frumin authored 4 years ago
  
  d8c3c861
Mar 09, 2020
- give expression scope to some example refinements · 31191dfe
  Dan Frumin authored 5 years ago
  
  31191dfe

CKA stuff