aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-12-19Better error reporting when res is not what is expectedJason Gross
2019-12-19Fix complexity test-suite failure reporting on WinJason Gross
2019-12-19Revert "Fix #11303: skip complexity tests on windows even if bogomips found"Jason Gross
2019-12-19Fix #11303: skip complexity tests on windows even if bogomips foundGaëtan Gilbert
2019-12-18Merge PR #6090: Implement open recursion in the pretyperEnrico Tassi
2019-12-18Merge PR #9786: Fix Equation's ci scriptPierre-Marie Pédrot
2019-12-18Merge PR #10616: Fix push_universe_context* interfaces to use a consistent ~s...Pierre-Marie Pédrot
2019-12-18Merge PR #11027: Cleanup post #10647 (expose comind universe handling)Pierre-Marie Pédrot
2019-12-18Merge PR #11203: Make the string argument of `time` print correctlyPierre-Marie Pédrot
2019-12-18Merge PR #11267: FIND_SKIP_DIRS (make): ignore all dot directoriesEnrico Tassi
2019-12-18Merge PR #11123: Fix signal polling for OCaml 4.10Maxime Dénès
2019-12-18Merge PR #11263: [micromega] fix efficiency regressionMaxime Dénès
2019-12-17Type pretyping is part of the open recursionPierre-Marie Pédrot
2019-12-17Exporting the open-recursion style API.Pierre-Marie Pédrot
2019-12-17Implementing open recursion in the pretyper.Pierre-Marie Pédrot
2019-12-17failwith -> caml_failwithGuillaume Munch-Maccagnoni
2019-12-17Fatal error in VM if SIGINT was seen but no exception occured.Guillaume Munch-Maccagnoni
2019-12-17Fix signal polling for OCaml 4.10Guillaume Munch-Maccagnoni
2019-12-17Merge PR #11299: [VM] fix volatile declarationEmilio Jesus Gallego Arias
2019-12-17[VM] fix volatile declarationGuillaume Munch-Maccagnoni
2019-12-17Merge PR #10762: Fix refine and eapply to mark shelved goals as non-resolvabl...Maxime Dénès
2019-12-17[micromega] fix efficiency regressionFrédéric Besson
2019-12-17Merge PR #11294: Advertise doc for master branch in README.Maxime Dénès
2019-12-16FIND_SKIP_DIRS (make): ignore all dot directoriesGaëtan Gilbert
2019-12-16Merge PR #11291: Being explicit on existence of a remote link in stdlib to av...Théo Zimmermann
2019-12-16Overlay for #11027Gaëtan Gilbert
2019-12-16Advertise doc for master branch in README.Théo Zimmermann
2019-12-16Don't pass (ignored) implicits to interp_mutual_inductive_constrGaëtan Gilbert
2019-12-16Remove variance info from inductive entries, infer in indtypingGaëtan Gilbert
2019-12-16reduce arguments of template_polymorphism_candidateGaëtan Gilbert
2019-12-16comInductive: remove redundant check_evars callsGaëtan Gilbert
2019-12-16Pretyping.check_evars: make initial evar map optionalGaëtan Gilbert
2019-12-16Merge PR #10695: [ci] [dune] Updates to dune builds artifacts.Gaëtan Gilbert
2019-12-16[make] Add _build_boot to find_skip_dirsEmilio Jesus Gallego Arias
2019-12-16[dune] Use a special directory for the boot buildEmilio Jesus Gallego Arias
2019-12-16[ci] [dune] Updates to dune builds artifacts.Emilio Jesus Gallego Arias
2019-12-14Make prodn look more like productionlistJim Fehrle
2019-12-14Being explicit on existence of a remote link.Hugo Herbelin
2019-12-14Fix refine and eapply to mark shelved goals as non-resolvable, alwaysMatthieu Sozeau
2019-12-14Merge PR #11251: [micromega] reformating using ocamlformatMaxime Dénès
2019-12-13[micromega] Enable ocamlformat.Emilio Jesus Gallego Arias
2019-12-13Merge PR #11259: [make] Rename Makefile to Makefile.make and INSTALL to INSTA...Théo Zimmermann
2019-12-13Merge PR #11257: [dev] [ocaml] Add ocamlformat configuration.Théo Zimmermann
2019-12-13Add ocamlformat dependency to Nix fileMaxime Dénès
2019-12-13Merge PR #11283: Split up stdlib install command (too long)Maxime Dénès
2019-12-13[build] Allow the selection of build system using an env var.Emilio Jesus Gallego Arias
2019-12-13[doc] [INSTALL] split make-based install instructions to its own file.Emilio Jesus Gallego Arias
2019-12-13[doc] [INSTALL] Port INSTALL to markdown format.Emilio Jesus Gallego Arias
2019-12-13[make] Rename Makefile to Makefile.makeEmilio Jesus Gallego Arias
2019-12-13[fmt] [dune] Add ocamlformat configuration.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 04:33:16 +0000