Commits · a2f6e6a8e58aa9718b7fb779d0182cf4514de21f · tlsomers / Actris

May 10, 2020
- 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
- Moved and fixed CONCUR20.md reference · 6a854a8a
  Jonas Kastberg authored 4 years ago
  
  6a854a8a
- More differences · 7bd9e72d
  Jonas Kastberg authored 4 years ago
  
  7bd9e72d
- Added difference of ground type encoding · 698be0b8
  Jonas Kastberg authored 4 years ago
  
  698be0b8
- Merge branch 'concur2020' into 'master' · ccf977d9
  Jonas Kastberg authored 4 years ago
  
  Concur2020 See merge request iris/actris!20
  ccf977d9
- Concur2020 · 03d3465f
  Jonas Kastberg authored 4 years ago
  
  03d3465f
- Merge branch 'jonas/rec_subprotocol' into 'master' · fb812e2e
  Jonas Kastberg authored 4 years ago
  
  subprotocol example See merge request iris/actris!19
  fb812e2e
- subprotocol example · 4be25c07
  Jonas Kastberg authored 4 years ago
  
  4be25c07
- Merge branch 'jonas/sealing_ltty_le' into 'master' · 78091b75
  Jonas Kastberg authored 4 years ago
  
  Sealing session type subtyping relation See merge request iris/actris!18
  78091b75
- 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
- Updated header description in README.md · f84033e7
  Jonas Kastberg authored 4 years ago
  
  f84033e7
- Merge branch 'daniel/readme' into 'master' · 74a555ab
  Jonas Kastberg authored 4 years ago
  
  Update README.md See merge request iris/actris!17
  74a555ab
- Made README less paper-specific · 8a1dbcee
  Jonas Kastberg authored 4 years ago
  
  8a1dbcee
- Refactoring · 15e9459e
  Jonas Kastberg authored 4 years ago
  
  15e9459e
- Changed header title · afccd443
  Jonas Kastberg authored 4 years ago
  
  afccd443
- Added reference to subprotocol example from paper · c97fe01e
  Jonas Kastberg authored 4 years ago
  
  c97fe01e
- further updates to README.md · 238f8d00
  Daniël Louwrink authored 4 years ago and Jonas Kastberg committed 4 years ago
  
  238f8d00
- update README.md · 342f34ec
  Daniël Louwrink authored 4 years ago and Jonas Kastberg committed 4 years ago
  
  342f34ec
- 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
- Merge branch 'daniel/headers' into 'master' · 1130d468
  Jonas Kastberg authored 4 years ago
  
  File headers See merge request iris/actris!16
  1130d468
- Nits · 5da00edc
  Jonas Kastberg authored 4 years ago
  
  5da00edc
- Updated header for channel.v · 9456e121
  Jonas Kastberg authored 4 years ago
  
  9456e121
- Updated header for proto.v · 0c8b2e21
  Jonas Kastberg authored 4 years ago
  
  0c8b2e21
- 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
- Removed dangling `-` that somehow did not cause compilation errors · bc055a22
  Jonas Kastberg authored 4 years ago
  
  bc055a22
- fix pair example · 79da67c9
  Daniël Louwrink authored 4 years ago
  
  79da67c9
- Merge branch 'daniel/update_typing_rules' into 'master' · 76e934c0
  Daniël Louwrink authored 4 years ago
  
  Update typing rules See merge request iris/actris!15
  76e934c0
May 05, 2020
- minor refactoring of typing rules · 35a4e878
  Daniël Louwrink authored 4 years ago
  
  35a4e878