Skip to content
Snippets Groups Projects
Select Git revision
  • 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
20 results
Compare
Forked from Iris / Actris
139 commits behind the upstream repository.
user avatar
Bump Iris.
Robbert Krebbers authored
6a80db3a
History
user avatar 6a80db3a
History
Name Last commit Last update
..
channel
examples
logrel
utils