index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dune
Age
Commit message (
Expand
)
Author
2020-03-12
[dune] Fix ocamlopt_flags for release profile
Emilio Jesus Gallego Arias
2020-02-13
[build] Consolidate stdlib's .v files under a single directory.
Emilio Jesus Gallego Arias
2020-02-07
[coqdep] Don't treat stdlib specially in boot mode.
Emilio Jesus Gallego Arias
2019-09-20
[ci] Remove OCaml "trunk" CI jobs.
Emilio Jesus Gallego Arias
2019-06-21
[dune] Enable optimization options in the compilation of the VM.
Emilio Jesus Gallego Arias
2019-05-07
Integrate build and documentation of Ltac2
Maxime 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.byte
Emilio Jesus Gallego Arias
2019-03-01
Dune: 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.0
Emilio Jesus Gallego Arias
2018-10-11
Merge 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 #8657
Emilio Jesus Gallego Arias
2018-10-08
Merge 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-workspace
Emilio Jesus Gallego Arias
2018-09-05
[build] Preliminary support for building Coq with `dune`.
Emilio Jesus Gallego Arias
