aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-11-09[topfmt] Add phase attribute for toplevel printing.Emilio Jesus Gallego Arias
2018-11-09Merge PR #8947: Ensure termination of `file_exists_respecting_case`Emilio Jesus Gallego Arias
2018-11-08[dune] Some tweaks to docs.Emilio Jesus Gallego Arias
2018-11-08Remove checker printersGaëtan Gilbert
2018-11-08Merge PR #8944: Revert PR #8923 (require camlp5 >=7.06)Gaëtan Gilbert
2018-11-08Ensure termination of `file_exists_respecting_case`Vincent Laporte
2018-11-08Merge PR #8098: Update/improve two aspects of the merging process.Maxime Dénès
2018-11-08[VM] Fix compilation of int31 eliminatorsVincent Laporte
2018-11-08Revert "Merge PR #8923: Bump camlp5 minimal version and use its safe API."Pierre-Marie Pédrot
2018-11-07Merge PR #8923: Bump camlp5 minimal version and use its safe API.Emilio Jesus Gallego Arias
2018-11-07Merge PR #8934: Revert "Do not allow spliting in res_pf, this is reserved for...Matthieu Sozeau
2018-11-07Merge PR #8928: Fixes #8910: typo in nameops.mlPierre-Marie Pédrot
2018-11-07[Funind plugin] Remove some dead codeVincent Laporte
2018-11-07[Firstorder plugin] Remove some dead codeVincent Laporte
2018-11-07[CC plugin] Remove dead codeVincent Laporte
2018-11-07[R syntax plugin] Remove some dead codeVincent Laporte
2018-11-07Merge PR #8901: [dune] Add "quick" and "check" targets for fast builds.Gaëtan Gilbert
2018-11-07Merge PR #8927: Optimise git cloningGaëtan Gilbert
2018-11-07Merge pull request #17 from ejgallego/fix_warnYves Bertot
2018-11-07[warnings] Fix couple of warnings related to API..Emilio Jesus Gallego Arias
2018-11-07Port to safe camlp5 API.Pierre-Marie Pédrot
2018-11-07Bump up the minimal camlp5 version to 7.06.Pierre-Marie Pédrot
2018-11-07Revert "Do not allow spliting in res_pf, this is reserved for pretyping"Enrico Tassi
2018-11-07Merge PR #8918: Fix overlays on Windows CIMichael Soegtrop
2018-11-07[doc] nodes in ssr are monospaceEnrico Tassi
2018-11-07multi line comments don't have a titleEnrico Tassi
2018-11-07[doc] adapt comments in plugins/ssr/*.v to coqdoc styleEnrico Tassi
2018-11-07[doc] also scan plugins/ to build the lirbary indexEnrico Tassi
2018-11-07Merge PR #8868: [Docker] Update OCaml (4.07.1) and camlp5 (7.07-almost)Emilio Jesus Gallego Arias
2018-11-07Merge PR #8773: [checker] Refactor by sharing code with the kernelPierre-Marie Pédrot
2018-11-07Merge PR #8926: Move features that were not backported to 8.9 to the 8.10 sec...Guillaume Melquiond
2018-11-07Merge pull request #16 from ejgallego/dunerizeYves Bertot
2018-11-07Merge pull request #15 from ejgallego/add_travisYves Bertot
2018-11-07[dune] Add support for building with Dune for the ML part.Emilio Jesus Gallego Arias
2018-11-06Fixes #8910 (typo in nameops.ml).Hugo Herbelin
2018-11-06Optimise git cloningKamil Trzciński
2018-11-06Move features that were not backported to 8.9 to the 8.10 section of CHANGES.md.Théo Zimmermann
2018-11-06Merge PR #8889: Program hook gives back an obligation substitiutionPierre-Marie Pédrot
2018-11-06[dune] Add "quick" and "check" targets for fast builds.Emilio Jesus Gallego Arias
2018-11-06Merge pull request #14 from ppedrot/coqpp-portEmilio Jesús Gallego Arias
2018-11-06Update/improve two aspects of the merging process.Théo Zimmermann
2018-11-06[Docker] Update COMPILER_EDGE: 4.07.0 → 4.07.1Vincent Laporte
2018-11-06Fix overlays on Windows CIGaëtan Gilbert
2018-11-06Bring back context printing in checkerMaxime Dénès
2018-11-06Checker now disables VM and nativeMaxime Dénès
2018-11-06Remove checker files from .gitignoreMaxime Dénès
2018-11-06[checker] Check univ constraints induced by module subtypingMaxime Dénès
2018-11-06[checker] Fix "error related to inductive types"Maxime Dénès
2018-11-06[checker] Refactor by sharing code with the kernelMaxime Dénès
2018-11-06Move debug term printer to kernelMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 13:59:30 +0000