Branches · CoqInterval / interval · GitLab

Si vous êtes un personnel Inria et que vous souhaitez participer aux tests de notre future plateforme Gitlab basée sur la version ultimate avec gitlab LFS activé merci de contacter Didier Chassignol.

Active branches

hierarchy-builder

5597db88 · Adapt to Hierarchy Builder · Aug 11, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
interval-4.5

b161edc1 · New release. · Jul 11, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
coq-8.16

91bff55b · Ensure compatibility with Coq's Int63 removal. · Jul 05, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
master default protected

1d5ddb99 · Update documentation links to Flocq. · Jul 01, 2022

Download source code

zip tar.gz tar.bz2 tar

Stale branches

generic

a01b728d · WIP · Oct 06, 2013

Compare

Download source code

zip tar.gz tar.bz2 tar
interval-1.0

4089399e · Add a header to all the source files. · Jun 04, 2015

Compare

Download source code

zip tar.gz tar.bz2 tar
weak-cmp

29e0462a · Replace F'.le' by F'.le in sin_cos_reduce. · Aug 23, 2019

Compare

Download source code

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

6cb50a53 · [benchs] Comment-out Primitive_ops for Coq < 8.11 · Mar 04, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
primitive-floats

f5418d68 · Remove last Admitted · Jun 04, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar

Show more stale branches