Branches · AVA / FloVer · GitLab

Snippets Groups Projects

"git-rts@gitlab.mpi-sws.org:svancollem/iris.git" did not exist on "4d3e88667ccecfd0e1a06d0309aae5e37fccb7b5"

Stale branches

Affine_Magnus protected

efda65ef · Add formalization of affine arithmetic done by Magnus · 7 years ago

617

1
Download source code

zip
tar.gz
tar.bz2
tar
Compare
rewriting_HOL4

8414e5ff · Extract general RoundoffErrorValidator · 6 years ago

548

0
Download source code

zip
tar.gz
tar.bz2
tar
Compare
FMCAD2018

b3666666 · Update FMCAD data with latest runtime numbers · 6 years ago

356

10
Download source code

zip
tar.gz
tar.bz2
tar
Compare
SMT_Subdiv

1974c006 · Merge branch 'master' into 'SMT_Subdiv' · 5 years ago

57

27
Download source code

zip
tar.gz
tar.bz2
tar
Compare
CI_test

23cf55c1 · Fix regression test for new infrastructure · 5 years ago

43

0
Download source code

zip
tar.gz
tar.bz2
tar
Compare

Show more stale branches