aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-03-13Merge PR #11803: Update Azure MacOS version 10.13 -> 10.14Emilio Jesus Gallego Arias
2020-03-13Update Azure MacOS version 10.13 -> 10.14Gaëtan Gilbert
2020-03-13Merge PR #11805: Fix coqchk for primitive integers on 32bit arch with OCaml >...Pierre-Marie Pédrot
2020-03-13Merge PR #11016: [proof] Remove duplication in the proof save path.Gaëtan Gilbert
2020-03-13Merge PR #11804: [CI] test hierarchy builder as part of elpiGaëtan Gilbert
2020-03-13Merge PR #11815: [ci] [doc] Point to actual docker instructions.Gaëtan Gilbert
2020-03-13Merge PR #11003: [vernac] Remove deprecated function.Gaëtan Gilbert
2020-03-13[lemmas] Consolidate some declaration data on Info.tEmilio Jesus Gallego Arias
2020-03-12[declare] Remove trivial wrapperEmilio Jesus Gallego Arias
2020-03-12[lemmas] Handle mutual lemmas more uniformly.Emilio Jesus Gallego Arias
2020-03-12[save proof] Declare universe_binders unconditionally for mutual assumptions.Emilio Jesus Gallego Arias
2020-03-12[proof] Remove duplication in the proof save path.Emilio Jesus Gallego Arias
2020-03-12[vernac] Minor cleanup of opens in `Vernacentries`Emilio Jesus Gallego Arias
2020-03-12Merge PR #11796: Remove parallel building of Sphinx documentation.Emilio Jesus Gallego Arias
2020-03-12[ci] [doc] Point to actual docker instructions.Emilio Jesus Gallego Arias
2020-03-12Merge PR #11798: Tests make bytecodeEnrico Tassi
2020-03-12Merge PR #11781: Minor improvements to the unreleased changelog.Clément Pit-Claudel
2020-03-12Merge PR #11780: Minor improvements to the unreleased changelog.Clément Pit-Claudel
2020-03-12Merge PR #11810: [dune] Fix ocamlopt_flags for release profileThéo Zimmermann
2020-03-12[dune] Fix ocamlopt_flags for release profileEmilio Jesus Gallego Arias
2020-03-11Merge PR #11754: [micromega] Add numerical compatibility layer.Frédéric Besson
2020-03-11Merge PR #11800: [ci] [gitlab] Move VST to `allow_failure`Gaëtan Gilbert
2020-03-11Update dev/ci/ci-basic-overlay.shEnrico Tassi
2020-03-11Fix coqchk for primitive integers on 32bit arch with OCaml >= 4.08 (#11624)Pierre Roux
2020-03-11[CI] test hierarchy builder as part of elpiEnrico Tassi
2020-03-11Merge PR #11769: Fix #9930: "change" replaces 0-param projections by constantsPierre-Marie Pédrot
2020-03-11Merge PR #11786: Fix #11730: Mangle Names vs InfixPierre-Marie Pédrot
2020-03-11Merge PR #11790: [lib] [ccalgo] Remove unused code / cleanupPierre-Marie Pédrot
2020-03-10[ci] [gitlab] Move VST to `allow_failure`Emilio Jesus Gallego Arias
2020-03-10Merge PR #11767: Fix #11738 : Funind using deprecated Coqlib API.Emilio Jesus Gallego Arias
2020-03-10test coq-makefile/findlib-package-unpacked: only try to invoke 'make' whenRalf Treinen
2020-03-10test coq-makefile/camldep: try to build a cmx only when there is an ocamloptRalf Treinen
2020-03-10Merge PR #11788: Prevent CoqIDE from hanging when invalid channels are still ...Michael Soegtrop
2020-03-10Remove parallel building of Sphinx documentation.Théo Zimmermann
2020-03-10Merge PR #11732: Update the OCaml version in `default.nix` to 4.09.0Théo Zimmermann
2020-03-10Merge PR #11764: Simplify mutual template polymorphismGaëtan Gilbert
2020-03-10Merge PR #11763: Fixing an amusing small bug in parsing decimal numbers in RPierre-Marie Pédrot
2020-03-10Fixing little bug in parsing decimal numbers in R.Hugo Herbelin
2020-03-10Disable parallel build of Sphinx documentationMaxime Dénès
2020-03-10[plugins] [cc] Remove unused exports / mli file cleanup.Emilio Jesus Gallego Arias
2020-03-10[clib] Remove module CStackEmilio Jesus Gallego Arias
2020-03-10Merge PR #11774: [exn] [nit] Remove not very useful re-raises.Pierre-Marie Pédrot
2020-03-09Merge PR #11787: Do not erase OCAMLPATH in CI targets with Dune-built CoqEmilio Jesus Gallego Arias
2020-03-09Merge PR #11720: Remove some productionlistsThéo Zimmermann
2020-03-09Remove some productionlistsJim Fehrle
2020-03-09Merge PR #11773: [doc] [dune] Update Dune build instructionsThéo Zimmermann
2020-03-09Prevent CoqIDE from hanging when invalid channels are still open.Pierre-Marie Pédrot
2020-03-09Do not erase OCAMLPATH in CI targets with Dune-built CoqMaxime Dénès
2020-03-09Fix #11730: Mangle Names vs InfixGaëtan Gilbert
2020-03-09Fix #9930: "change" replaces 0-param projections by constantsGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 02:37:46 +0000