aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/user-overlays
AgeCommit message (Expand)Author
2020-07-03Fix #11121: Simultaneous definition of term and notation in custom grammarMaxime Dénès
2020-07-01Overlays for UIP in SPropGaëtan Gilbert
2020-06-29Adding overlay.Pierre-Marie Pédrot
2020-06-26[ci] Add overlays for PR #12372Emilio Jesus Gallego Arias
2020-06-19Add overlays.Pierre-Marie Pédrot
2020-05-18[ci] Old overlay cleanup.Emilio Jesus Gallego Arias
2020-05-16Merge PR #8855: More search optionsEmilio Jesus Gallego Arias
2020-05-16Merge PR #11566: [misc] Better preserve backtraces in several modulesPierre-Marie Pédrot
2020-05-15Add overlays for coqhammer and coq-dpdgraph.Hugo Herbelin
2020-05-15Merge PR #11948: Hexadecimal numeralsHugo Herbelin
2020-05-15[misc] Better preserve backtraces in several modulesEmilio Jesus Gallego Arias
2020-05-14Merge PR #11922: No more local reduction functions in Reductionops.Maxime Dénès
2020-05-13Overlay elpiHugo Herbelin
2020-05-10Add overlays.Pierre-Marie Pédrot
2020-05-09Add overlaysPierre Roux
2020-05-07[ci] overlay for coq-elpiEnrico Tassi
2020-05-03Add overlays.Pierre-Marie Pédrot
2020-04-30Merge PR #12107: Remove mod_constraints field of module bodyPierre-Marie Pédrot
2020-04-21Overlay for fiat-crypto, Mtac2, MetaCoq and UniMath.Hugo Herbelin
2020-04-21Adding a Declare ML Module in empty file Ltac.v.Hugo Herbelin
2020-04-21Merge PR #11896: Use lists instead of arrays in evar instances.Maxime Dénès
2020-04-20Remove mod_constraints field of module bodyGaëtan Gilbert
2020-04-13Overlay for partial importsGaëtan Gilbert
2020-04-06Add overlays.Pierre-Marie Pédrot
2020-03-30[ci] [overlays] Adapt to declare API changes.Emilio Jesus Gallego Arias
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 08:53:10 +0000