Commits · 75883a206faf59e93f70b0f9a9a9a8744c6f6864 · tlsomers / Actris

Mar 28, 2022
- Fix typo. · 75883a20
  Robbert Krebbers authored 2 years ago
  
  75883a20
Jul 28, 2021
- update dependencies · 00b4d222
  Ralf Jung authored 3 years ago
  
  00b4d222
Jun 29, 2021
- Added "Global" instance locality to resolve future Coq warnings · 68447aa2
  Jonas Kastberg authored 3 years ago
  
  68447aa2
Jan 25, 2021
- Bump Iris. · 7f62234d
  Robbert Krebbers authored 4 years ago
  
  7f62234d
Dec 09, 2020
- Added binder rule for send, derived from subtyping and original rule · e1e9c9d9
  Jonas Kastberg authored 4 years ago
  
  e1e9c9d9
Sep 22, 2020
- Bumped contexts.v header with new definitions · 65c1292d
  Jonas Kastberg authored 4 years ago
  
  65c1292d
- Rename environment → context + some random cleanup along the way. · 13215e11
  Robbert Krebbers authored 4 years ago
  
  13215e11