Merge requests · Iris / Actris

Added Miniactris

!31 · created Mar 20, 2023 by Jonas Kastberg
- 0
updated Mar 20, 2023
WIP: step_proto abstraction

!30 · created Mar 06, 2023 by Jonas Kastberg
- 0
updated Mar 06, 2023
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
Fixes for iris!886

!28 · created Feb 06, 2023 by Michael Sammler
- CLOSED
- 1
updated Mar 07, 2023
Added close definition and spec

!27 · created Apr 19, 2022 by Jonas Kastberg
- 3
updated Apr 20, 2022
Removed `skipN` instruction in `send` implementation

!26 · created Mar 22, 2022 by Jonas Kastberg
- MERGED
- 0
updated Apr 19, 2022
WIP: Interpretation of πDILL

!25 · created May 10, 2021 by Dan Frumin
- 1
updated Jul 18, 2021
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