Merge requests · Iris / Actris

Simplified recv_spec

!38 · created Mar 26, 2024 by Jonas Kastberg multiparty_synchronous
updated Mar 26, 2024
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
bump to Coq 8.18

!33 · created Feb 02, 2024 by Ralf Jung
- Merged
updated Feb 02, 2024
Remove explicit sides from Actris protocols

!32 · created Nov 20, 2023 by tlsomers
- Merged
- 6
- Approved
updated Mar 05, 2024
Added Miniactris

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

!30 · created Mar 06, 2023 by Jonas Kastberg
updated May 22, 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
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
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