Merge requests · Iris / Actris

Added matrix abstraction and redefined channels using it

!37 · created Mar 25, 2024 by Jonas Kastberg multiparty_synchronous
- Merged
updated Mar 27, 2024
Simplified invariant

!36 · created Mar 25, 2024 by Jonas Kastberg multiparty_synchronous
- Merged
updated Mar 25, 2024
Multiparty synchronous list

!35 · created Mar 24, 2024 by Jonas Kastberg multiparty_synchronous
- Merged
updated Mar 24, 2024
Refactor multi-arg tactics.

!34 · created Mar 24, 2024 by Robbert Krebbers
- Merged
updated Mar 24, 2024
Remove explicit sides from Actris protocols

!32 · created Nov 20, 2023 by tlsomers
- Merged
- 6
- Approved
updated Mar 05, 2024
bump to Coq 8.18

!33 · created Feb 02, 2024 by Ralf Jung
- Merged
updated Feb 02, 2024
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
updated Apr 19, 2022
Protocol equivalence

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

!23 · created Oct 22, 2020 by Robbert Krebbers
- Merged
- Approved
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
updated Jun 30, 2020
Concur2020

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

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

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

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

!16 · created May 06, 2020 by Daniël Louwrink
- Merged
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