aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-03-18Hack a non-superglobal mode for hints.Pierre-Marie Pédrot
2020-03-18Merge PR #11746: Register commonly used names from the Reals library for plug...Théo Zimmermann
2020-03-17Merge PR #11699: Comment difference between the 2 hashes on constrPierre-Marie Pédrot
2020-03-17Merge PR #11825: [ci] [docker] Update components in Docker imageGaëtan Gilbert
2020-03-17Merge PR #11811: Remove a positivity check when Positivity Checking is offGaëtan Gilbert
2020-03-17Add test for PR11811 (disable a positivity check)SimonBoulier
2020-03-16[ci] Cleanup old overlays.Emilio Jesus Gallego Arias
2020-03-16[ci] [docker] Update components in Docker imageEmilio Jesus Gallego Arias
2020-03-16Merge PR #11813: Fixed link to "match" syntax figures.Théo Zimmermann
2020-03-16Merge PR #11831: [ci] Re-enable VST testingGaëtan Gilbert
2020-03-15[ci] Re-enable VST testingEmilio Jesus Gallego Arias
2020-03-14Merge PR #10858: Implementing postponed constraints in TC resolutionGaëtan Gilbert
2020-03-13Merge PR #11797: Dune build rules for doc_grammar and fullGrammar.Emilio Jesus Gallego Arias
2020-03-13Merge PR #11688: When parsing a negative integer, ensure that the minus sign ...Emilio Jesus Gallego Arias
2020-03-13Merge PR #11803: Update Azure MacOS version 10.13 -> 10.14Emilio Jesus Gallego Arias
2020-03-13Implementing postponed constraints in TC resolutionMatthieu Sozeau
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-12Update doc/sphinx/addendum/extended-pattern-matching.rstlarsr
2020-03-12Fixed link to "match" syntax. larsr
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-12Dune build rules for doc_grammar and fullGrammar.Théo Zimmermann
2020-03-12Add changelog entrySimonBoulier
2020-03-12Remove a positivity check when Check Positivity is offSimonBoulier
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-11Comment difference between the 2 hashes on constrGaëtan Gilbert
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-29 22:52:45 +0000