aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-07-16Ascii.eqb and String.eqbPierre Letouzey
2018-07-16Merge PR #8023: Introduce a team of code owners for the CI system.Maxime Dénès
2018-07-16Merge PR #8066: [ltac] Remove unused functions.Pierre-Marie Pédrot
2018-07-14[ltac] Remove unused functions / constructors.Emilio Jesus Gallego Arias
2018-07-13Merge PR #8057: Fixed typos, wording and grammar errors in the Preamble of th...Théo Zimmermann
2018-07-13Merge PR #6930: Make -warn-error fail on warnings emitted by coqc on stdlib.Emilio Jesus Gallego Arias
2018-07-13Make -warn-error fail on warnings emitted by coqc on stdlib.Maxime Dénès
2018-07-12Fixed typos, wording and grammar errors in the Preamble of the Reference Manu...Zeimer
2018-07-12Merge PR #8041: [ci] Remove warning jobs in favor of default `-warn-error yes`Gaëtan Gilbert
2018-07-12Merge PR #7907: Tactic deprecation machineryPierre-Marie Pédrot
2018-07-12Merge PR #8051: Clean-up user-overlays folder.Emilio Jesus Gallego Arias
2018-07-12Clean-up user-overlays folder.Théo Zimmermann
2018-07-12[warnings] Disable warning 58 "no cmx file was found in path"Emilio Jesus Gallego Arias
2018-07-12[warnings] Disable warning 59 [assignment to a non-mutable value] to make fla...Emilio Jesus Gallego Arias
2018-07-12[ci] Remove warning jobs in favor of default `-warn-error yes`Emilio Jesus Gallego Arias
2018-07-12Merge PR #7871: [ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0Gaëtan Gilbert
2018-07-12Tactic deprecation machineryMaxime Dénès
2018-07-11[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0Emilio Jesus Gallego Arias
2018-07-11Merge PR #7998: [coqpp] Move to its own directory.Pierre-Marie Pédrot
2018-07-11Merge PR #8035: Fix #8033: Tactic assert-suceeds has a typo in its name in th...Théo Zimmermann
2018-07-11Merge PR #8021: Get rid of horrendous hack limiting the size of parsed integersPierre-Marie Pédrot
2018-07-11Merge PR #8002: make-both-single-timing-files: fix --sort-by=diffJason Gross
2018-07-11Merge PR #7898: Remove camlp4 remainsEmilio Jesus Gallego Arias
2018-07-11[coqpp] Move to its own directory.Emilio Jesus Gallego Arias
2018-07-11Merge PR #7984: Compile `coqpp` inside the `bin/` folder and make it availabl...Emilio Jesus Gallego Arias
2018-07-11Merge PR #8031: Remove auto-retry in GitLab CI now that @coqbot is handling it.Emilio Jesus Gallego Arias
2018-07-10Compile coqpp inside the bin/ folder and make it available after installation.Pierre-Marie Pédrot
2018-07-10Merge PR #8036: [travis] Remove even more jobs.Emilio Jesus Gallego Arias
2018-07-10Merge PR #8034: [travis] Try to workaround the repeated APT failures by using...Emilio Jesus Gallego Arias
2018-07-10[travis] Remove even more jobs.Théo Zimmermann
2018-07-10fixed typo for assert_suceedcharguer
2018-07-10[travis] Try to workaround the repeated APT failures by using Jason Gross's s...Théo Zimmermann
2018-07-10Remove auto-retry in GitLab CI now that @coqbot is handling it.Théo Zimmermann
2018-07-10Merge PR #7899: My recent improvements to the backport script.Maxime Dénès
2018-07-10Merge PR #7983: Turn a dead branch into an assertion failure in VM reification.Maxime Dénès
2018-07-10Merge PR #8028: Fix a few typosThéo Zimmermann
2018-07-10Merge PR #8025: Fix rst syntax for `quote ident {ident}`Théo Zimmermann
2018-07-10Add new options --no-conflict and --no-signature-check to backport script.Théo Zimmermann
2018-07-10Fix typo in doc/proof-engine/tactics.rst.whitequark
2018-07-10Fix typo in Init.Logic.whitequark
2018-07-09Merge PR #7920: Generic syntax for attributesMaxime Dénès
2018-07-09Fix rst syntax for `quote ident {ident}`Joachim Breitner
2018-07-09Merge PR #7884: Fix #5719: Uncaught exception Invalid_argument.Matthieu Sozeau
2018-07-09Introduce a team of code owners for the CI system.Théo Zimmermann
2018-07-08Merge PR #8015: Output UTF-8 explicitly in timing toolsJason Gross
2018-07-08Get rid of horrendous hack limiting the size of parsed integersMaxime Dénès
2018-07-08Merge PR #7985: Remove letouzey from CODEOWNERS since he left the Coq organiz...Maxime Dénès
2018-07-08Merge PR #8020: Modify URLs in xml-protocol.mdThéo Zimmermann
2018-07-08Modify URLs in xml-protocol.mdRin Arakaki
2018-07-08Modify URLs in xml-protocol.mdRin Arakaki
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 12:31:37 +0000