Commits · 83280c7bb9042cc36bf28d622832f7c12ec27504 · tlsomers / Actris

May 28, 2020
- Actually use correct Iris version... · 83280c7b
  Robbert Krebbers authored 4 years ago
  
  83280c7b
- Bump Iris (Z_scope). · 6e01904b
  Robbert Krebbers authored 4 years ago
  
  6e01904b
May 26, 2020
- Typing rule for `Free`. · 8062c168
  Robbert Krebbers authored 4 years ago
  
  8062c168
May 24, 2020
- Bump Iris (sbi removal). · 8df261ca
  Robbert Krebbers authored 4 years ago
  
  8df261ca
May 18, 2020
- update dependencies · d3009585
  Ralf Jung authored 4 years ago
  
  d3009585
May 13, 2020
- Bump Iris. · 19719b78
  Robbert Krebbers authored 4 years ago
  
  19719b78
Apr 24, 2020
- Fix space in opam file. · fb08ec3d
  Robbert Krebbers authored 4 years ago
  
  fb08ec3d
- Refactor. · 0bc616f0
  Robbert Krebbers authored 4 years ago
  
  Kinded subtyping, better file structure, more setoid stuff, reorganize imports.
  0bc616f0
Apr 13, 2020
- Add `switch` in HeapLang (for n-ary branching). · 73c72d27
  Robbert Krebbers authored 4 years ago
  
  73c72d27
Apr 04, 2020
- Bump Iris. · 8e90f022
  Robbert Krebbers authored 4 years ago
  
  8e90f022
Apr 02, 2020
- Port to latest Iris. · c8c4744d
  Robbert Krebbers authored 4 years ago
  
  c8c4744d
Apr 01, 2020
- Bump Iris. · 7475d667
  Robbert Krebbers authored 4 years ago
  
  7475d667
Mar 16, 2020
- Bump Iris (⊢ changes). · 8a13d685
  Robbert Krebbers authored 5 years ago
  
  8a13d685
Mar 12, 2020
- update dependencies · 475a3a9f
  Ralf Jung authored 5 years ago
  
  475a3a9f
Nov 21, 2019
- Bump Iris (make use of `excl_auth`). · 1bcc45db
  Robbert Krebbers authored 5 years ago
  
  1bcc45db
Oct 25, 2019
- Simplify protocol interpretation to use equality with tail. · f5481a10
  Robbert Krebbers authored 5 years ago
  
  f5481a10
Oct 17, 2019
- Opam file. · 6342095a
  Robbert Krebbers authored 5 years ago
  
  6342095a