aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
AgeCommit message (Expand)Author
2019-04-24[coq_makefile] Enforce warn_error for plugins.Emilio Jesus Gallego Arias
2019-04-20overlay for elpiEnrico Tassi
2019-04-20update elpi to version 1.2Enrico Tassi
2019-04-16[ci] Overlays for coq/coq#9165Emilio Jesus Gallego Arias
2019-04-10Overlays for Global removal in pretyperMaxime Dénès
2019-04-05Merge PR #8764: Add parsing of decimal constants (e.g., 1.02e+01)Emilio Jesus Gallego Arias
2019-04-04[CI] Fix build of math-comp dependenciesMaxime Dénès
2019-04-02Merge PR #8984: Declare initial hint databases in preludePierre-Marie Pédrot
2019-04-02Add overlaysPierre Roux
2019-04-01[CI] Disable Coquelicot on WindowsVincent Laporte
2019-04-01[CI] Coquelicot: use “master” development versionVincent Laporte
2019-04-01Merge PR #9870: Minor refactoring in canonical structuresEnrico Tassi
2019-04-01Merge PR #9815: Multiple payload types in tokensPierre-Marie Pédrot
2019-04-01Merge PR #9871: CI: add mit-pdos/argosyEmilio Jesus Gallego Arias
2019-04-01Merge PR #9872: Fix timing diff script to support non-utf8Emilio Jesus Gallego Arias
2019-03-31Add overlayPierre Roux
2019-03-31Merge PR #9733: [lexer] keyword protected quotation token for arbitrary textPierre-Marie Pédrot
2019-03-31Revert "iconv bedrock2 CI output to UTF-8"Jason Gross
2019-03-31CI: add mit-pdos/argosyTej Chajed
2019-03-31overlay for ltac2Enrico Tassi
2019-03-30Error when [foo.(bar)] is used with nonprojection [bar]Gaëtan Gilbert
2019-03-30Overlay for ElpiVincent Laporte
2019-03-28Use only lowercase for unimath in CI scriptsGaëtan Gilbert
2019-03-27[proof_global] [ci] Overlays for removal of imperative state.Emilio Jesus Gallego Arias
2019-03-26Overlays for HoTT, Ltac2, and UniMathVincent Laporte
2019-03-22Merge PR #9602: [kernel] termination checking: backtrack on stuck case, fix, ...Maxime Dénès
2019-03-20Add overlays for printer API changesMaxime Dénès
2019-03-19Merge PR #9647: [default.nix] Enable parallel buildThéo Zimmermann
2019-03-19[coqide] [ci] Update GTK toolchain to lablgtk3Emilio Jesus Gallego Arias
2019-03-19CoqIDE: Adapt configuration to require lablgtk3 and gtksourceview3.Hugo Herbelin
2019-03-18[nix] Update reference to nixpkgsVincent Laporte
2019-03-18[nix] Move nixpkgs.nix into the dev/ directoryVincent Laporte
2019-03-18[nix-ci] Use “master” versions of “coq-ext-lib” and “simple-io”Vincent Laporte
2019-03-18[nix-ci] Share the reference to nixpkgs with default.nixVincent Laporte
2019-03-17iconv bedrock2 CI output to UTF-8Andres Erbsen
2019-03-16Add test-suite to Paramcoq CIPierre Roux
2019-03-14Overlays for SPropGaëtan Gilbert
2019-03-12Merge PR #9389: Implement a method for manual declaration of implicits.Emilio Jesus Gallego Arias
2019-03-12Merge PR #7819: Ho matching occ selEnrico Tassi
2019-03-11[ci] [docker] Upgrade odoc to 1.4.0Emilio Jesus Gallego Arias
2019-03-06Merge PR #9476: Constructor type information uses the expanded form.Gaëtan Gilbert
2019-03-05[CI] Add stdlib2Vincent Laporte
2019-02-28Constructor type information uses the expanded form.Pierre-Marie Pédrot
2019-02-28Overlays for coq/coq#9389 implicits API cleanupGaëtan Gilbert
2019-02-26[default.nix] Enable parallel buildVincent Laporte
2019-02-23[vernac] Unify declaration hooks.Emilio Jesus Gallego Arias
2019-02-22overlay for EquationsEnrico Tassi
2019-02-20[azure] [ci] Build on Windows using Dune.Emilio Jesus Gallego Arias
2019-02-18[ci] Resolve commit corresponding to branch when downloading tarball.Théo Zimmermann
2019-02-18Merge PR #9590: [gitlab] [docker] [ci] Remove "edge" compiler switch.Gaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:31:59 +0000