Commit Graph

Select branches

Hide Pull Requests

master

trunk

Mono Color

• 082bdf545d
  Flambda: Remove redundant recursive import for packs (#10022) master trunk Vincent Laviron 2020-11-26 14:14:35 +0100
• fcaab503fc Bow to check-typo Xavier Leroy 2020-11-26 09:48:29 +0100
• 10c91b3a8d Skip the "sieve.ml" test in "cleanup at exit" runtime mode Sébastien Hinderer 2020-11-25 19:26:02 +0100
• c550639317 Terminate all threads explicitly Xavier Leroy 2020-11-25 16:06:59 +0100
• 286a9397b8 Inria CI fix Sébastien Hinderer 2020-11-25 10:50:11 +0100
• a93a564301 Inria CI: give the other-configs job a more realistic timeout Sébastien Hinderer 2020-11-24 17:53:55 +0100
• c4e77cd91d Inria CI: second tentative fix for the other-configs pipeline Sébastien Hinderer 2020-11-24 17:45:35 +0100
• 250e6fbdc7 Typo fix Sébastien Hinderer 2020-11-24 17:11:43 +0100
• 8ae80218a9 Inria CI: tentative fix for the other-configs job Sébastien Hinderer 2020-11-24 17:05:21 +0100
• 2a4a951485 Changes: reproducibility fix backported to 4.12 octachron 2020-11-24 16:26:11 +0100
• 3d6dc0fa64
  Merge pull request #9955 from damiendoligez/fix-7813 Florian Angeletti 2020-11-24 16:20:53 +0100
• f6279a64b5
  Switch the compiler CI builds from Travis to GitHub actions (#10036) David Allsopp 2020-11-24 13:16:31 +0000
• 2109946e0f
  Ensure atomicity in the Atomic module is respected by flambda (#10035) Guillaume Munch-Maccagnoni 2020-11-24 11:48:33 +0100
• 328ebc1ea3
  Merge pull request #10025 from stedolan/memprof-custom Jacques-Henri Jourdan 2020-11-24 10:06:52 +0100
• e6acde7586
  Merge pull request #10010 from gasche/extension_constructor_scopes Gabriel Scherer 2020-11-24 07:17:59 +0100
• f794d799ad typing: fix the scope of extension constructor declarations Gabriel Scherer 2020-11-08 17:04:42 +0100
• d0ddf25f3d
  Merge pull request #9991 from lpw25/reproducible-no-alias-deps Leo White 2020-11-22 18:22:48 +0000
• 1a7e3df327
  Merge pull request #9998 from lthls/afl-lazy Gabriel Scherer 2020-11-22 15:25:31 +0100
• 592e9eb2ad missing Changes entry for 10007 Gabriel Scherer 2020-11-22 15:24:26 +0100
• fe026c301d
  Merge pull request #10007 from AbstractMachinesLab/return-signature-when-typing Gabriel Scherer 2020-11-22 15:21:10 +0100
• 185d282d6a
  Merge pull request #10034 from Fourchaux/typos Gabriel Scherer 2020-11-22 15:17:40 +0100
• 0166a7018e Add Changes entry Leo White 2020-11-22 13:47:22 +0000
• e7dbaeb8ce Fix reproducibility for `-no-alias-deps` Leo White 2020-10-26 12:39:43 +0000
• 1abdcac1d7
  Merge pull request #9651 from trefis/rematch-partial-handler Gabriel Scherer 2020-11-21 14:09:43 +0100
• a09a2a20f8 Update .depend Vincent Laviron 2020-11-05 10:38:51 +0100
• 0f30379ad9 Use Sys.opaque_identity instead Vincent Laviron 2020-10-30 16:17:45 +0100
• e78db7b6a5 Prevent inlining of CamlinternalLazy.force Vincent Laviron 2020-10-30 15:02:50 +0100
• 67ba8c36cc matching: use toplevel_handler in for_tupled_function Gabriel Scherer 2020-06-06 16:19:55 +0200
• 7d777f20af matching: factorize the code handling toplevel matching failures Gabriel Scherer 2020-06-06 15:18:51 +0200
• def877e351 matching: [minor] inline the single-use split_and_precompile Gabriel Scherer 2020-06-06 11:24:29 +0200
• 45ec93e0f4
  Add macOS/arm64 to the Tier 1 supported architecture list (#10033) Anil Madhavapeddy 2020-11-20 16:25:27 +0000
• f90358666e Typos (doc) JPR 2020-11-20 14:05:49 +0100
• b47c34912c
  Mark datatypes as injective in recursive module approximations (#10029) Jacques Garrigue 2020-11-20 16:29:23 +0900
• 547f9b8126 minor .mailmap additions Gabriel Scherer 2020-11-19 14:03:44 +0100
• 8caa14c3bd check-typo Stephen Dolan 2020-11-18 09:22:26 +0000
• 3f1c3bed3e
  Merge pull request #10024 from stedolan/alloc-shr-cleanup Jacques-Henri Jourdan 2020-11-17 22:04:24 +0100
• 01c08d3c0c Clean up caml_alloc_shr Stephen Dolan 2020-11-16 10:06:00 +0000
• 82805be2e2 Changes Stephen Dolan 2020-11-17 11:31:21 +0000
• 7cd0b3981b Memprof: refactor by introducing maybe_track_block Stephen Dolan 2020-11-17 11:30:38 +0000
• 6a3af5c926 Add Gc.Memprof.allocation_source Stephen Dolan 2020-11-17 11:17:52 +0000
• 20b7d8b2a7
  Try expanding aliases in Ctype.nondep_type_rec (#10005) Stephen Dolan 2020-11-17 11:10:59 +0000
• 3631d4b543 Track caml_alloc_custom_mem allocations with Statmemprof Stephen Dolan 2020-11-16 13:42:16 +0000
• 6d1c87a49a
  Merge pull request #10023 from gasche/minor-refactors-in-Typemod.Signature_names Gabriel Scherer 2020-11-16 10:50:04 +0100
• b24f19485c typemod: [minor] get rid of broken commented-out code Gabriel Scherer 2020-11-14 18:00:24 +0100
• c35760d36d typemod: refactor Signature_names.check_sig_item Gabriel Scherer 2020-11-14 16:36:35 +0100
• f43b49dda6 typemod: [refactor] pass `t` to `check` rather than just one table Gabriel Scherer 2020-11-14 16:10:02 +0100
• 4822a88248
  Improve error message for aliases to the current compilation unit (#10008) Leo White 2020-11-08 18:06:10 +0000
• 5278e3fe37
  Fix typo checks Leandro Ostera 2020-11-06 23:49:19 +0100
• f14d6d371f Minor updates Xavier Leroy 2020-11-06 19:46:58 +0100
• d42e4663f6
  Merge pull request #10006 from garrigue/type_cases_set_state Gabriel Scherer 2020-11-06 18:31:25 +0100
• f4143fd372
  Document Typedtree.implementation Leandro Ostera 2020-11-06 18:25:20 +0100
• a0b7aff645
  Fix .depend file Leandro Ostera 2020-11-06 09:24:33 +0100
• b91a90a4a7
  Fix linting errors Leandro Ostera 2020-11-06 09:20:10 +0100
• 1b085d3840
  Rename Typedtree.t to Typedtree.implementation Leandro Ostera 2020-11-05 21:19:44 +0100
• ee2f3b428c
  Move typed_impl to Typedtree.t Leandro Ostera 2020-11-05 19:06:12 +0100
• 3be9e19c17
  Fix dependency between Printtyped and Typemod Leandro Ostera 2020-11-05 18:49:27 +0100
• f6e428acf2
  Introduce typed_impl record Leandro Ostera 2020-11-05 18:29:45 +0100
• 3a125b8c3c
  Expose module signature when typing implementation Leandro Ostera 2020-11-05 16:59:15 +0100
• 9e181ca8f4 must use set_state rather than backtrack in Typecore.type_cases Jacques Garrigue 2020-11-05 11:12:01 +0900
• 479ec01e28
  Merge pull request #10000 from gasche/9999 Gabriel Scherer 2020-11-04 09:07:50 +0100
• 89d6a2094b change or-pattern printing to use spaces instead of cuts Gabriel Scherer 2020-11-03 16:29:06 +0100
• bdcd9baa03 fix -dsource printing of the pattern (A as x | (B as x)) Gabriel Scherer 2020-10-31 14:16:52 +0100
• dff48afa72 If the major GC is in Phase_idle, caml_gc_major_slice must start a new major GC cycle instead of just calling caml_major_collection_slice. fixes #7813 Damien Doligez 2020-10-02 18:33:57 +0200
• 0280127761
  Fix Unix.utimes not working for directories on Win32. (#8796) Daniil Baturin 2020-11-03 17:03:35 +0700
• 2339a8c907 Change workflow of caml_gc_dispatch to make sure the major GC does not stall when no minor allocations take place. Damien Doligez 2020-09-08 12:31:33 +0200
• 8575a4b577
  Merge pull request #2195 from dra27/better-ulimit Xavier Leroy 2020-11-02 14:08:48 +0100
• 692bd73123 OCAMLRUNPARAM=b=2 => load debuginfo David Allsopp 2018-12-11 10:17:04 +0100
• 43b28fac00 Improve error messages when loading backtrace info David Allsopp 2018-12-11 08:54:49 +0100
• 46c7122888 Merge pull request #9840 from dra27/fix-9839 David Allsopp 2020-08-12 19:43:05 +0100
• 3a094ebc36
  Merge pull request #9989 from jhjourdan/fixPR9742 Gabriel Scherer 2020-10-29 17:12:44 +0100
• 86528b09b9
  manual: docitem macros for linking modules (#9988) Florian Angeletti 2020-10-28 17:32:42 +0100
• 0f64cc87b0 Fix a bug in PR9742: in naked pointers mode, the code could dereference a pointer before checking it is not a naked pointer. Jacques-Henri Jourdan 2020-10-24 22:08:06 +0200
• f449d9b298
  Merge pull request #9987 from Octachron/manual_underscore_package Gabriel Scherer 2020-10-24 17:43:42 +0200
• fc2d2ccfc9 manual: use underscore package Florian Angeletti 2020-10-23 16:27:04 +0200
• 055f04d189
  Merge pull request #9631 from gretay-js/named_sections_for_caml_system_code Leo White 2020-10-22 10:12:02 +0100
• cdf6953953
  Merge pull request #9984 from ezal/clarify-docstring-in-str-library Gabriel Scherer 2020-10-22 09:16:18 +0200
• d0c0c96d19 Clarify docstring in Str module Eugen Zalinescu 2020-10-21 21:36:21 +0200
• 5faeae8153
  Merge pull request #9650 from gasche/matching-can-flatten Gabriel Scherer 2020-10-21 21:34:01 +0200
• 7d5f494ff5 testsuite: include both -dlambda and -drawlambda outputs Gabriel Scherer 2020-10-21 15:05:11 +0200
• b5f6cd4949 testsuite: clarify the allocation behavior Gabriel Scherer 2020-10-21 15:00:03 +0200
• dacaddc265 matching: clarify the ~vars argument of Simple.explode_or_pat Gabriel Scherer 2020-10-21 10:20:31 +0200
• 0ab43f822a matching: simplify the interface of Simple.explode_or_pat Gabriel Scherer 2020-07-09 22:52:42 +0200
• cbf69c7f53 Matching.Simple.explode_or_pat: on-demand generation of fresh identifiers Gabriel Scherer 2020-07-09 22:43:51 +0200
• 8fc38d247f add a comment to explain what Simple.explode_or_pat does Gabriel Scherer 2020-07-09 22:19:40 +0200
• 940149a45a matching: avoid useless bindings in do_for_multiple_match Gabriel Scherer 2020-07-06 22:27:11 +0200
• 7aa43acacd matching: towards a correctness argument for flatten_* ignoring variables Gabriel Scherer 2020-06-07 18:21:55 +0200
• c0d1e8157d Match.do_for_multiple_match: we can always flatten Gabriel Scherer 2020-06-07 18:09:47 +0200
• bd83d67d26 Matching.explode_or_pat: handle the case where the argument has no id Gabriel Scherer 2020-06-07 16:21:46 +0200
• 31c2551c7c matching: more complete testsuite for do_for_multiple_match Gabriel Scherer 2020-06-07 18:33:54 +0200
• cc462e0f76 matching: document the behavior of precompile_or through an example Gabriel Scherer 2020-06-07 15:02:23 +0200
• 10364b67d5
  build_as_type: document why generic_instance can't be used (#9983) Thomas Refis 2020-10-20 15:04:58 +0200
• 1e07bc7ed9 fix dune build Thomas Refis 2020-10-20 11:20:40 +0200
• 0cb298f5e7
  Merge pull request #9674 from jhjourdan/memprof_thread_alloc_callback_2 Jacques-Henri Jourdan 2020-10-20 10:29:56 +0200
• 9eb1a08c14 add new 4.12 badge, remove old badges in README Florian Angeletti 2020-10-19 18:18:13 +0200
• 1e91d2b7ca add Changes entry Greta Yorsh 2020-10-19 16:46:10 +0100
• 30e1e534d7 Add named text sections for caml_system__code_begin/end symbols Greta Yorsh 2020-06-03 14:41:53 +0100
• a6980b256d Add a test for Memprof.stop within a Memprof callback Stephen Dolan 2020-10-12 14:40:47 +0100
• 7e4748cf9c Changes. Jacques-Henri Jourdan 2020-06-26 09:56:44 +0200
• b9abf833ca Memprof/systhreads : call [caml_memprof_delete_th_ctx] when threads gets killed by fork. Jacques-Henri Jourdan 2020-06-12 22:17:06 +0200
• 6d3065be78 Memprof: get rid of the idx_ptr pointers. Jacques-Henri Jourdan 2020-06-12 21:52:14 +0200