Mentions légales du service
Skip to content
GitLab
Explore
Sign in
CoqInterval
interval
Repository
Branches
Overview
Active
Stale
All
generic
a01b728d
·
WIP
·
Oct 06, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
interval-1.0
4089399e
·
Add a header to all the source files.
·
Jun 04, 2015
Select Archive Format
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
Select Archive Format
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
primitive-floats
f5418d68
·
Remove last Admitted
·
Jun 04, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
coq-8.16
91bff55b
·
Ensure compatibility with Coq's Int63 removal.
·
Jul 05, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
interval-4.5
b161edc1
·
New release.
·
Jul 11, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
round_flt
16ac03fb
·
Add an example.
·
Oct 25, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
decimal
3eba2d4b
·
Factor code a bit and use fast exponentiation.
·
Oct 27, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
prim-transc
1a848af5
·
Optimize transcendental functions on hardware floating-point numbers.
·
Jun 28, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lang
5ead8923
·
Make compilation of Language files optional.
·
Jul 19, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci
8386691b
·
Test Coq 8.13 in CI.
·
Jul 28, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar