aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2020-03-26[ci] Add bbvJason Gross
2020-03-24Merge PR #11703: Making of NumTok an API for numeralPierre-Marie Pédrot
2020-03-23[ci] add metacoqMatthieu Sozeau
2020-03-22Overlay for QuickChickHugo Herbelin
2020-03-22Centralizing all kinds of numeral string management in numTok.ml.Hugo Herbelin
2020-03-22Merge PR #11731: [proof] Miscellaneous refactoringsGaëtan Gilbert
2020-03-19[ocamformat] Update to 0.13.0Emilio Jesus Gallego Arias
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-19[refman] Remove workaround for sphinx-doc/sphinx#4983Clément Pit-Claudel
2020-03-19Merge PR #11860: [ci] [docker] Update to 4.09.1Gaëtan Gilbert
2020-03-19Merge PR #11795: Print implicit arguments in types of referencesHugo Herbelin
2020-03-19Merge PR #11735: Deprecating catchable_exceptionPierre-Marie Pédrot
2020-03-18[ci] [docker] Update to 4.09.1Emilio Jesus Gallego Arias
2020-03-18Merge PR #11559: Remove year in headers.Hugo Herbelin
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-18Adding overlays.Pierre-Marie Pédrot
2020-03-18Also show unchanged headers.Théo Zimmermann
2020-03-18Remove dates in headers.Théo Zimmermann
2020-03-16[ci] Cleanup old overlays.Emilio Jesus Gallego Arias
2020-03-16[ci] [docker] Update components in Docker imageEmilio Jesus Gallego Arias
2020-03-13Update Azure MacOS version 10.13 -> 10.14Gaëtan Gilbert
2020-03-13Merge PR #11804: [CI] test hierarchy builder as part of elpiGaëtan Gilbert
2020-03-13Deprecation of catchable_exception, to be replaced by noncritical in try-with.Hugo Herbelin
2020-03-12[ci] [doc] Point to actual docker instructions.Emilio Jesus Gallego Arias
2020-03-12Print implicit arguments in types of referencesSimonBoulier
2020-03-11Update dev/ci/ci-basic-overlay.shEnrico Tassi
2020-03-11[CI] test hierarchy builder as part of elpiEnrico Tassi
2020-03-10Merge PR #11732: Update the OCaml version in `default.nix` to 4.09.0Théo Zimmermann
2020-03-10Merge PR #11764: Simplify mutual template polymorphismGaëtan Gilbert
2020-03-09Do not erase OCAMLPATH in CI targets with Dune-built CoqMaxime Dénès
2020-03-09Add CI overlays.Pierre-Marie Pédrot
2020-03-06Merge PR #11717: [dune] [ocamldebug] Improve ocamldebug rulesGaëtan Gilbert
2020-03-04Add overlay for equations.Hugo Herbelin
2020-03-03Update the OCaml version in `default.nix` to 4.09.0Maxime Dénès
2020-03-02Merge PR #11728: [dune] [doc] Be more explicit about coqtop dependenciesThéo Zimmermann
2020-03-01[ci] [docker] overlay for elpi 1.10Enrico Tassi
2020-03-01[ci] [docker] bump elpi to 1.10.2Enrico Tassi
2020-03-01[ci] bump dune to 2.0.1 due to upstream problemsEnrico Tassi
2020-03-01[dune] [doc] Be more explicit coqtop dependenciesEmilio Jesus Gallego Arias
2020-02-29[dune] [ocamldebug] Improve ocamldebug rulesEmilio Jesus Gallego Arias
2020-02-25Merge PR #11669: Remove hard to read blue color in merge-prEmilio Jesus Gallego Arias
2020-02-25Merge PR #11674: [ci] Fix Coquelicot buildGaëtan Gilbert
2020-02-24[ci] Fix Coquelicot buildEmilio Jesus Gallego Arias
2020-02-24[exn] Forbid raising in exn printers, make them return Pp.t optionEmilio Jesus Gallego Arias
2020-02-24Remove hard to read blue color in merge-prGaëtan Gilbert
2020-02-22Merge PR #11651: [merge-script] Improve warning in case of batch merging.Emilio Jesus Gallego Arias
2020-02-22Merge PR #11638: Add debugger printer for type GlobEnv.tEmilio Jesus Gallego Arias
2020-02-22Making structure of type "tolerability" and related clearer.Hugo Herbelin
2020-02-21[merge-script] Improve warning in case of batch merging.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:31:00 +0000