Commits · master · Iris / Actris

05 Jun, 2020 4 commits
- Added subtyping example to _CoqProject · 1479178d
  Jonas Kastberg authored Jun 05, 2020
  
  1479178d
- Added a typing rule for conditionals · 41ecbafd
  Jonas Kastberg authored Jun 05, 2020
  
  41ecbafd
- Use right lemma in automation · 6d0d4997
  Jonas Kastberg authored Jun 05, 2020
  
  6d0d4997
- Added operation typing rules · 6a6f8375
  Jonas Kastberg authored Jun 05, 2020
  
  6a6f8375
04 Jun, 2020 1 commit
- Minor rule simplification · deee9548
  Jonas Kastberg authored Jun 04, 2020
  
  deee9548
29 May, 2020 3 commits
- Minor clean up · b15d71df
  Jonas Kastberg authored May 29, 2020
  
  b15d71df
- Nit · fe2e85d7
  Jonas Kastberg authored May 29, 2020
  
  fe2e85d7
- Nits · 87186104
  Jonas Kastberg authored May 29, 2020
  
  87186104
28 May, 2020 2 commits
- Actually use correct Iris version... · 83280c7b
  Robbert Krebbers authored May 28, 2020
  
  83280c7b
- Bump Iris (Z_scope). · 6e01904b
  Robbert Krebbers authored May 28, 2020
  
  6e01904b
26 May, 2020 2 commits
- Fix. · fef73ef6
  Robbert Krebbers authored May 26, 2020
  
  fef73ef6
- Typing rule for `Free`. · 8062c168
  Robbert Krebbers authored May 26, 2020
  
  8062c168
24 May, 2020 1 commit
- Bump Iris (sbi removal). · 8df261ca
  Robbert Krebbers authored May 24, 2020
  
  8df261ca
18 May, 2020 3 commits
- more gitignore updates · e8c2bd4c
  Ralf Jung authored May 18, 2020
  
  e8c2bd4c
- update dependencies · d3009585
  Ralf Jung authored May 18, 2020
  
  d3009585
- update gitignore · d399ec20
  Ralf Jung authored May 18, 2020
  
  d399ec20
13 May, 2020 1 commit
- Bump Iris. · 19719b78
  Robbert Krebbers authored May 13, 2020
  
  19719b78
10 May, 2020 17 commits
- Misc tweaking. · 2324f271
  Robbert Krebbers authored May 10, 2020
  
  2324f271
- Avoid inconsistent sealing of subtyping. Instead give better type class precedences. · d2372b49
  Robbert Krebbers authored May 10, 2020
  
  d2372b49
- Avoid space in pretty printing of session types. · 0609eec7
  Robbert Krebbers authored May 10, 2020
  
  0609eec7
- More comment tweaking. · a2f6e6a8
  Robbert Krebbers authored May 10, 2020
  
  a2f6e6a8
- Remove useless scopes. · b0250a00
  Robbert Krebbers authored May 10, 2020
  
  b0250a00
- Misc tweaks. · 0c4b9da9
  Robbert Krebbers authored May 10, 2020
  
  0c4b9da9
- Rename telescope file. · a15377fd
  Robbert Krebbers authored May 10, 2020
  
  a15377fd
- Some tweaks to the telescope file. · 49ac37b8
  Robbert Krebbers authored May 10, 2020
  
  49ac37b8
- Moved and fixed CONCUR20.md reference · 6a854a8a
  Jonas Kastberg authored May 10, 2020
  
  6a854a8a
- More differences · 7bd9e72d
  Jonas Kastberg authored May 10, 2020
  
  7bd9e72d
- Added difference of ground type encoding · 698be0b8
  Jonas Kastberg authored May 10, 2020
  
  698be0b8
- Merge branch 'concur2020' into 'master' · ccf977d9
  Jonas Kastberg authored May 10, 2020
```
Concur2020

See merge request !20
```
  ccf977d9
- Concur2020 · 03d3465f
  Jonas Kastberg authored May 10, 2020
  
  03d3465f
- Merge branch 'jonas/rec_subprotocol' into 'master' · fb812e2e
  Jonas Kastberg authored May 10, 2020
```
subprotocol example

See merge request !19
```
  fb812e2e
- subprotocol example · 4be25c07
  Jonas Kastberg authored May 10, 2020
  
  4be25c07
- Merge branch 'jonas/sealing_ltty_le' into 'master' · 78091b75
  Jonas Kastberg authored May 10, 2020
```
Sealing session type subtyping relation

See merge request !18
```
  78091b75
- Sealing session type subtyping relation · 2c58a010
  Jonas Kastberg authored May 10, 2020
  
  2c58a010
08 May, 2020 1 commit
- Fixed wrong section closing and added exampel to _CoqProject · f00cbb9c
  Jonas Kastberg authored May 08, 2020
  
  f00cbb9c
06 May, 2020 5 commits
- Updated header description in README.md · f84033e7
  Jonas Kastberg authored May 07, 2020
  
  f84033e7
- Merge branch 'daniel/readme' into 'master' · 74a555ab
  Jonas Kastberg authored May 07, 2020
```
Update README.md

See merge request !17
```
  74a555ab
- Made README less paper-specific · 8a1dbcee
  Jonas Kastberg authored May 07, 2020
  
  8a1dbcee
- Refactoring · 15e9459e
  Jonas Kastberg authored May 07, 2020
  
  15e9459e
- Changed header title · afccd443
  Jonas Kastberg authored May 07, 2020
  
  afccd443