Branches · Iris / Iron · GitLab

Snippets Groups Projects

Active branches

master default protected

77a918b7 · Bump Iris (Transfinite algebra). · 1 month ago
Download source code

zip
tar.gz
tar.bz2
tar

Stale branches

ci/robbert/iprop_structures

3dd10096 · CI. · 5 years ago

166

1
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/robbert/merge_sbi

37f90dd2 · Test with merge_sbi branch of Iris. · 5 years ago

138

1
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/jh/refine_equiv_dist

16e4c7f0 · timing for jh/refine_equiv_dist · 3 years ago

93

1
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/timing

784253ec · update to dev.2021-05-21.0.e1eaa456 · 3 years ago

94

9
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ralf/bi-persistently-forall

2a3f7161 · adjust for BiPersistentlyForall split · 3 years ago

79

1
Download source code

zip
tar.gz
tar.bz2
tar
Compare

Show more stale branches