Skip to content
GitLab
Explore
Sign in
Iris
Actris
Repository
Branches
Overview
Active
Stale
All
multiparty_synchronous
15a1c801
·
Misc changes
·
Apr 05, 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
step_proto
b5dfc4c0
·
Nits
·
May 22, 2023
!30
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
miniactris-init
99173546
·
Made README a bit more specific
·
Mar 20, 2023
!31
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/new_contractive
cf7f147f
·
Fixes for
iris!886
.
·
Mar 07, 2023
!29
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
msammler/new_contractive
719f50f6
·
fixes for
iris!886
·
Feb 06, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mini_actris1
54624a00
·
More later.
·
Nov 21, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
multiparty
61f4541c
·
Added a new file with simulation variant with progress properties
·
Jun 24, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
close_spec
1dd20dfc
·
Fixed wrong argument scope and clean up
·
Apr 20, 2022
!27
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
later_strip
755d82e8
·
Rebase and nits
·
Apr 19, 2022
!26
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
channel_closure_spec
79e7bbe9
·
Included new channel closure file..
·
Jan 20, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jonas/liter
eaf733ce
·
Nits
·
Jun 16, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jonas/pizza
5ee73302
·
Better spec for lock example, and polish
·
Mar 25, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cpp21
be66a74d
·
More typos.
·
Dec 14, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next