Skip to content
GitLab
Explore
Sign in
Iris
Actris
Repository
Branches
Overview
Active
Stale
All
multiparty_synchronous
d4b1567a
·
Added adequacy proof for ring leader election
·
Mar 27, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
multiparty_synchronous_matrix
528c968c
·
Removed redundant _pers specs, and added missing matrix file
·
Mar 27, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
multiparty_synchronous_choice
5b3b1042
·
Simplified choice specs
·
Mar 27, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
multiparty_synchronous_recv_simpl
18c41f63
·
Simplified recv_spec
·
Mar 26, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
multiparty_synchronous_simple_inv
3cfa1678
·
Simplified invariant
·
Mar 24, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
multiparty_synchronous_list
684acce4
·
Added last attempted changes of proto_alt
·
Mar 24, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
41042d04
·
Merge branch 'robbert/multiarg_tactics' into 'master'
·
Mar 24, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
multiparty_leader_election
06e771ee
·
Refactoring
·
Mar 04, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar