Merge requests · Iris / Actris

Alternative fixes for iris!886 that do not rely on backwards compatibility layer

!29 · created Feb 24, 2023 by Robbert Krebbers
- MERGED
- 1
updated Mar 07, 2023
Removed `skipN` instruction in `send` implementation

!26 · created Mar 22, 2022 by Jonas Kastberg
- MERGED
- 0
updated Apr 19, 2022
Protocol equivalence

!24 · created Nov 25, 2020 by Jonas Kastberg
- MERGED
- 0
updated Dec 02, 2020
Remove existential quantifiers in swapping case of `iProto_le`.

!23 · created Oct 22, 2020 by Robbert Krebbers
- MERGED
- Approved
- 0
updated Oct 26, 2020
Compute service example

!22 · created Sep 21, 2020 by Jonas Kastberg
- MERGED
- 39
updated Sep 22, 2020
Mapper Example

!21 · created Jun 30, 2020 by Jonas Kastberg
- MERGED
- 0
updated Jun 30, 2020
Concur2020

!20 · created May 10, 2020 by Jonas Kastberg
- MERGED
- 0
updated May 10, 2020
subprotocol example

!19 · created May 10, 2020 by Jonas Kastberg
- MERGED
- 0
updated May 10, 2020
Sealing session type subtyping relation

!18 · created May 08, 2020 by Jonas Kastberg
- MERGED
- 0
updated May 10, 2020
Update README.md

!17 · created May 06, 2020 by Daniël Louwrink
- MERGED
- 0
updated May 06, 2020
File headers

!16 · created May 06, 2020 by Daniël Louwrink
- MERGED
- 0
updated May 06, 2020
Update typing rules

!15 · created May 05, 2020 by Daniël Louwrink
- MERGED
- 2
updated May 06, 2020
Derived rules about copying

!14 · created May 01, 2020 by Daniël Louwrink
- MERGED
- 1
updated May 01, 2020
Jonas/more polymorphism

!13 · created May 01, 2020 by Jonas Kastberg
- MERGED
- 1
updated May 01, 2020
Session Type-level Polymorphism

!12 · created Apr 30, 2020 by Jonas Kastberg
- MERGED
- 20
updated May 01, 2020
Adding kinded polymorphism in types

!11 · created Apr 24, 2020 by Jonas Kastberg
- MERGED
- 1
updated Apr 24, 2020
Plainly

!10 · created Apr 24, 2020 by Daniël Louwrink
- MERGED
- 0
updated Apr 24, 2020
Copying

!9 · created Apr 23, 2020 by Daniël Louwrink
- MERGED
- 2
updated Apr 24, 2020
Algorithmic Typing Judgement

!8 · created Apr 22, 2020 by Jonas Kastberg
- MERGED
- 3
updated Apr 24, 2020
Change recursive domain to `proto = 1 + (action * ▶ (V → proto → PROP))`.

!7 · created Apr 18, 2020 by Robbert Krebbers
- MERGED
- 1
updated Apr 21, 2020