Branches · CoqInterval / interval · GitLab

Mentions légales du service

Snippets Groups Projects

Active branches

master default protected

5c5e9dcd · New release. · 1 month ago
Download source code

zip
tar.gz
tar.bz2
tar
test

5c5e9dcd · New release. · 1 month ago

0

0
Download source code

zip
tar.gz
tar.bz2
tar
Compare

Stale branches

generic

a01b728d · WIP · 11 years ago

999+

2
Download source code

zip
tar.gz
tar.bz2
tar
Compare
interval-1.0

4089399e · Add a header to all the source files. · 10 years ago

999+

4
Download source code

zip
tar.gz
tar.bz2
tar
Compare
weak-cmp

29e0462a · Replace F'.le' by F'.le in sin_cos_reduce. · 5 years ago

433

6
Download source code

zip
tar.gz
tar.bz2
tar
Compare
no-primitive-floats

6cb50a53 · [benchs] Comment-out Primitive_ops for Coq < 8.11 · 5 years ago

383

72
Download source code

zip
tar.gz
tar.bz2
tar
Compare
primitive-floats

f5418d68 · Remove last Admitted · 5 years ago

310

98
Download source code

zip
tar.gz
tar.bz2
tar
Compare

Show more stale branches