aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-12-26Merge PR #11288: [omega] Remove non-documented "omega with *"Théo Zimmermann
2019-12-26Merge PR #11336: [ci] [gitlab] [bedrock] Build bedrock with 1 coreThéo Zimmermann
2019-12-26[omega] Remove non-documented "omega with *"Emilio Jesus Gallego Arias
2019-12-26Deprecate the "omega with *" syntax.Pierre-Marie Pédrot
2019-12-24Merge PR #11284: [meta] Add ltac2 information to META.Théo Zimmermann
2019-12-24[meta] Add ltac2 information to META.Emilio Jesus Gallego Arias
2019-12-24[ci] [gitlab] [bedrock] Build bedrock with 1 coreEmilio Jesus Gallego Arias
2019-12-24Merge PR #11316: Windows: switch OCaml to 4.08.1Emilio Jesus Gallego Arias
2019-12-23Merge PR #11293: Rename files with Class in their name to make their role cle...Hugo Herbelin
2019-12-23Merge PR #11274: [library] [cleanup] Remove code duplication.Pierre-Marie Pédrot
2019-12-23Windows: switch OCaml to 4.08.1Michael Soegtrop
2019-12-23Merge PR #11324: [refman] Mention Ltac2 in intro.Pierre-Marie Pédrot
2019-12-23Merge PR #10760: Make rapply handle all numbers of underscoresPierre-Marie Pédrot
2019-12-22Apply suggestions from code reviewThéo Zimmermann
2019-12-22Rename files with Class in their name to make their role clearer.Pierre-Marie Pédrot
2019-12-22[refman] Mention Ltac2 in intro.Théo Zimmermann
2019-12-21Merge PR #11311: Fix handling of recursive notations with custom entriesHugo Herbelin
2019-12-20Merge PR #11308: Fix complexity test-suite failure reporting on WinEnrico Tassi
2019-12-20Add test cases for #9490 and #9532Maxime Dénès
2019-12-20Fix handling of recursive notations with custom entriesMaxime Dénès
2019-12-20Merge PR #11258: Coherence checking for coercionsEnrico Tassi
2019-12-19Merge PR #11247: Use standard float and integer datatypes in Votour represent...Maxime Dénès
2019-12-20Coherence checking for coercionsKazuhiko Sakaguchi
2019-12-19Remove trailing \r in complexity measures for WindowsJason Gross
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-05 07:14:46 +0000