summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-04-04Mark this commit as a released version.refs/pull/12017/headPierre-Marie Pédrot
2020-04-04Bump the version number to 8.11.1.Pierre-Marie Pédrot
2020-04-04Merge PR #12013: Tweak #11306 for the 8.11 branch.Pierre-Marie Pédrot
2020-04-03Tweak #11306 for the 8.11 branch.refs/pull/12013/headPierre-Marie Pédrot
2020-04-03Backport PR #12009: Adding changelog for 8.11.1.Pierre-Marie Pédrot
2020-04-03Adding changelog for 8.11.1.Pierre-Marie Pédrot
2020-04-03Merge PR #11995: Enable Async proofs using `Set Default Proof` annotationsPierre-Marie Pédrot
2020-04-02Backport PR #11945: Fix #11941: anomaly in equality schemesPierre-Marie Pédrot
2020-04-02Fix #11941: anomaly in equality schemesGaëtan Gilbert
2020-04-02Backport PR #11306: Centralize the flag handling native compilation.Pierre-Marie Pédrot
2020-04-02Centralize the flag handling native compilation.Pierre-Marie Pédrot
2020-04-01[stm] Use Default Proof Using only with Proofrefs/pull/11995/headTej Chajed
2020-04-01Recognize Default Proof Using in STMTej Chajed
2020-04-01Merge PR #11975: Print a warning when parsing non floating-point values.Pierre-Marie Pédrot
2020-03-31Backport PR #11131: [ci] [gitlab] Add test-suite test for OCaml 4.10 and 4.11Pierre-Marie Pédrot
2020-03-31[ci] [gitlab] Bump to edge to OCaml 4.10, add test-suite for OCaml 4.11Emilio Jesus Gallego Arias
2020-03-31Print a warning when parsing non floating-point values.refs/pull/11975/headPierre Roux
2020-03-31[configure] Disable warning 67 which seems 100% bogusEmilio Jesus Gallego Arias
2020-03-31Backport PR #11950: Document change of behavior of Fail in 8.11.Pierre-Marie Pédrot
2020-03-31Document change of behavior of Fail in 8.11.Théo Zimmermann
2020-03-31Merge PR #11931: Fix typo in new doc on `Program Mode`Pierre-Marie Pédrot
2020-03-28Backport PR #11809: [configure] Remove `-std=c99` from default C flagsPierre-Marie Pédrot
2020-03-28[configure] Remove `-std=c99` from default C flagsEmilio Jesus Gallego Arias
2020-03-27Backport PR #11751: Fix #11749: don't warn for hidden files.Pierre-Marie Pédrot
2020-03-27Fix #11749: don't warn for hidden files.Théo Zimmermann
2020-03-27Backport PR #11102: Use the Alloc_small macro from the OCaml runtime rather t...Pierre-Marie Pédrot
2020-03-27Do not rely on the implicit declaration of caml_minor_collection.Guillaume Melquiond
2020-03-27Use the Alloc_small macro from the OCaml runtime rather than our own.Guillaume Melquiond
2020-03-26Fix typo in new doc on `Program Mode`refs/pull/11931/headPaolo G. Giarrusso
2020-03-26Backport PR #11578: [exn] Keep information from multiple extra exn handlersPierre-Marie Pédrot
2020-03-26[exn] Keep information from multiple extra exn handlersEmilio Jesus Gallego Arias
2020-03-26Backport PR #11918: Fix #11845: anomaly when including partially applied functorPierre-Marie Pédrot
2020-03-26Fix #11845: anomaly when including partially applied functorGaëtan Gilbert
2020-03-26Backport PR #11919: Remove outdated mention of -allow-sprop.Pierre-Marie Pédrot
2020-03-26Remove outdated mention of -allow-sprop.Théo Zimmermann
2020-03-26Backport PR #11847: Properly thread let-bindings in Funind principle construc...Pierre-Marie Pédrot
2020-03-26Properly thread let-bindings in Funind principle construction.Pierre-Marie Pédrot
2020-03-26Backport PR #11892: [refman] Fix caching, which was broken by the addition of...Pierre-Marie Pédrot
2020-03-26[refman] Fix caching, which was broken by the addition of coq_configClément Pit-Claudel
2020-03-26Backport PR #11898: Switch opam file to makePierre-Marie Pédrot
2020-03-26Add a specific opam file to build te docker imagePierre Roux
2020-03-22Merge PR #11872: [v8.11] Split documentation of coqdoc in a separate file.Pierre-Marie Pédrot
2020-03-21Extension sphinxcontrib-bibtex is not safe for parallel building.refs/pull/11872/headThéo Zimmermann
2020-03-21Split documentation of coqdoc in a separate file.Théo Zimmermann
2020-03-20Backport PR #11860: [ci] [docker] Update to 4.09.1Pierre-Marie Pédrot
2020-03-20[ci] [docker] Update to 4.09.1Emilio Jesus Gallego Arias
2020-03-20Backport PR #11810: [dune] Fix ocamlopt_flags for release profilePierre-Marie Pédrot
2020-03-20[dune] Fix ocamlopt_flags for release profileEmilio Jesus Gallego Arias
2020-03-20Backport PR #11781: Minor improvements to the unreleased changelog.Pierre-Marie Pédrot
2020-03-20Minor improvements to the unreleased changelog.Théo Zimmermann
generated by cgit v0.10.2-6-g49f6 at 2024-06-02 22:22:59 (GMT)