aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2018-09-25Merge PR #6343: [engine] Remove and deprecate `nf_enter` et al.Pierre-Marie Pédrot
2018-09-24Merge PR #8520: [ci] [docker] Move to OPAM 2.0Gaëtan Gilbert
2018-09-24[engine] Remove and deprecate `nf_enter` et al.Emilio Jesus Gallego Arias
2018-09-24Merge PR #8527: dev/doc/profiling.txt: per-component flame graphsPierre-Marie Pédrot
2018-09-24[ci] [docker] Move to OPAM 2.0Emilio Jesus Gallego Arias
2018-09-24Merge PR #8519: Issue #8514 windows ci failuresThéo Zimmermann
2018-09-21dev/doc/profiling.txt: per-component flame graphsAndres Erbsen
2018-09-21Use unique names in windows CI for cygwin and coq install folderMichael Soegtrop
2018-09-21Merge commit 6a8c37c02504463afaa677641d75d9977020edf6 Windows buildfile clean...Michael Soegtrop
2018-09-21[dune] [configure] Allow to set prefix using environment variable.Emilio Jesus Gallego Arias
2018-09-20Update minimum required dependency versions of Sphinx doc.Théo Zimmermann
2018-09-19Fix Windows builds: OPAM has changed its URL schema.Théo Zimmermann
2018-09-19Merge PR #8341: Reduce universe redeclarations (catching AlreadyDeclared)Matthieu Sozeau
2018-09-19Merge PR #7257: Fixing yet a source of dependency on alphabetic order in unif...Pierre-Marie Pédrot
2018-09-17Merge PR #6906: [VM] Optimize structured valuesPierre-Marie Pédrot
2018-09-17Merge PR #8053: [dune] Add apidoc target using `odoc`Gaëtan Gilbert
2018-09-17[VM] Move structured_constant to VmvaluesMaxime Dénès
2018-09-15Overlay for cross-crypto.Hugo Herbelin
2018-09-13Add entry for universe polymorphism critical bugGaëtan Gilbert
2018-09-10[dune] Add apidoc target using `odoc`Emilio Jesus Gallego Arias
2018-09-10[ci] [docker] Add more dependencies for Dune-aware jobs.Emilio Jesus Gallego Arias
2018-09-10Ltac2 overlay.Hugo Herbelin
2018-09-06[dune] [doc] Document `dune utop $lib`Emilio Jesus Gallego Arias
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
2018-09-04Merge PR #7684: [doc] Build ML API documentation artifact.Gaëtan Gilbert
2018-09-03Merge PR #8064: Numeral notation (revisited again)Hugo Herbelin
2018-09-03[doc] Build ML API documentation artifact.Emilio Jesus Gallego Arias
2018-09-03Merge PR #8376: Source basic overlay after user overlays to fix #8375 followi...Gaëtan Gilbert
2018-09-03Merge PR #7085: Turn the kernel reduction sharing flag into an argument passe...Maxime Dénès
2018-09-02Fix the order of sourcing of overlays in Windows build script as well.Théo Zimmermann
2018-09-01Source basic overlay after user overlays to fix #8375 following #8348.Théo Zimmermann
2018-09-01Add overlay for HoTTJason Gross
2018-09-01Merge PR #8348: Download tarball instead of cloning external projects.Emilio Jesus Gallego Arias
2018-08-31Merge PR #8346: Clean-up Travis folds.Gaëtan Gilbert
2018-08-31Merge PR #8351: [ci] [docker] Update base Dune version.Gaëtan Gilbert
2018-08-31Download tarball instead of cloning external projects (when $CI is set).Théo Zimmermann
2018-08-31[ci] Fix QuickChick by adding new simple-io dependency.Théo Zimmermann
2018-08-30[ci] [docker] Update Dune and Elpi versions.Emilio Jesus Gallego Arias
2018-08-28[ci-fiat-crypto] Build c-filesJason Gross
2018-08-28Clean-up Travis folds.Théo Zimmermann
2018-08-24Split up fiat-crypto CI into two targetsJason Gross
2018-08-22Fix issue #8298 OCaml 4.07 download path is incorrectMichael Soegtrop
2018-08-20Merge PR #8258: Update documentation on GitLab CI to reflect recent changes.Emilio Jesus Gallego Arias
2018-08-06Merge PR #8073: Use GitHub as the location for OCaml sources.Michael Soegtrop
2018-08-01Update documentation on GitLab CI to reflect recent changes.Théo Zimmermann
2018-07-27[ci] Remove CircleCI setup.Emilio Jesus Gallego Arias
2018-07-26Adding an overlay for Mtac2.Pierre-Marie Pédrot
2018-07-25Merge PR #7859: Remove himsg.pr_puniverses, use @{} for universe printing in ...Pierre-Marie Pédrot
2018-07-25Merge PR #734: [travis] Also run coqchk on HoTTEmilio Jesus Gallego Arias
2018-07-25Add overlay for EquationsGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:55:29 +0000