Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Merge requests
Open
0
Merged
19
Closed
4
All
23
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Popularity
Adapt to https://github.com/coq/coq/pull/18164
!23
· created
Oct 17, 2023
by
Pierre Roux
Merged
1
updated
Oct 18, 2023
Adapt to https://github.com/coq/coq/pull/16920
!22
· created
Apr 13, 2023
by
Pierre Roux
Merged
3
updated
Apr 13, 2023
Adapt w.r.t. coq/coq#16904 (again).
!21
· created
Dec 06, 2022
by
Pierre-Marie Pédrot
Merged
0
updated
Dec 12, 2022
Adapt w.r.t. coq/coq#16904.
!20
· created
Nov 25, 2022
by
Pierre-Marie Pédrot
Merged
0
updated
Dec 05, 2022
Adapt to https://github.com/coq/coq/pull/15754
!19
· created
Mar 01, 2022
by
Pierre Roux
flocq-3
Merged
7
updated
Mar 01, 2022
Avoid relying on `apply`'s reduction behavior.
!14
· created
Oct 01, 2020
by
Maxime Dénès
Merged
0
updated
Oct 01, 2020
Add Zceil_lb
!13
· created
May 12, 2020
by
Pierre Roux
Merged
0
updated
May 12, 2020
Various small primitive floats improvements
!12
· created
Feb 17, 2020
by
Pierre Roux
Merged
0
updated
Feb 17, 2020
Forgotten lemma
!11
· created
Feb 10, 2020
by
Pierre Roux
Merged
0
updated
Feb 10, 2020
Explicitly clear unused hypothesis
!10
· created
Jan 28, 2020
by
BESSON Frederic
Merged
0
updated
Feb 24, 2020
Taming `auto with zarith` for Coq PR #11047
!9
· created
Dec 05, 2019
by
BESSON Frederic
Merged
0
updated
Dec 09, 2019
Taming 'auto with zarith' (for Coq PR #9856)
!8
· created
Apr 26, 2019
by
BESSON Frederic
Merged
0
updated
May 14, 2019
Interface layer for primitive floats in Coq
!6
· created
Mar 31, 2019
by
Pierre Roux
Merged
3
updated
Nov 19, 2019
Compatibility with Coq PR 9725
!5
· created
Mar 22, 2019
by
BESSON Frederic
Merged
0
updated
Mar 23, 2019
Restore backward compatibility with Flocq 3.0.0
!4
· created
Jan 11, 2019
by
Pierre Roux
Merged
0
updated
Jan 11, 2019
Bsucc
!3
· created
Oct 05, 2018
by
Pierre Roux
Merged
1
updated
Feb 06, 2019
Optimal bounds for round to nearest
!2
· created
Oct 04, 2018
by
Pierre Roux
Merged
0
updated
Oct 04, 2018
Porting from `omega` to `lia`
!1
· created
Jul 25, 2018
by
Maxime Dénès
Merged
9
updated
Sep 05, 2018
Decimal printing of binary64 with 17 digits is enough
!18
· created
Nov 12, 2021
by
Pierre Roux
Merged
1
0
updated
Nov 19, 2021