aboutsummaryrefslogtreecommitdiff
path: root/dune
AgeCommit message (Expand)Author
2019-05-07Integrate build and documentation of Ltac2Maxime Dénès
2019-03-27[proof_global] [ci] Overlays for removal of imperative state.Emilio Jesus Gallego Arias
2019-03-12[dune] Add shim for coqtop.byteEmilio Jesus Gallego Arias
2019-03-01Dune: remove -short-paths flag.Gaëtan Gilbert
2019-02-04[dune] Fix Dune build in Windows.Emilio Jesus Gallego Arias
2019-01-31[ci] [ocaml] Fix OCaml trunk builds.Emilio Jesus Gallego Arias
2018-12-14[dune] [gitlab] Test OCaml trunk.Emilio Jesus Gallego Arias
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-10-23[dune] [opam] Move to OPAM 2.0Emilio Jesus Gallego Arias
2018-10-11Merge PR #8681: [dune] Fix and improve flags:Théo Zimmermann
2018-10-11[dune] Add optimizing flags to release profile.Emilio Jesus Gallego Arias
2018-10-11[dune] [test-suite] Support for running the test suite with Dune.Emilio Jesus Gallego Arias
2018-10-09[dune] Provide an optimized build profile with inlining reports.Emilio Jesus Gallego Arias
2018-10-08[dune] Fix bad interaction among PR #8627 and #8657Emilio Jesus Gallego Arias
2018-10-08Merge PR #8657: [dune] Refactor files following advice from upstream.Théo Zimmermann
2018-10-05[dune] Refactor files following advice from upstream.Emilio Jesus Gallego Arias
2018-10-03[dune] [opam] Install `revision` file when building with Dune.Emilio Jesus Gallego Arias
2018-09-06[dune] [ci] Fix and test release profile + use 1.1 dune-workspaceEmilio Jesus Gallego Arias
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:01:55 +0000