Branches · Iris / Actris · GitLab

Snippets Groups Projects

Active branches

mixed_choice

d15f9f6a · More clean up · 1 week ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
master default protected

c9249305 · Bump Iris (Transfinite algebra). · 3 weeks ago
Download source code

zip
tar.gz
tar.bz2
tar
robbert/fold_iProto

72ba3b27 · Change positions of unfold/fold to make things consistent with iProp. · 1 month ago
!40
Download source code

zip
tar.gz
tar.bz2
tar
Compare
multiparty_synchronous

90edf737 · Renamed multi_actris into multris · 2 months ago
!39
Download source code

zip
tar.gz
tar.bz2
tar
Compare

Stale branches

popl20

9a44a2d9 · Updated dependency commit hashes · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
jonas/log_atom_2

38010bcf · Bumped model update · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
robbert/iProto_le_affine

d0260674 · WIP. · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
concur2020

2324f271 · Misc tweaking. · 4 years ago
!20
Download source code

zip
tar.gz
tar.bz2
tar
Compare
jesper

9a579d2d · added branch existance check · 4 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare

Show more stale branches