aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/user-overlays
AgeCommit message (Expand)Author
2020-03-22Overlay for QuickChickHugo Herbelin
2020-03-19[obligations] Step towards more structured handling of remaining obligations.Emilio Jesus Gallego Arias
2020-03-19[ci] Overlays for declare interface refactoring.Emilio Jesus Gallego Arias
2020-03-18Adding overlays.Pierre-Marie Pédrot
2020-03-16[ci] Cleanup old overlays.Emilio Jesus Gallego Arias
2020-03-09Add CI overlays.Pierre-Marie Pédrot
2020-03-04Add overlay for equations.Hugo Herbelin
2020-03-01[ci] [docker] overlay for elpi 1.10Enrico Tassi
2020-02-19Overlays for Equations, QuickChick and Iris.Hugo Herbelin
2020-02-18Merge PR #10204: Remove `unsafe_type_of` from `Coercion`Gaëtan Gilbert
2020-02-14Overlay for Inductive.type_of_inductive doesn't take an envGaëtan Gilbert
2020-02-13Merge PR #11417: Move kind_of_type from the kernel to EConstr.Enrico Tassi
2020-02-12overlay for removal of optnameGaëtan Gilbert
2020-02-11Add paramcoq overlayMaxime Dénès
2020-02-04Apply suggestions from HugoSimonBoulier
2020-02-04Non maximal implicits: add overlays for several librariesSimonBoulier
2020-02-02Move kind_of_type from the kernel to ssr.Pierre-Marie Pédrot
2020-01-07Trailing implicit error: overlaysSimonBoulier
2019-12-26Remove uses of Global in Evd API.Pierre-Marie Pédrot
2019-12-22Rename files with Class in their name to make their role clearer.Pierre-Marie Pédrot
2019-12-16Overlay for #11027Gaëtan Gilbert
2019-12-06Adding overlay for Quickchick PR#145.Hugo Herbelin
2019-12-04Overlay for ELPIHugo Herbelin
2019-11-05overlayEnrico Tassi
2019-11-01Add overlaysPierre Roux
2019-10-29[declare] Use helper function for `fix_exn` instead of relying on internals.Emilio Jesus Gallego Arias
2019-10-25[funind] Remove duplicate save function.Emilio Jesus Gallego Arias
2019-10-04overlays for sprop default onGaëtan Gilbert
2019-09-18[declaremods] Remove abstraction layer over module interpretation.Emilio Jesus Gallego Arias
2019-09-17Merge PR #10738: update elpi to 1.7Gaëtan Gilbert
2019-09-17Overlay for VSTMaxime Dénès
2019-09-16Add SF overlayMaxime Dénès
2019-09-07overlay for elpiEnrico Tassi
2019-08-29Merge PR #10674: [declare] Move proof_entry type to declare, put interactive ...Pierre-Marie Pédrot
2019-08-27[declare] Move proof_entry type to declare, put interactive proof data on top...Emilio Jesus Gallego Arias
2019-08-27[cleanup] Replace uses of UserError constructor, clarify exception names.Emilio Jesus Gallego Arias
2019-08-19[api] Move handling of variable implicit data to impargsEmilio Jesus Gallego Arias
2019-08-09Overlay for #10642Gaëtan Gilbert
2019-07-18Adding overlays.Pierre-Marie Pédrot
2019-07-02[ci] Overlays for #10419Emilio Jesus Gallego Arias
2019-06-28Merge PR #10434: [declare] Fine tuning of Hook type.Pierre-Marie Pédrot
2019-06-26[ci] Overlays for #10337Emilio Jesus Gallego Arias
2019-06-26[ci] Overlays for #10434Emilio Jesus Gallego Arias
2019-06-24[ci] Overlays for #10316Emilio Jesus Gallego Arias
2019-06-24Add overlays.Pierre-Marie Pédrot
2019-06-21[ci] overlay for coq-elpiEnrico Tassi
2019-06-20Merge PR #9645: [proof] Remove terminator type, unifying regular and obligati...Pierre-Marie Pédrot
2019-06-17Adding overlays.Pierre-Marie Pédrot
2019-06-17[ci] Overlays for #9645Emilio Jesus Gallego Arias
2019-06-16Overlays for Mtac2 and Equations.Hugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 03:27:29 +0000