aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-12-13Fixing uses of sed which do not work on MacOS X.Hugo Herbelin
2018-12-13Merge PR #9117: Accept argument names for extra arguments with "extra scopes"Matthieu Sozeau
2018-12-13Add overlayMaxime Dénès
2018-12-13Merge PR #9210: Fix issue #9176 : Windows: change cygwin repoThéo Zimmermann
2018-12-13Merge PR #9211: Fixing incorrect mention of coercions as being part of the in...Théo Zimmermann
2018-12-13[dune] [doc] Support for building the reference manual with Dune.Emilio Jesus Gallego Arias
2018-12-13[engine] Allow debug printers to access the environment.Emilio Jesus Gallego Arias
2018-12-13Merge PR #9032: checker: check inductive types by roundtrip through the kernel.Pierre-Marie Pédrot
2018-12-13Merge PR #9167: Fixes #9166: no deprecation warning on aliases used as patter...Pierre-Marie Pédrot
2018-12-13Merge PR #9169: [rtauto] [auto] Use new proof engine.Pierre-Marie Pédrot
2018-12-13Merge PR #9217: [ci] [appveyor] Temporally disable test suite on Appveyor.Gaëtan Gilbert
2018-12-13[test] for join when error resiliency on and async-proofs offEnrico Tassi
2018-12-13[stm] join: check no error states are part of the documentEnrico Tassi
2018-12-13Merge PR #9196: Document the deprecation of hint declaration withou database ...Maxime Dénès
2018-12-13[test] for #9204Enrico Tassi
2018-12-13[stm] join the tip of the document even when fixing a proof (fix #9204)Enrico Tassi
2018-12-13Move shallow state logic to the function preparing state for workersMaxime Dénès
2018-12-13[STM] Fix logic of debug DAG printerMaxime Dénès
2018-12-13Merge PR #8096: Higher-level libobject API for objects with fixed scopesEnrico Tassi
2018-12-13[ci] [appveyor] Temporally disable test suite on Appveyor.Emilio Jesus Gallego Arias
2018-12-12Merge PR #9101: Fix 8922 againHugo Herbelin
2018-12-12Merge PR #9087: Add CI job building stdlib with `async-proofs on`Emilio Jesus Gallego Arias
2018-12-12Higher-level libobject API for objects with fixed scopesMaxime Dénès
2018-12-12Accept argument names for extra arguments with "extra scopes"Maxime Dénès
2018-12-12checker: check inductive types by roundtrip through the kernel.Gaëtan Gilbert
2018-12-12Fix issue #9176 : Windows: change cygwin repoMichael Soegtrop
2018-12-12Fixing incorrect mention of coercions as being part of the interning phase.Hugo Herbelin
2018-12-12[rtauto] [auto] Use new proof engine.Emilio Jesus Gallego Arias
2018-12-12Merge PR #8965: Add `String Notation` vernacular like `Numeral Notation`Hugo Herbelin
2018-12-12Fixes #9166 (no warning on pattern variables named like a deprecated alias).Hugo Herbelin
2018-12-12Avoid Fixpoint without struct nor body in stdlibMaxime Dénès
2018-12-12Add CI job building stdlib with `-async-proofs on`Maxime Dénès
2018-12-12User flags for coqtop/coqc in Makefile and CI build templateMaxime Dénès
2018-12-12Merge PR #8974: Fix mod_subst wrt universe polymorphismMaxime Dénès
2018-12-12Merge PR #9150: [doc] Enable Warning 50 [incorrect doc comment] and fix comme...Maxime Dénès
2018-12-12Fix issue #9188 : Enable VST and aactactics in masterMichael Soegtrop
2018-12-12Fix issue #9191 : Windows: parallel build is not enabled for some modules whi...Michael Soegtrop
2018-12-12Fix issue #9190 : Windows: overlay names changed in ci-basic-overlay.sh but h...Michael Soegtrop
2018-12-12Fix issue #9175 Windows: VST addon does not work if CompCert is also installedMichael Soegtrop
2018-12-11Add missing formatting.Théo Zimmermann
2018-12-11Merge PR #9197: Fixing imports in debug printers: gramlib depends on Loc whic...Emilio Jesus Gallego Arias
2018-12-11Merge PR #8655: Test suite: use coqc and then coqchkEnrico Tassi
2018-12-11Merge PR #9155: Fix race condition triggered by fresh universe generationEnrico Tassi
2018-12-11Fixing imports in debug printers: gramlib depends on Loc which is in lib.cma.Hugo Herbelin
2018-12-11Document the deprecation of hint declaration withou database in refman.Théo Zimmermann
2018-12-11Tests for #4509, #6202 which happen to be fixed (was a lost of evars in shelf).Hugo Herbelin
2018-12-11[ci] Clean overlay folder.Emilio Jesus Gallego Arias
2018-12-11[api] Move reduction modules to `tactics`Emilio Jesus Gallego Arias
2018-12-11Merge PR #9151: [dune] Teach coq_dune about `.glob` and `.aux` files.Théo Zimmermann
2018-12-10Fix Invalid_argument in List.iter2Jim Fehrle
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-23 16:02:39 +0000