Select Git revision
- Branches 20
- master default protected
- step_proto
- miniactris-init
- robbert/new_contractive
- msammler/new_contractive
- mini_actris1
- multiparty
- close_spec
- later_strip
- channel_closure_spec
- jonas/liter
- jonas/pizza
- cpp21
- jonas/lty_helper_lemmas
- jonas/coexponentials
- jonas/ring_leader_election
- iris-update
- lmcs
- cpp21_deprecated
- jesper
Compare
-
-
- Open in your IDE
- Download source code
- Download this directory
Forked from
Iris / Actris
Source project has a limited visibility.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||