aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2020-06-23[ci] Add coq-community/coq-performance-testsJason Gross
2020-06-22Merge PR #12546: [ci] Use a tested branch of PerennialEmilio Jesus Gallego Arias
2020-06-19Add overlays.Pierre-Marie Pédrot
2020-06-17[ci] Use a tested branch of PerennialTej Chajed
2020-06-15Merge PR #12509: updated ci for unicoqThéo Zimmermann
2020-06-15updated ci for unicoqbeta
2020-06-15Merge PR #12494: [dev/ci/nix] Support for building the Gappa plugin.Vincent Laporte
2020-06-12Merge PR #12498: [dune] [dbg] Fix coqide target after CoqIDE move.Maxime Dénès
2020-06-11[dune] [dbg] Fix coqide target after CoqIDE move.Emilio Jesus Gallego Arias
2020-06-10[dev/ci/nix] Support for building the Gappa plugin.Théo Zimmermann
2020-06-10Fix the build of Elpi by calling Dune directly.Théo Zimmermann
2020-06-10Call autoreconf in interval, flocq and gappa-plugin.Théo Zimmermann
2020-06-10Fix Coquelicot build in Windows add-ons.Théo Zimmermann
2020-06-10Windows: fix build of Gappa C++ toolMichael Soegtrop
2020-06-10Windows: fix menhir and coq-menhirlib build for latest version.Michael Soegtrop
2020-06-09Update dev/doc/critical-bugsPierre Roux
2020-06-08[ci] [overlays] Pin unicoq to a stable version.Emilio Jesus Gallego Arias
2020-06-05Fix Flocq build in Windows add-ons.Théo Zimmermann
2020-06-05Merge PR #12397: Fix #12280: do not use xindy to avoid build failures on some...Emilio Jesus Gallego Arias
2020-06-04Move the cbn reduction to its own file, and simplify the RAKAM accordingly.Pierre-Marie Pédrot
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-05-31[ci] Split fiat-crypto into non-OCaml and OCamlJason Gross
2020-05-26Fix #12280: do not use xindy to avoid build failures on some machines.Théo Zimmermann
2020-05-25dev/tools/make-changelog.sh now asks about fixed bugsJason Gross
2020-05-23[dev/tools] Fix #12314: do not die silently if branch has no remote.Théo Zimmermann
2020-05-22[backport-pr] Select correct remote of the master branch.Théo Zimmermann
2020-05-21Merge PR #12364: [ci] [docker] Bump ocamlformat and duneGaëtan Gilbert
2020-05-20[merge-pr] Use a simpler method to get all pagesJason Gross
2020-05-20[merge-pr.sh] Follow next links insteadJason Gross
2020-05-20Use pagination in fetching the number of reviewsJason Gross
2020-05-20Merge PR #12359: [ci] Add mit-plv/engine-benchGaëtan Gilbert
2020-05-20Merge PR #12342: Direct URL for triggering a pipeline with SKIP_DOCKER=false.Gaëtan Gilbert
2020-05-20Bump nixpkgs to get ocamlformat 0.14.2.Théo Zimmermann
2020-05-19[ci] Add mit-plv/engine-benchJason Gross
2020-05-19[ci] [docker] Bump ocamlformat and duneEmilio Jesus Gallego Arias
2020-05-19Merge PR #12224: Support :gdef:`text<term>` syntax (adding "<term>")Clément Pit-Claudel
2020-05-19Merge PR #12353: Update release-process.mdEmilio Jesus Gallego Arias
2020-05-18Bump minimal versions of refman dependencies.Théo Zimmermann
2020-05-18[ci] Old overlay cleanup.Emilio Jesus Gallego Arias
2020-05-18Update release-process.mdEnrico Tassi
2020-05-18Update release-process.mdEnrico Tassi
2020-05-18Update to 8.13.Théo Zimmermann
2020-05-18Direct URL for triggering a pipeline with SKIP_DOCKER=false.Théo Zimmermann
2020-05-16[ci] [azure] Rework windows Azure pipelineEmilio Jesus Gallego Arias
2020-05-16Merge PR #8855: More search optionsEmilio Jesus Gallego Arias
2020-05-16Merge PR #12335: Clarify release-process.mdThéo Zimmermann
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-15Update dev/doc/release-process.mdEnrico Tassi
2020-05-15Merge PR #11979: Add a rudimentary script to generate release changelog.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:42:44 +0000