aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-02-02Merge PR #11500: [ci] [fiat-crypto-legacy] Use new, faster targetsEmilio Jesus Gallego Arias
2020-02-02Merge PR #11484: Fix 11483 (Performance bug of PrimFLoat.compare with native_...Pierre-Marie Pédrot
2020-02-02Merge PR #11326: Refactoring part of #11120 about printing applied global ref...Emilio Jesus Gallego Arias
2020-02-02Merge PR #11466: checkdeps.py: add missing dep & report deps all at onceThéo Zimmermann
2020-01-31[ci] [fiat-crypto-legacy] Use new, faster targetsJason Gross
2020-01-30Constrextern.ml: Move a function earlier to be usable for pattern printing.Hugo Herbelin
2020-01-30Minor indentation change.Hugo Herbelin
2020-01-30Refactoring code for matching partial applications against notations.Hugo Herbelin
2020-01-30Refactoring code for externing applications.Hugo Herbelin
2020-01-30Printing tests for applied references combined with impl. args. and notations.Hugo Herbelin
2020-01-30Constrextern.ml: for readability, use auxiliary function for externing records.Hugo Herbelin
2020-01-30Merge PR #11377: coqtop: stop on Sys_blocked_ioEmilio Jesus Gallego Arias
2020-01-30coqtop: stop on Sys_blocked_ioGaëtan Gilbert
2020-01-30Fix 11483Pierre Roux
2020-01-30Merge PR #11464: Fix off-by-one in docs of `first num last` (fix #11463)Enrico Tassi
2020-01-30Merge PR #11418: Add some more info to the maintainer doc.Maxime Dénès
2020-01-30Merge PR #11307: Remove the hacks relying on hardwired libobject tags.Maxime Dénès
2020-01-30Merge PR #11480: Remove unused CEphemeron.iter_opt, cleanup commentsPierre-Marie Pédrot
2020-01-30Merge PR #11409: [rfc] [mltop] Removal of dynamic loading of object and `.ml`...Pierre-Marie Pédrot
2020-01-30Remove unused CEphemeron.iter_opt, cleanup commentsGaëtan Gilbert
2020-01-29[rfc] [mltop] Removal of dynamic loading of object and `.ml` filesEmilio Jesus Gallego Arias
2020-01-29Merge PR #11399: Checker: use inductive's check_template flagPierre-Marie Pédrot
2020-01-29Merge PR #11408: [mltop] Remove error handling hacks in favor of default meth...Pierre-Marie Pédrot
2020-01-29Merge PR #11455: Small API additions to kernel/univPierre-Marie Pédrot
2020-01-29Merge PR #11472: Fix #11467 ('e' was not displayed when printing decimal nota...Pierre-Marie Pédrot
2020-01-29Merge PR #11473: Remove dead code in Globnames.Gaëtan Gilbert
2020-01-29Merge PR #11469: Add reduction-effects to the CIGaëtan Gilbert
2020-01-28Add reduction-effects to the CIJason Gross
2020-01-28Fix #11467Pierre Roux
2020-01-28Merge PR #11376: Fix fold order in CArray.fold_right(2)_mapPierre-Marie Pédrot
2020-01-28Remove dead code in Globnames.Pierre-Marie Pédrot
2020-01-28Merge PR #11379: [ocaml] Remove Custom Backtrace module in favor of OCaml'sPierre-Marie Pédrot
2020-01-28Merge PR #11419: schemes: use rigid universesPierre-Marie Pédrot
2020-01-28Merge PR #11459: cleanup: Lib.freeze doesn't use its [~marshallable] argumentMaxime Dénès
2020-01-27Rephrase to reduce ambiguityPaolo G. Giarrusso
2020-01-27Fix off-by-one in docs of `first num last` (fix #11463)Paolo G. Giarrusso
2020-01-27checkdeps.py: report *all* missing dependencies at oncePaolo G. Giarrusso
2020-01-27checkdeps: check for sphinxcontrib-bibtexPaolo G. Giarrusso
2020-01-27cleanup: Lib.freeze doesn't use its [~marshallable] argumentGaëtan Gilbert
2020-01-27Checker: use inductive's check_template flagGaëtan Gilbert
2020-01-27Merge PR #11415: Remove the CoqIDE "Revert all Buffers" command.Hugo Herbelin
2020-01-27schemes: use rigid universesGaëtan Gilbert
2020-01-27Fix fold order in CArray.fold_right(2)_mapGaëtan Gilbert
2020-01-27Small API additions to kernel/univGaëtan Gilbert
2020-01-25Merge PR #11025: Add Set NativeCompute TimingMaxime Dénès
2020-01-23Merge PR #11446: Changed Gitlab CI runner tag for Windows to windows-inriaEmilio Jesus Gallego Arias
2020-01-23Changed Gitlab CI runner tag for Windows to windows-inriaMichael Soegtrop
2020-01-23Merge PR #11444: Minor tweaks to the 8.11 changelog.Pierre-Marie Pédrot
2020-01-23Merge PR #11445: Clear patches folder before each windows build runThéo Zimmermann
2020-01-23More minor tweaks to the 8.11 changelog.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 07:40:51 +0000