Commits · d1f06c73b7cf4936d3ea4ba0ab33c679064a10f7 · tlsomers / Actris

Sep 14, 2020
- Removed later from payloads in session types · 64e94f3f
  Jonas Kastberg authored 4 years ago
  
  64e94f3f
Sep 10, 2020
- Make `ltyped_recv_texist` better suited for `iApply`. · 742ad6b4
  Robbert Krebbers authored 4 years ago
  
  742ad6b4
Sep 08, 2020
- Changed rules to use a framed variant · 858e7fa0
  Jonas Kastberg authored 4 years ago
  
  858e7fa0
- Updated order of typing rules · eb636062
  Jonas Kastberg authored 4 years ago
  
  eb636062
Sep 07, 2020
- Updated typing rules to algorithmic typing · 288bda11
  Jonas Kastberg authored 4 years ago
  
  288bda11
Jun 30, 2020
- Changed order of premises in frame rule · f765e44b
  Jonas Kastberg authored 4 years ago
  
  f765e44b
Jun 05, 2020
- Added a typing rule for conditionals · 41ecbafd
  Jonas Kastberg authored 4 years ago
  
  41ecbafd
- 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
May 26, 2020
- Typing rule for `Free`. · 8062c168
  Robbert Krebbers authored 4 years ago
  
  8062c168
May 10, 2020
- Misc tweaks. · 0c4b9da9
  Robbert Krebbers authored 4 years ago
  
  0c4b9da9
May 06, 2020
- rename ref_mut to ref_uniq · 80bc8c13
  Daniël Louwrink authored 4 years ago and Jonas Kastberg committed 4 years ago
  
  80bc8c13
- add headers to files · 607b1342
  Daniël Louwrink authored 4 years ago and Jonas Kastberg committed 4 years ago
  
  607b1342
- Make exist contractive again, as that is more uniform. · ee0d1bfc
  Robbert Krebbers authored 4 years ago
  
  ee0d1bfc
- Make type in shared ref copy. · 0ec00437
  Robbert Krebbers authored 4 years ago
  
  0ec00437
- Notation for binder_insert. · 0d22cb10
  Robbert Krebbers authored 4 years ago
  
  0d22cb10
May 05, 2020
- minor refactoring of typing rules · 35a4e878
  Daniël Louwrink authored 4 years ago
  
  35a4e878
- update remaining rules, split mutex into lib · 760d90c0
  Daniël Louwrink authored 4 years ago
  
  760d90c0
- update more typing rules · dd104e06
  Daniël Louwrink authored 4 years ago
  
  dd104e06
- start updating typing rules · 9d43893c
  Daniël Louwrink authored 4 years ago
  
  9d43893c
May 04, 2020
- Revert "Updated variable rule to be in line with paper version" · a50fb42a
  Jonas Kastberg authored 4 years ago
  
  This reverts commit 03758fe2.
  a50fb42a
- Updated variable rule to be in line with paper version · 03758fe2
  Jonas Kastberg authored 4 years ago
  
  03758fe2
- Stronger variable rule. · d55bc65a
  Robbert Krebbers authored 4 years ago
  
  d55bc65a
May 01, 2020
- Generalize to binder. · deca51fa
  Robbert Krebbers authored 4 years ago
  
  deca51fa
- Tweaks. · 8b257448
  Robbert Krebbers authored 4 years ago
  
  8b257448
- WIP: Progress on recv rule · 611ac735
  Jonas Kastberg authored 4 years ago
  
  611ac735
- Defined conversion functions from ktele to tele · 6c4e6ece
  Jonas Kastberg authored 4 years ago
  
  6c4e6ece
- WIP: Initial attempt at recv and unpack rules · 3724e8ef
  Jonas Kastberg authored 4 years ago
  
  3724e8ef
- WIP: Polymorphic rule for receive · 0942c365
  Jonas Kastberg authored 4 years ago
  
  0942c365
- Updated delete rule and bumped proofs · 08545a5e
  Jonas Kastberg authored 4 years ago
  
  08545a5e
- Proved new style of let and unpack rules · 5d19ff35
  Jonas Kastberg authored 4 years ago
  
  5d19ff35
- Revert "Bounded subtyping." · a2df6db0
  Jonas Kastberg authored 4 years ago
  
  This reverts commit 582ce16e.
  a2df6db0
- Bumped protocol polymorphism to session types · 98d8d531
  Jonas Kastberg authored 4 years ago
  
  98d8d531
Apr 30, 2020
- Rename. · a07c0c2a
  Robbert Krebbers authored 4 years ago
  
  a07c0c2a
Apr 29, 2020
- Added a typing rule for select using the post-context · 4aba4857
  Jonas Kastberg authored 4 years ago
  
  4aba4857
Apr 24, 2020
- Bounded subtyping. · 582ce16e
  Robbert Krebbers authored 4 years ago
  
  582ce16e
- Refactor. · 0bc616f0
  Robbert Krebbers authored 4 years ago
  
  Kinded subtyping, better file structure, more setoid stuff, reorganize imports.
  0bc616f0
- Added kinded polymorphism · 8b20b70e
  Jonas Kastberg authored 4 years ago
  
  8b20b70e