Commits · f0e228ea3857c33f348c5a698acaee265b3a5f50 · tlsomers / Actris

Jul 15, 2020
- Initial attempt at using swap in mapper example · f0e228ea
  Jonas Kastberg authored 4 years ago
  
  f0e228ea
Jul 02, 2020
- Errata · e0199d4b
  Jonas Kastberg authored 4 years ago
  
  e0199d4b
Jul 01, 2020
- Updated mechanisation of choice example · 07b598d8
  Jonas Kastberg authored 4 years ago
  
  07b598d8
Jun 30, 2020
- Renamed mapper example section · 113376b9
  Jonas Kastberg authored 4 years ago
  
  113376b9
- Clean up, and polymorphism example · db10cfed
  Jonas Kastberg authored 4 years ago
  
  db10cfed
- Added swapping subtyping to recursive example · 0d813bf6
  Jonas Kastberg authored 4 years ago
  
  0d813bf6
- Added an example of the recursive variant of the mapper client · 3448b201
  Jonas Kastberg authored 4 years ago
  
  3448b201
- Added a typing example of a mapper client · f3ad9e36
  Jonas Kastberg authored 4 years ago
  
  f3ad9e36
- Framed context of lemma · 8e033d1a
  Jonas Kastberg authored 4 years ago
  
  8e033d1a
- Changed order of premises in frame rule · f765e44b
  Jonas Kastberg authored 4 years ago
  
  f765e44b
- Mapper example · e1c2b252
  Jonas Kastberg authored 4 years ago
  
  e1c2b252
- Added rule to swap branch and select and an example · 0a8289d8
  Jonas Kastberg authored 4 years ago
  
  0a8289d8
Jun 29, 2020
- Renamed file to avoid name clashes · e77f2b4a
  Jonas Kastberg authored 4 years ago
  
  e77f2b4a
Jun 19, 2020
- Bump Iris (numbers). · fb386278
  Robbert Krebbers authored 4 years ago
  
  fb386278
Jun 05, 2020
- Added a typing rule for conditionals · 41ecbafd
  Jonas Kastberg authored 4 years ago
  
  41ecbafd
- Use right lemma in automation · 6d0d4997
  Jonas Kastberg authored 4 years ago
  
  6d0d4997
- Added operation typing rules · 6a6f8375
  Jonas Kastberg authored 4 years ago
  
  6a6f8375
Jun 04, 2020
- Minor rule simplification · deee9548
  Jonas Kastberg authored 4 years ago
  
  deee9548
May 29, 2020
- Minor clean up · b15d71df
  Jonas Kastberg authored 4 years ago
  
  b15d71df
- Nit · fe2e85d7
  Jonas Kastberg authored 4 years ago
  
  fe2e85d7
- Nits · 87186104
  Jonas Kastberg authored 4 years ago
  
  87186104
May 28, 2020
- Bump Iris (Z_scope). · 6e01904b
  Robbert Krebbers authored 4 years ago
  
  6e01904b
May 26, 2020
- Fix. · fef73ef6
  Robbert Krebbers authored 4 years ago
  
  fef73ef6
- 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
May 10, 2020
- Avoid inconsistent sealing of subtyping. Instead give better type class precedences. · d2372b49
  Robbert Krebbers authored 4 years ago
  
  d2372b49
- Avoid space in pretty printing of session types. · 0609eec7
  Robbert Krebbers authored 4 years ago
  
  0609eec7
- More comment tweaking. · a2f6e6a8
  Robbert Krebbers authored 4 years ago
  
  a2f6e6a8
- Remove useless scopes. · b0250a00
  Robbert Krebbers authored 4 years ago
  
  b0250a00
- Misc tweaks. · 0c4b9da9
  Robbert Krebbers authored 4 years ago
  
  0c4b9da9
- Rename telescope file. · a15377fd
  Robbert Krebbers authored 4 years ago
  
  a15377fd
- Some tweaks to the telescope file. · 49ac37b8
  Robbert Krebbers authored 4 years ago
  
  49ac37b8
- subprotocol example · 4be25c07
  Jonas Kastberg authored 4 years ago
  
  4be25c07
- Sealing session type subtyping relation · 2c58a010
  Jonas Kastberg authored 4 years ago
  
  2c58a010
May 08, 2020
- Fixed wrong section closing and added exampel to _CoqProject · f00cbb9c
  Jonas Kastberg authored 4 years ago
  
  f00cbb9c
May 06, 2020
- More clean up · 85c15c64
  Jonas Kastberg authored 4 years ago
  
  85c15c64
- Clean up · ba3fae4a
  Jonas Kastberg authored 4 years ago
  
  ba3fae4a
- Mechanised paper example of location subprotocols · 946b911f
  Jonas Kastberg authored 4 years ago
  
  946b911f