Commits · fe99c0597b33cf9161238dc8191f8ad32511e218 · tlsomers / Actris

Mar 07, 2023
- Oops, forgot `as`... · fe99c059
  Robbert Krebbers authored 2 years ago
  
  fe99c059
- dist_later_intro fixes. · 75b7a0b4
  Robbert Krebbers authored 2 years ago
  
  75b7a0b4
- Fix for contractive tweaks. · 223250f1
  Robbert Krebbers authored 2 years ago
  
  223250f1
Aug 04, 2022
- Bumped Iris · 0360a237
  Jonas Kastberg authored 2 years ago
  
  0360a237
Jul 05, 2022
- update dependencies for later credits · 63e065c7
  Ralf Jung authored 2 years ago
  
  63e065c7
May 12, 2022
- Added global flags to fix typeclass warnings · 336a6e9d
  Jonas Kastberg authored 2 years ago
  
  336a6e9d
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
Jun 16, 2021
- Added scope of unscoped hint modes to address deprecation warning · aa086f74
  Jonas Kastberg Hinrichsen authored 3 years ago
  
  aa086f74
Jun 03, 2021
- update dependencies · aefab58b
  Ralf Jung authored 3 years ago
  
  aefab58b
May 28, 2021
- update dependencies · f3dc121d
  Ralf Jung authored 3 years ago
  
  f3dc121d
Jan 26, 2021
- Bump Iris (wp_apply). · afe8722d
  Robbert Krebbers authored 4 years ago
  
  afe8722d
Jan 25, 2021
- Bump Iris. · 7f62234d
  Robbert Krebbers authored 4 years ago
  
  7f62234d
Dec 09, 2020
- Removed redundant unit in example · 20aef084
  Jonas Kastberg authored 4 years ago
  
  20aef084
- Added binder rule for send, derived from subtyping and original rule · e1e9c9d9
  Jonas Kastberg authored 4 years ago
  
  e1e9c9d9
Dec 05, 2020
- update dependencies; fix for wp_finish changes · 91496e50
  Ralf Jung authored 4 years ago
  
  91496e50
Nov 17, 2020
- Add all instance arguments, needed for compilation with recent Coq. · 69e9e8d2
  Robbert Krebbers authored 4 years ago
  
  69e9e8d2
Nov 11, 2020
- update Iris; fix build · 35208784
  Ralf Jung authored 4 years ago
  
  35208784
Sep 23, 2020
- Referenced computation service example · e63c2a5c
  Jonas Kastberg authored 4 years ago
  
  e63c2a5c
- Documentation: term types -> session types · abfbf9c4
  Jonas Kastberg authored 4 years ago
  
  abfbf9c4
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
- More consistent variables for forall/exist types. · 3ea80546
  Robbert Krebbers authored 4 years ago
  
  3ea80546
- Amber rule for subtyping of rec. types. · c0faa715
  Robbert Krebbers authored 4 years ago
  
  c0faa715
- Coq-level notation for judgments to avoid ⊢s. · d8f9d3d9
  Robbert Krebbers authored 4 years ago
  
  d8f9d3d9
- Coq doc nits · 0df5e4e9
  Jonas Kastberg authored 4 years ago
  
  0df5e4e9
- Elaborated on value typing judgement · 62a64267
  Jonas Kastberg authored 4 years ago
  
  62a64267
- expr -> val in mapper_list. Documentation. Nits. · 456899ea
  Jonas Kastberg authored 4 years ago
  
  456899ea
- Refactored list type to own file. Bumped mapper_list. Documentation. · 36b0408d
  Jonas Kastberg authored 4 years ago
  
  36b0408d
- Added some documentation · c71872d3
  Jonas Kastberg authored 4 years ago
  
  c71872d3
- Renamed double.v -> par_recv.v · 51b34e7e
  Jonas Kastberg authored 4 years ago
  
  51b34e7e
- Divided the double example into two parts · 1e74dc55
  Jonas Kastberg authored 4 years ago
  
  1e74dc55
Sep 21, 2020
- Made client type polymorphic · afe73811
  Jonas Kastberg authored 4 years ago
  
  afe73811
- Changed position of reference in list type def · bd9c13f9
  Jonas Kastberg authored 4 years ago
  
  bd9c13f9
- Nits · be24d0bd
  Jonas Kastberg authored 4 years ago
  
  be24d0bd
- Added todo in regards to ltyped_val explanation · 2b955907
  Jonas Kastberg authored 4 years ago
  
  2b955907
- Added todo for ltyped_val_lam deriving · afff201a
  Jonas Kastberg authored 4 years ago
  
  afff201a
- Killed another lty scope · 55b265fa
  Jonas Kastberg authored 4 years ago
  
  55b265fa
- Killed a bunch of eautos. · 9b9065ed
  Jonas Kastberg authored 4 years ago
  
  9b9065ed