aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/user-overlays
AgeCommit message (Expand)Author
2020-10-09Merge PR #13088: [stm] move par: to comTacticcoqbot-app[bot]
2020-10-09overlay for mtac2Enrico Tassi
2020-10-09overlay for minim-prop-tosetGaëtan Gilbert
2020-10-08Add overlays for Coq-Equations, aac-tactics.Hugo Herbelin
2020-10-06Define a new type instance_flag instead of using [unit option]Gaëtan Gilbert
2020-09-23Merge PR #12977: Statically ensure that only polymophic hint terms come with ...coqbot-app[bot]
2020-09-22Add overlay for Equations.Hugo Herbelin
2020-09-13Add overlays.Pierre-Marie Pédrot
2020-09-03Add Equations overlayMaxime Dénès
2020-08-31Update update_global_env usageGaëtan Gilbert
2020-08-31Merge PR #12875: Further extensions of About wrt Arguments and renamingcoqbot-app[bot]
2020-08-28Adding overlay for coq-elpi.Hugo Herbelin
2020-08-27[numeral] [plugins] Switch from `Big_int` to ZArith.Emilio Jesus Gallego Arias
2020-08-25Merge PR #12801: Put cyclic numbers in sort Set instead of TypeAnton Trunov
2020-08-24Put cyclic numbers in sort Set instead of TypeVincent Semeria
2020-08-24Merge PR #12565: Dnets now consider axioms as being opaque for pattern recogn...coqbot
2020-08-20Merge PR #12756: Do not refresh the names of implicit arguments.Maxime Dénès
2020-08-20Adding overlays.Pierre-Marie Pédrot
2020-08-19Do not refresh the names of implicit arguments.Jasper Hugunin
2020-08-19Add overlay.Pierre-Marie Pédrot
2020-08-12Add overlays.Pierre-Marie Pédrot
2020-07-09Overlay for removing struc_tupleGaëtan Gilbert
2020-07-08[ci] Overlay for metacoq and rewriterEmilio Jesus Gallego Arias
2020-07-08[obligations] Functionalize Program stateEmilio Jesus Gallego Arias
2020-07-06Primitive persistent arraysMaxime Dénès
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:51:09 +0000