aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2020-02-22Merge PR #11651: [merge-script] Improve warning in case of batch merging.Emilio Jesus Gallego Arias
2020-02-22Merge PR #11638: Add debugger printer for type GlobEnv.tEmilio Jesus Gallego Arias
2020-02-22Making structure of type "tolerability" and related clearer.Hugo Herbelin
2020-02-21[merge-script] Improve warning in case of batch merging.Théo Zimmermann
2020-02-20Merge PR #10832: Addressing #6082 and #7766: warning when overriding notation...Emilio Jesus Gallego Arias
2020-02-20Adding a printer for GlobEnv in ocamldebug.Hugo Herbelin
2020-02-19Merge PR #11499: Clarify expectations for overlay creationEmilio Jesus Gallego Arias
2020-02-19Merge PR #11302: Add --fuzz, --real, --user to timing scriptsEmilio Jesus Gallego Arias
2020-02-19Overlays for Equations, QuickChick and Iris.Hugo Herbelin
2020-02-18Merge PR #10204: Remove `unsafe_type_of` from `Coercion`Gaëtan Gilbert
2020-02-14Merge PR #11557: Use thunks to univ instead of lazy constr for template typingPierre-Marie Pédrot
2020-02-14Merge PR #11468: [doc] fix typo & update release-process.md for opam/docker p...Théo Zimmermann
2020-02-14Overlay for Inductive.type_of_inductive doesn't take an envGaëtan Gilbert
2020-02-13Merge PR #11450: Publishing a new version on Zenodo: not a relevant step for ...Emilio Jesus Gallego Arias
2020-02-13Merge PR #11417: Move kind_of_type from the kernel to EConstr.Enrico Tassi
2020-02-13Merge PR #11521: Remove Goptions.opt_name fieldPierre-Marie Pédrot
2020-02-12Split unicoq out of ci-mtac2.sh (keeping 1 CI job)Gaëtan Gilbert
2020-02-12overlay for removal of optnameGaëtan Gilbert
2020-02-11Add paramcoq overlayMaxime Dénès
2020-02-11Remove fiat-crypto-legacy from CIMaxime Dénès
2020-02-11Merge PR #11235: Add syntax for non maximal implicit argumentsHugo Herbelin
2020-02-07restore the default URL for coquelicotYves Bertot
2020-02-05Add --fuzz, --real, --user to timing scriptsJason Gross
2020-02-04Apply suggestions from HugoSimonBoulier
2020-02-04Non maximal implicits: add overlays for several librariesSimonBoulier
2020-02-04Non maximal implicits: entry in dev/doc/changes.mdSimonBoulier
2020-02-02[ci] [fiat-crypto] Use the pinned bedrock2Jason Gross
2020-02-02Move kind_of_type from the kernel to ssr.Pierre-Marie Pédrot
2020-02-01No spaces with em-dashes.Théo Zimmermann
2020-01-31[ci] [fiat-crypto-legacy] Use new, faster targetsJason Gross
2020-01-31Clarify expectations for overlays in contributing guide and CI doc.Théo Zimmermann
2020-01-30Merge PR #11307: Remove the hacks relying on hardwired libobject tags.Maxime Dénès
2020-01-28Add reduction-effects to the CIJason Gross
2020-01-28docs: Update release-process.md about opam/docker packagingErik Martin-Dorel
2020-01-28Merge PR #11379: [ocaml] Remove Custom Backtrace module in favor of OCaml'sPierre-Marie Pédrot
2020-01-25Publishing a new version on Zenodo: not a relevant step for beta versions.Théo Zimmermann
2020-01-22Clear patches folder before each windows build runMichael Soegtrop
2020-01-22[lint] Use makefile wrapper instead of calling dune command directly.Emilio Jesus Gallego Arias
2020-01-22Fix #11421 computation of Set+2Gaëtan Gilbert
2020-01-21[xml-protocol doc] Fix link to vscoqRamkumar Ramachandra
2020-01-21[ci] Pin SF until they solve their CI issues.Emilio Jesus Gallego Arias
2020-01-19Merge PR #11406: [dune] [dbg] Add support for coqtop in dune-dbgGaëtan Gilbert
2020-01-19Merge PR #11214: Add a script to pin CI developments.Gaëtan Gilbert
2020-01-19Merge PR #11368: Turn trailing implicit warning into an errorHugo Herbelin
2020-01-19Merge PR #11398: Fix issue #11396 : Rlist hides standard list constructors co...Pierre-Marie Pédrot
2020-01-19Removing text saying XML is future of PG, adding explicitly vscoq as a userHugo Herbelin
2020-01-17Fix issue #11396 : Rlist hides standard list constructors cons and nilMichael Soegtrop
2020-01-17[dune] [dbg] Add support for coqtop in dune-dbgEmilio Jesus Gallego Arias
2020-01-15[ocaml] Remove Custom Backtrace module in favor of OCaml'sEmilio Jesus Gallego Arias
2020-01-15[Nix] Update reference to nixpkgsVincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:42:02 +0000