Commits · 41ecbafdc28dba38ba3e49fd8f62c423afec0772 · tlsomers / Actris

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 26, 2020
- Fix. · fef73ef6
  Robbert Krebbers authored 4 years ago
  
  fef73ef6
- Typing rule for `Free`. · 8062c168
  Robbert Krebbers authored 4 years ago
  
  8062c168
May 18, 2020
- update dependencies · d3009585
  Ralf Jung authored 4 years ago
  
  d3009585
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
- 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 06, 2020
- Nits · 5da00edc
  Jonas Kastberg authored 4 years ago
  
  5da00edc
- 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
- Remove old stuff. · c9b8604d
  Robbert Krebbers authored 4 years ago
  
  c9b8604d
- Notation for binder_insert. · 0d22cb10
  Robbert Krebbers authored 4 years ago
  
  0d22cb10
- fix pair example · 79da67c9
  Daniël Louwrink authored 4 years ago
  
  79da67c9
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
- Functional correctness spec of double example. · 338adc7d
  Robbert Krebbers authored 4 years ago
  
  338adc7d
- 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
- remove value restriction TODO · c52fd7fa
  Daniël Louwrink authored 4 years ago and Jonas Kastberg committed 4 years ago
  
  c52fd7fa
- remove bounded quantification · d809751b
  Daniël Louwrink authored 4 years ago and Jonas Kastberg committed 4 years ago
  
  d809751b
- Add Löb TODO · cfd71586
  Daniël Louwrink authored 4 years ago and Jonas Kastberg committed 4 years ago
  
  cfd71586
- add some derived copyability rules · 91af156d
  Daniël Louwrink authored 4 years ago and Jonas Kastberg committed 4 years ago
  
  91af156d
- Remove `lty_texist`. · 5b787817
  Robbert Krebbers authored 4 years ago
  
  5b787817
- Generalize to binder. · deca51fa
  Robbert Krebbers authored 4 years ago
  
  deca51fa
- Tweaks. · 8b257448
  Robbert Krebbers authored 4 years ago
  
  8b257448