- 13 Jul, 2022 1 commit
-
-
Guillaume Melquiond authored
-
- 28 Apr, 2022 1 commit
-
-
Guillaume Melquiond authored
-
- 27 Apr, 2022 2 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 26 Apr, 2022 1 commit
-
-
Guillaume Melquiond authored
-
- 15 Apr, 2022 7 commits
-
-
Guillaume Melquiond authored
-
-
-
-
-
-
-
- 14 Apr, 2022 1 commit
-
-
Guillaume Melquiond authored
-
- 01 Mar, 2022 2 commits
-
-
Guillaume Melquiond authored
Adapt to https://github.com/coq/coq/pull/15754 See merge request !19
-
-
- 17 Feb, 2022 2 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 16 Feb, 2022 6 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 14 Feb, 2022 1 commit
-
-
Guillaume Melquiond authored
-
- 17 Jan, 2022 2 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 19 Nov, 2021 1 commit
-
-
Guillaume Melquiond authored
Decimal printing of binary64 with 17 digits is enough See merge request !18
-
- 13 Nov, 2021 1 commit
-
-
Pierre Roux authored
-
- 09 Nov, 2021 1 commit
-
-
- 05 Nov, 2021 3 commits
-
-
Guillaume Melquiond authored
-
-
Guillaume Melquiond authored
-
- 03 Nov, 2021 5 commits
-
-
Guillaume Melquiond authored
This commit also cleans real literals.
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 27 Sep, 2021 1 commit
-
-
- 01 Sep, 2021 1 commit
-
-
Pierre Roux authored
-
- 28 Jun, 2021 1 commit
-
-
Guillaume Melquiond authored
-