Merge requests · BESSON Frederic / itauto

Adapt w.r.t. coq/coq#19995.

!17 · created Jan 09, 2025 by Pierre-Marie Pédrot
- Merged
- 1
updated Jan 09, 2025
Remove dead code that relies on a deprecated API.

!16 · created May 15, 2024 by Pierre-Marie Pédrot
- Merged
- 1
updated May 15, 2024
Adapt to coq/coq#18938 (EConstr.ERelevance)

!15 · created Apr 17, 2024 by GILBERT Gaëtan
- Merged
- 1
updated Apr 24, 2024
[extraction] Declare equality operator transparent.

!14 · created Mar 27, 2024 by Emilio Jesus GALLEGO ARIAS
- Merged
- 1
updated Apr 04, 2024
Adapt to coq/coq#18023 (RedFlags moving out of CClosure)

!13 · created Sep 15, 2023 by GILBERT Gaëtan
- Merged
- 1
updated Sep 19, 2023
Adapt w.r.t. coq/coq#17768.

!12 · created Jun 28, 2023 by Pierre-Marie Pédrot
- Merged
- 2
- Approved
updated Jun 29, 2023
Adapt to coq/coq#17664 (goptions use Deprecation.t option instead of bool)

!11 · created Jun 02, 2023 by GILBERT Gaëtan
- Merged
updated Jun 05, 2023
Use OCaml dot notation for projections

!10 · created Mar 05, 2023 by HERBELIN Hugo
- Merged
- 1
- 1
- Approved
updated Mar 06, 2023
Don't rely on rectypes

!9 · created Dec 31, 2022 by GILBERT Gaëtan
- Merged
- 2
updated Jan 03, 2023
Adapt to coq/coq#16938 (staged options)

!8 · created Dec 07, 2022 by GILBERT Gaëtan
- Merged
- 2
updated Dec 08, 2022
Adapt w.r.t. coq/coq#16933.

!7 · created Dec 04, 2022 by Pierre-Marie Pédrot
- Merged
- 2
updated Dec 07, 2022
Adapt w.r.t. coq/coq#15856.

!5 · created Mar 25, 2022 by Pierre-Marie Pédrot
- Merged
- 2
- 1
updated Mar 29, 2022
Adapt w.r.t. coq/coq#15393.

!4 · created Dec 21, 2021 by Pierre-Marie Pédrot
- Merged
- 3
updated Dec 30, 2021
Adapt w.r.t. coq/coq#15327.

!3 · created Dec 10, 2021 by Pierre-Marie Pédrot
- Merged
- 3
updated Dec 13, 2021
adapt to coq/coq#15220

!2 · created Dec 01, 2021 by TASSI Enrico
- Merged
- 3
updated Feb 03, 2022
Add gitignore

!1 · created Nov 15, 2021 by GILBERT Gaëtan
- Merged
- Approved
updated Nov 15, 2021