Intrinsics for float_of_bits and bits_of_float (amd64) #296
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
xclerc
approved these changes
Sep 28, 2021
mshinwell
pushed a commit
that referenced
this pull request
Oct 29, 2021
mshinwell
added a commit
that referenced
this pull request
Jul 15, 2024
9be14fb58a Merge flambda-backend changes
fa903b3a14 Merge branch '5.2-Makefile' into 5.2-stacked
f63a37003b Merge branch '5.2-testsuite' into 5.2-stacked
ccf81c0bee Resolve conflicts in testsuite/
dc1f7c6103 Resolve conflicts in Makefile and Makefile.menhir
4b51c3f8a9 Fix in Topcommon for 4.14.x system compiler (#297)
228d1f059e Revert "Get rid of the LongString module (#12360)" (#296)
3e813e08ef Merge branch '5.2-revert-upstream-pr12360' into 5.2-stacked
008ffd66c6 Merge branch '5.2-fix-topcommon-for-4.14.x' into 5.2-stacked
3b88acc04a Fix in Topcommon for 4.14.x system compiler
0a6254dcf7 Revert "Get rid of the LongString module (#12360)"
4fad4421fd Fix in Topcommon for 4.14.x system compiler
c5f4ccfc84 Revert "Get rid of the LongString module (#12360)"
110d657a5b Making utils/*.ml build (#290)
610ab30e76 Fix toplevel/*.ml (#293)
d13bf9eee4 Fix Compilenv
c6a9dbe59b build-resolved-files-for-ci - middle_end/
937dee4ba2 build-resolved-files-for-ci
590ec1fe03 Fixing ocamltest/
ce17364245 ocamltest/OCAMLTEST.org
b1ef24b400 jane/build-resolved-files-for-ci
9426e7129b Use the boot compiler stdlib for ocamltest
a63003e7ea Fix toplevel/*.ml
2b4c8949c5 build-resolved-files-for-ci
7a86fd36b2 Fix driver/ (note changes about hidden includes in Compmisc)
c469875de2 build-resolved-files-for-ci
52dd59257a Make file_formats/*.ml build
5c805aa0ad build-resolved-files-for-ci
1dd3090204 Fix load_path.ml again
37db973d77 Fix load_path.ml
268e7f6c3f Remove XXX from load_path.ml
1d4531427c Making utils/*.ml build
a75ba3f88b build-resolved-files-for-ci
740d17d943 Making lambda/*.ml build, continued
397ef8ea2a Making lambda/*.ml build
0edd64dfe8 ocamlformat version 0.24.1 -> 0.26.2
777ad90601 Conflict resolution for lambda/*.ml
2914656ce0 build-resolved-files-for-ci
a017d8b33d Fixes for Symtable
ce69659b25 build-resolved-files-for-ci
49fc1b2e0f Merge branch '5.2-bytecomp-ml' into 5.2-stacked
32b6698571 Hacking on Bytepackager
0d5354c1ab Fixes to printinstr.ml
703b986404 Fix to compile.ml
7ec3a3b47c Fixes to Emitcode including adding Kgetpredef etc
62f960ed11 Fixes in Bytegen
25760fca35 Fixes in Bytelink and Instruct
bb68a18d1f file_formats/cmo_format.mli
5283f6d2df driver/compile.ml
c77fac9d40 Import initial bytecomp/ conflict resolutions
c4a65a12c7 enable ocamlbytecomp ml files for build
1370c6c7fa Hacking on Bytepackager
4ed824d481 Fixes to printinstr.ml
9fae6a1a6a Fix to compile.ml
65b3c344ff Fixes to Emitcode including adding Kgetpredef etc
b866a98aa0 Fixes in Bytegen
0c587016d1 Fixes in Bytelink and Instruct
0a7ae28c68 file_formats/cmo_format.mli
6bab3dcb11 driver/compile.ml
c87b2b0d7f Set RUNTIME_DIR in build-resolved-files-for-ci (#287)
bb926d97af Import initial bytecomp/ conflict resolutions
7f758af99c enable ocamlbytecomp ml files for build
8d7f9174d0 Minor fixes to instruct.mli (#286)
85c5da1c02 Minor fixes to instruct.mli
842b599d13 Merge branch '5.2-runtime' into 5.2-stacked
61e3015969 Fix domain_state.tbl duplicates
e569fc4a78 Merge branch '5.2-runtime' into 5.2-stacked
d82023037c Resolve runtime/ conflicts
08cf97d690 build-resolved-files-for-ci
35424aff8d Fix parsing mli conflicts, except `parser.mly` (#271)
af6b6e7e0c build all ocamlcommon mlis
91c7496615 Merge remote-tracking branch 'ncik-roberts/fix-parsing-mli-conflicts' into 5.2-stacked
c49a4d3a0f Merge branch '5.2-pprintast-mli-resolve' into 5.2-stacked
88869d0982 Merge branch '5.2-typing-mlis' into 5.2-stacked
ba062bdef5 Revert utils/load_path.ml{,i} to our side (#275)
c1c741dea1 Minor fixes to file_formats/cmt_format.mli (#282)
8b959e1366 Resolve conflicts in parsing/pprintast.mli
7696b5a1e0 Resolve conflicts in typing/*.mli
3a82c2b023 Minor dune fixes (#281)
1bcb37b847 Resolve conflicts in Makefile.config.in (#280)
6a55662dcd Resolve conflicts in bytecomp/*.mli and remove Symtable.Compunit (#279)
b576d6d5b1 Resolve conflicts in lambda/*.mli (#277)
c0c67732f0 Resolve conflicts in driver/*.mli (#278)
3ba8c7eea7 Resolve conflicts in file_formats/*.mli (#276)
e7e9310cda Get build working for parsing mlis for 5.2 merge
8e7ae95c88 Fix parsing mli conflicts
2f990bbebd Resolve conflicts in root dune file (#274)
7eaa8098a0 Fix conflicts in utils/{clflags,config,misc}.mli (#273)
851e7a0d41 Fix .gitignore, runtime/caml/exec.h* and ocamltest_unix_real.ml (#270)
cf8e809fae Fix configure.ac and VERSION-related things (#272)
e2448856b0 Merge tag 5.2.0
2167f860f7 Merge flambda-backend changes
74a76cc2f2 release 5.2.0
5ead9e83ff last commit before tagging 5.2.0
dfe59502ad increment version number after tagging 5.2.0~rc1
9b4698b2bd release 5.2.0~rc1
b9a92a9f7d last commit before tagging 5.2.0~rc1
18007e6bae Simple pretty-printing patches (#13130)
3257d87839 Merge pull request #13100 from dra27/zstd-runs
18c27bca46 Revert "Merge pull request #13029 from dra27/windows-zstd"
d38925dd59 increment version number after tagging 5.2.0~beta2
69881e2c9d release 5.2.0~beta2
a03ff9380c last commit before tagging 5.2.0~beta2
9e54469ff5 Merge pull request #13094 from MisterDA/ub-left-shifting-negative-number
2079ced945 Merge pull request #13078 from edwintorok/format-man
3800243ae8 manual: document `poll` built-in attribute (#13092)
7b19df9979 manual: remove empty syntax block for lazy patterns
0463e49543 manual: fix OCAMLRUNPARAM l parameter documentation (#13066)
89301a2ca4 shapes: do not read_back entire shape to get aliases uids (#13001)
5f767ecff0 Merge pull request #13079 from tmcgilchrist/arm_backtraces
f6926ef50d Merge pull request #13085 from damiendoligez/fix-gc-verbose-messages
3a176d7639 Merge pull request #13029 from dra27/windows-zstd
e117fa730a Merge pull request #13058 from dustanddreams/issue_13040
4f89749b78 increment version number after tagging 5.2.0~beta1
4f6950eb94 release 5.2.0~beta1
78fb9374f7 last commit before tagging 5.2.0~beta1
7748b2e7ea Merge pull request #13048 from shindere/fix-native-tools-build
03a308f462 testsuite: fix a forgotten `hassysthreads` in tests
8d77d5d47b Rework package constraint checking to improve interaction with immediacy (#12930)
0a8ce126c0 Merge pull request #13027 from ksromanov/patch-1
38a5cb10ee Merge pull request #12889 from gasche/thread-safe-DLS
d365affe80 Merge pull request #13019 from dra27/linking-stuff-trunk
efc0946148 Merge pull request #13030 from dra27/mingw-config-cache
3c141d0d84 Merge pull request #12914 from dustanddreams/clang_s390x
2bc47925af Merge pull request #12915 from dustanddreams/s390x_tsan
93328fa58c Merge pull request #12876 from dustanddreams/ppc64_tsan
87aac3ea45 Merge pull request #12998 from dra27/zstd-fpic
7bf5d1e2f5 Merge pull request #13017 from damiendoligez/ci-tweaks-for-msvc
e17940fa67 Merge pull request #12678 from damiendoligez/free-channel-buffers-on-close
bb0160051c fix tests that use Unix without checking whether the Unix library is configured (#13000)
cae1443f14 change CI main script to avoid running on centos-oldest
df184c8e28 #12984: restore the filename computation for companion cmi (#12987)
d78d303155 add missing @since in docs (#12978)
a7cdaec5e9 Changes bookeeping
95135ce2a8 Merge pull request #12860 from mshinwell/fix-is-marked-assertion
40779de5a5 Merge pull request #12882 from gadmm/systhread_yield
cf3a100b2b Changes bookeeping
8195440f0d Merge pull request #12974 from gasche/stray_try_expand_once
721180e54d Merge pull request #12969 from fabbing/race_gc_tracing_free_stack
7bb15e1295 Merge pull request #12900 from gasche/runtime-events-fix-lock
62780d00e5 Merge pull request #12918 from mndrix/nobtcfi
83168f5d82 Merge pull request #12894 from Johan511/r_oldify-alloc-race
31e6d15ca5 Merge pull request #12919 from dustanddreams/s390x_register_corruption
5312244632 Merge pull request #12906 from OlivierNicole/fix_race_roots
dc8eb3369f increment version number after tagging 5.2.0~alpha1
5a920f9522 release 5.2.0~alpha1
ccefdedc81 last commit before tagging 5.2.0~alpha1
df19720da2 Bump magic number for 5.2 before first alpha
a419c76651 TMC: fix translation of try-with, (&&), (||) (#12958)
4b92d4a0d8 Merge pull request #12934 from OlivierNicole/fix-race-marking-sweeping
6d50a141a2 Merge pull request #12751 from dra27/runtime-launch-info
dbc2800f9a Update changes
48102a35b6 Merge pull request #12861 from mshinwell/backtrace-last-exn-modification
94bef0c7ef Remove #12839 from Changes (it's not in 5.2)
800ba1ffee Merge pull request #12886 from TheNumbat/trunk
50d9ea10e7 Fix an `.o` extension in the Makefile (#12950)
3729db6b79 Merge pull request #12922 from stedolan/remove-caml-get-section-table
9b049aef85 Refactor Dynlink startup to avoid parsing bytecode sections twice (#12599)
dc41ba9321 ThreadSanitizer support for Risc-V (#12907)
40e295ddbc dynarray.ml: remove a stale comment
45e6bd6f55 Compile recursive bindings in Lambda (#12596)
0291ca33e8 Merge pull request #12908 from lthls/ocamllex-overflow
5e3ec06ac7 Merge pull request #12942 from ncik-roberts/correct-order-of-missing-items-error
608f626afd Changes entry for 12758
40ecd3dbf5 Bootstrap after removal of Marshal.Compression flag
996986ba3d ocamlopt: do not link -lzstd nor zstd.n.o by default, only for compilerlibs
96dd664e57 Move compressed marshaling from stdlib/marshal to utils/compression
23e41982ce Move the functions that use ZSTD compression to a separate zstd.c file
16adb56be3 Reduce the dependencies of native-code Dynlink
02b39701d8 Merge pull request #12508 from voodoos/store-index-in-cmt-trunk
b4d894ddc1 Merge pull request #12878 from yallop/private-injective
f45ccae5c2 another 4.14 Changes entry
7d1daf6243 Changes: include sections for 4.14.1 and 4.14 maintenance
8522df783a Merge pull request #12911 from NickBarnes/nick-domain-create-fail-count
516c24db71 Merge pull request #12855 from dustanddreams/overzealous_domain_failure
34fbd7d195 Merge pull request #12834 from gadmm/refactor_thread_register
43ad7135cd Merge pull request #12851 from OlivierNicole/fix_issue_12799
2278d39ad1 Make Gc.compact do a complete compaction, add Gc.quick_compact (#12859)
fb7aa7e862 Merge pull request #12746 from OlivierNicole/tsan_cleanup
684fb82d65 Correct location of Changes entry
3811112579 Merge pull request #12810 from dustanddreams/arm64_tsan
810f6e4cdb Merge pull request #12872 from gasche/injective-dynarray
877bd14d85 Merge pull request #12840 from OlivierNicole/custom-events-manual
f87ea0bef6 first commit on branch 5.2
23e84b8c4d last commit before branching 5.2
b55967670e changes: prepare branching for 5.2
ec375fe25d Merge pull request #12505 from xavierleroy/emergency-fix-12481
2a97d23d4e Merge pull request #12862 from dra27/fix-deepen
f063637be9 Fix deepen-fetch.sh yet again
3e326faa96 Merge pull request #12856 from gasche/fix-atomic-cse-again
faf5188056 Changes
e5daa90e39 CSE across atomic loads: treat atomic loads as stores
b274ea5d7e Merge pull request #12843 from dra27/gnu-make-4-4-1
dd9ae91d35 Remove BOOT_OCAMLC_FLAGS
2f1416b224 Merge pull request #12857 from dra27/flambda-tests
27d8b8955d Fix use of no-flambda in two tests
d63eba5427 egocentric Changes update as per the relevant PR discussion
b8b2def6be Update stats at the end of a major cycle (and potentially a compaction) (#12850)
24de0b1584 Workaround MSVCC_ROOT error in flexdll
901693c033 Workaround GNU make 4.4 new warning
ba71f2e47d Merge pull request #12846 from dra27/unify-gha-ci
1236deba3e Merge pull request #12512 from OlivierNicole/more_volatile
1d7f71fcd8 Add const qualifier
30971bf48d Merge pull request #12845 from dra27/get_binary_mode
dff69c87d8 Add {In,Out}_channel.is_binary_mode
0c07b331ce Merge pull request #12844 from dra27/testsuite-libunix
5a25d6907d Add Changes entry
3908dd368e Merge pull request #12842 from dra27/sorted-testsuite
6e697876d9 Document the concurrent use of Marshal functions
2fe752d51e Add missing volatile qualifiers to FFI macros for domain safety
8dc184e20d Fold the skipped and slow tests in GitHub Actions
0276f04fb1 Merge pull request #12841 from dra27/configure-csc
04583dfcc7 Sort portably, to appease mawk
a90205906d List slow tests immediately after skipped tests
fb3a6d8513 Merge pull request #12624 from dra27/xdg_config_dirs
8b96c530b2 show non-generalizable type parameters in type definitions (#12837)
f4eceda2b5 Move Changes entry to correct place
b82413d077 Refactoring and extending the Digest module with better hash functions (#12307)
ed6481848d Merge pull request #12818 from MisterDA/makefile-windows-improvements
3aeee835ce Merge pull request #12764 from MisterDA/headers-caml-subdir
a4e1d3d249 Merge pull request #12811 from MisterDA/CAMLthread_local
d02ad4ec31 Move all installable headers in caml/ sub-directories
c50509fed4 Define and use the CAMLthread_local macro for TLS variables
c678dd6380 Changes: synchronize with 5.1.1 changes
241dd4987c Merge pull request #12833 from shym/test-ro
7354e450d1 Remove a non-existing file from a `readonly_files` list
8f43819277 Include `windows.h` in a few places it is required (#12832)
6e1ead065a Merge pull request #12827 from dra27/testsuite-pthreads
cc33887df6 Merge pull request #12807 from gasche/no-lazy-in-typing
07a4cc3548 Merge pull request #12831 from lthls/s390x-fix-realloc-stack-call
ee5f2cbe7f Changes
c40a955c02 Fix s390x stack reallocation code in PIC mode
784fe56d79 Merge pull request #12737 from OlivierNicole/fix_data_races
8f4af7f47b Update Changes
1a35885271 Remove no_tsan annot now that the race is fixed
e7fcda371d Fix data race in caml_natdynlink_open
42a6339260 Fix data race in minor GC
1516ff7600 Don't use pthread.h in tests
88d8880184 Merge pull request #10691 from gpetiot/ast_mapper-toplevel_phrase
77f5f76eb6 Ast_mapper, Ast_iterator: add functions directive_argument, toplevel_directive and toplevel_phrase
a46fd9e3d2 Merge pull request #12822 from tmcgilchrist/tsan_docs
bd3c378bb4 Merge pull request #12816 from shindere/remove-domain-unique-token-primitive
5eccfeb777 Merge pull request #12819 from bclement-ocp/patch-1
850c330efa Changes entry for 12819
def86e522f Merge pull request #12824 from NickBarnes/nick-statmemprof-assert-2
369033da95 Clarify which runtime interactions are allowed in custom ops
033e7003d7 One-line assert fix; see also #12817.
61e8904329 Minor TSan documentation improvements.
7ceab32dd9 Merge pull request #12814 from xavierleroy/intern-error-messages
58024e0145 dune: check-typo
d09c3a7661 dune: fix some build errors
dadf9a9bac Changes entry for 12184
6e7c4aee44 More precise failure messages for unmarshaling
58f322350c Constify the string parameter of caml_find_custom_operations
dc1c1055f1 Merge pull request #12815 from dra27/consistent-locs
067115a0b0 Correctly report multi-line exception locations
db5d2919ee Merge pull request #12817 from NickBarnes/nick-memprof-trigger-assertion-fail
3dd28c41ac Less confusing uses of AS_CASE
1557e24f6e Distclean flexdll too
b5e8adda3a Use ocaml/flexdll everywhere
3251082692 Improve vendor detection on Windows
c4ec36f424 Fix assertion failure.
411174a19d Compiler bootstrap
dad62583e8 Remove the unused caml_ml_domain_unique_token primitive from the runtime
09268f3f2c Use XDG_CONFIG_DIRS as well as XDG_CONFIG_HOME
3838bbfffc Basic thread and domain interfaces to the memprof module, and data structures. (#12382)
605ae2d896 Merge pull request #12768 from MisterDA/ocaml_cv_cc_vendor
789d3e2ccd Add Toploop.split_path
532a0f966e Add caml_xdg_defaults primitive
9461af309d Update changes
850f1c2f84 Prefer $ocaml_cv_cc_vendor to undocumented $cc_basename
fe92a34d1d Improve error message if TSan is unsupported
013ee379d4 Detect clang-cl as a C compiler vendor
251c6dd83c Properly detect mingw-w64 as a C compiler vendor
4fb079c838 Merge pull request #12809 from dustanddreams/tsan_freebsd_amd64_tsan
a8a03abaae Tweak backtrace filtering for FreeBSD.
0c82f63541 Add TSan support for FreeBSD/amd64
f8d4eb2497 Add manual chapter about ThreadSanitizer support (#12802)
90b369f67c Merge pull request #12806 from OlivierNicole/update_comment
d8b1076f92 Merge pull request #12804 from dustanddreams/minor_tsan_cleanup
f92c37d967 Replace magic stack offsets with proper computations
bc60562909 Add more CFI annotations to TSan-specific code paths
f24dd14b5e remove Lazy in typing/
5a6f575d7b Update outdated comment in tsan.c
ac434b6dcf Merge pull request #12786 from COCTI/limited_generalize
c243aec0f6 Changes
ba26d81ea5 remove an unnnecessary traversal and an unnecessary level comparison
b1ba17cc0b remove abuses of levels in Ctype.limited_generalize
08069e6cb9 Merge pull request #12782 from lthls/let-rec-classification-fixes
4de28ed7e1 Changes
24b0871ce6 Small doc comments
a466d7dbf6 Fix recursive classification for objects, modules and lazy expressions
16969c22ed ocamlc -custom: add extern modifiers when using a C++ compiler (#12791)
039af06a1f Fix typo in builtin_attributes.mli (#12803)
3fa952ed61 Switch hygiene job back to ubuntu-latest
692bb603b2 Unify the normal and extra jobs
6fad48cfe5 Merge pull request #12788 from MisterDA/ocamltest-cpp-cppflags-cflags
1dae2f5a6f Merge pull request #12776 from Octachron/links_are_not_typo
e00edd33e1 Changes: reviewer for #12801
faaec61e82 Merge pull request #12801 from talex5/fix-sockaddr-gc
e9625983e8 Fix memory corruption in caml_unix_alloc_sockaddr (#12796)
d5b5c34971 Merge pull request #12706 from shindere/merge-testsuite-sub-makefiles
c20c1ffb17 Update Changes entry
fcefe0c85c Make it impossible to build ocamltest when it has been disabled
c8cb87b77e Merge testsuite/tools/Makefile into the root Makefile
ca3ee4c3bc Merge testsuite/lib/Makefile into the root Makefile
982cf75042 Merge pull request #12209 from Octachron/fix_exponent_in_doc
a325a18d38 Merge pull request #12793 from gasche/put-the-Lock-back-on
c2476e3db9 Merge pull request #12735 from lpw25/continuation-last-fiber
07e55382f2 Replace ssize_t (which is absent in MSVC) with ptrdiff_t (which is standard C). (#12795)
e0fdea0a43 Fix Buffer.add_substitute (#12423)
3963eac85f Stdlib: add Fun.compose (#12770)
aa3734a482 io.h: add Lock,Unlock aliases for compatibility
3437f2e523 Add Changes entry
9e44fbd740 Bootstrap
f80990e2e2 Store both ends of the stack chain in continuations
20336d050c Merge pull request #12777 from jchavarri/add-details-method-mismatch-error
243f4cd378 Merge pull request #12787 from gadmm/no_bool
f9743d6e0e Changes
622632d7e5 Use ${cppflags} and ${cflags} in output-complete-obj tests
f89b49404c Expose cpp and cppflags in ocamltest
4bcf21af15 Expose cflags variable in ocamltest
8cfd9c5a39 Fix data race on global pools arrays of `pool_freelist` (#12755)
57e4158d32 Avoid using _Bool in public headers for the sake of C++ compatibility
cbc5a0c807 Scan runtime/*.c for primitives less often (#12753)
70d7f4ecf0 Improve backtrace abstractions inside runtime (#12383)
9b9868e606 Merge pull request #12784 from NickBarnes/nick-gc-counters
0af4851287 update changelog
392a30c3c2 type_expr_with_reserved_names should reserved names
c3a48c31c5 Fix minor-heap allocation computation in Gc.counters().
1537083e31 Merge pull request #12608 from lthls/let-rec-constant-classification
c3cf856030 More precise Constant classification
100558ca56 Refactoring:
987bc3bccd Add Constant and Class classifications
b01dfaeb43 consolidate method error msgs
bdca250cb5 format: fix incorrect odoc format (#12778)
3dfe532579 add details for method mismatch errors
f6649d7dfc check-typo: be more liberal with url
426f1ea333 Merge pull request #12769 from MisterDA/windows-no-unistd
2d4d332282 Do not include `<unistd.h>` on Windows
2457da85a8 Remove unneeded or guard `<sys/time.h>`
5bae5d9831 Compute the list of libraries to build at configure time
db68f2417a Fix compilation of compilerlibs
b98b5e76c1 Merge pull request #12765 from OlivierNicole/patch-1
6a79fd8a4c Merge pull request #12767 from dra27/fix-ocamltest-keep
3217a775e2 Fix summary computation in ocamltest
36afb76299 Update function name in comment
104656fe4c Add `Random.int_in_range` and similar functions (#12459)
b58aafcdd1 Remove useless Obj.magic from ocamlnat code (#12761)
ef18034aab Merge pull request #12760 from dra27/update-msvs-promote-path
f03ed06b23 Missed check-typo
ba0e4258e3 Merge pull request #12759 from dra27/testsuite-win-fix
9f86d948e1 Update msvs-promote-path to upstream's 0.6.0
782598d5f4 Merge pull request #12757 from stedolan/fix-ocamlnat
50508ba632 Changes
48e74f2852 Fix ocamlnat frame table registration
1d324a4114 Slightly improved manipulation of $IFS on Windows
ff1e82017b Fix testsuite exec-one for Windows
3cc44f6edd Catch testsuite infrastructure errors
ecf19e0344 Fix compilation of nested packs (#12609)
6125c291d0 Do not change GC pace when creating sub-arrays of bigarrays (#12754)
8ec2b3dfd4 Adjust Changes
2309e90d02 Merge pull request #12750 from dra27/display-primitives-command
214bf6a361 Merge pull request #12743 from TheNumbat/trunk
db380d6b62 Display primitives retrieval command in -verbose
441811c4aa Changes
d1cb680b62 Merge pull request #12744 from ncik-roberts/make-parallel-always-runs-tests-in-subdirectories
b01b88a302 Add Changes
4d5698f530 Suggestion from review
5724f823be add KC as #12742 reviewer
ed3329fe76 Merge pull request #12742 from jmid/fix-domain-assertion
8073903d03 `make -C testsuite parallel` always runs tests in subdirs
624b9e7b1e Add a Changes entry for #12742
e444a9612b pthread_sigmask
1457e49136 Adjust assertion to include the boundary condition dom_st->young_ptr == dom_st->young_trigger
fc57b23480 Some syntactic changes in Changes to ease information extraction (#12741)
b4308a0c74 Merge pull request #12318 from damiendoligez/fix-caml-alloc-custom-mem
c49bf6876c small refactoring; make caml_alloc_custom equivalent to caml_alloc_custom_mem when max is 0
9b059b1e7a Merge pull request #12731 from dra27/primitives.new
446b92da83 Fix #12727 (partial applications in Rec_check) (#12730)
c8574a3e16 Fix parallel recursive invocations of make
560216c61c Fix TSan false positives due to volatile write handling (#12681)
e27a6a332c Move the computation of max_major back to custom.c and call this computation from adjust_gc_speed whenever max = 0. This streamlines alloc_custom_gen and fixes a bug reported by @gasche.
842975cf25 Merge pull request #12729 from dra27/gitattributes
718553e7fb Merge pull request #12451 from ccasin/warning-53
22e7c76fe8 Merge pull request #12726 from nojb/fix_headernt
df663ca266 github-linguist: use M4Sugar for autoconf macros
b3d2a9dccc github-linguist: various language overrides
c4783f01fc github-linguist: Autoconf Archive
69880cfc2e github-linguist: autoconf support scripts
e623fd75b7 integrate review: allocate fewer strings and delete a stray comment
1b77dfe82a Changes
25a4dc7c14 headernt.c: fix segmentation fault when runtime not found
efd732249a Fix label evaluation order (#12720)
6e0ba58f37 Merge pull request #12710 from kayceesrk/fix_finaliser_handover_flakiness
aa42332b8f Enable finalise handover test. Add Changes.
6601f1b672 Merge pull request #12714 from MisterDA/cc-Wundef
6626dc1101 Address review comments.
ac4132c56a Add code comments. Fix formatting.
fefd4399ab Remain in Phase_sweep_and_mark_main when orphaning finalisers.
bdd8d96034 Make the GC compact again (#12193)
44d2127178 Warn on use of undefined macros
3d76183be2 Guard against use of undefined macros in headers
10f13345ba Fix the documentation of Bytes.split_on_char (#12718)
c6eec0c34b Improve the documentation of {String,Byte}.split_on_char (#12717)
0c963ceb4d Merge pull request #12715 from gasche/atomic-load-no-cse
f09aa85279 Merge pull request #12716 from zapashcanon/ppnothing
dca5e6e796 disable CSE for atomic loads
d417fcbe7e add Format.pp_print_nothing
d77bc97a0a minor code cleanup
49010d8800 Merge pull request #12711 from dustanddreams/tsan_backtrace
9f4142fbf4 Merge pull request #12694 from OlivierNicole/tsan_mm_comments
f98d903661 Fix stack unwinding in caml_tsan_entry_on_resume().
b19bdb03c1 Merge pull request #12243 from damiendoligez/ocamltest-new-log-format
ed7b3824a2 Merge pull request #12708 from gasche/skip-finaliser-handover
7d6bd421a9 Cleanup `expand_abbrev_gen` (#12691)
e74de27231 integrate review: missing attributes
2bf1701946 integrate review: doc sections in builtin_attributes
3bc54daf8d integrate review: rename [attr_tracking_time] and [filter_attributes]
968b5f70f9 integrate review: move namespace logic to eliminate duplication
2086c085f1 changes entry
20e86960d9 [@ppwarning] with a bad payload should give w47, not w53
4659b7c40e bootstrap
7cfdc3164e Handle attributes like "warning" and "alert"
00893de01f bootstrap, promote parser, make depend
2daacd99aa Handle the basic attributes.
64d6327958 Rework w53 tests.
35501bd36d Add attr tracking mechanism, but don't whitelist any attrs yet
62df46a669 OCaml 5: Backport flambda-backend#1960 (#268)
217d42e71d Merge pull request #12700 from xavierleroy/gen-prims
eb8470040f skip the finaliser_handover test
8cc728b5bc Merge pull request #12707 from jmid/domain-assert-failure
d3f15b14ed Changes entry for 12700
0ae9045642 Add dependencies on the generator scripts runtime/gen_*.sh
6c0351b996 Fix (partially) the Dune build
5b7a8966e3 Get rid of the `DEFINE_NAN_CMP` macro
d6b868c551 Build runtime/prims.c with accurate declarations of primitives
2ed291fb68 Add a Changes entry for #12707
ab4278a63a Documentation comments of TSan instrumentation choices
526721a6ad Read asserted values only once to avoid a race condition
d73896d405 Merge pull request #12692 from Julow/loc-typevar-extended
6bad032104 runtime/mlvalues.h: more careful definition of Tag_val (#12703)
a62f7fb657 Merge pull request #12701 from MisterDA/appveyor-updates
4afd608216 AppVeyor: evict the configure cache if configure changed
9f3a06a169 AppVeyor: restrict runs for branch pushes as for GitHub Actions
9257bad37e AppVeyor: set all git clones as a safe directory
3f9dae048e AppVeyor: default to Visual Studio 2022 environment
76ba21b4d9 AppVeyor: don't pass build triplet to configure
5ad6900fa2 AppVeyor: update to FlexDLL 0.43
14d9ab1056 In C++, give `Bool_val` the type `bool` (#12702)
adfd04172c Fix regression in #12403: quote source code also for marshalled ASTs (#12698)
80ca7e797b Merge pull request #12640 from dustanddreams/configurable_module_separator
b167b25690 Make the module separator used in symbol names configurable.
725776300a Update .depend
5087a65878 catch errors in setup of initial environment
2e68efb756 report errors in test report format in all cases
3f3211231e interpret ASTs directly; print line numbers instead of tree occurrences
2f944c9a4a Change runtime/gen_primitives.sh to take the list of .c files as argument
f6d6f65f0f Merge pull request #12693 from OlivierNicole/remove_camlno_tsan
fd41b69bc1 Remove no longer needed CAMLno_tsan attributes
e8a70600c1 parser: Location of typevars includes the quote
abee02590e Merge pull request #12689 from OlivierNicole/fix_false_positive
d49c09679f Remove benign data race in parallel test
f9371a2ea2 Merge pull request #12662 from Octachron/ocamldoc_less_str
affc1c86c0 ocamldoc: centralize lexical convention before utf-8
7a0439d758 Merge pull request #12652 from shindere/magic-numbers
b194587613 Merge pull request #12686 from xavierleroy/primitive-cleanup
7892e6f7b7 Move the definition of magic numbers to build-aux/ocaml_version.m4
ebae0d16c5 Merge pull request #12461 from panglesd/parsetree-change-in-ci
afadab4cb1 Changes for #12686
92e16dd93c Declare the arrays of primitives with the same `const`-ness as their definitions
6d934febd1 Bootstrap after removing some primitives
371cb325f5 Normalize the types of primitives
e5ee79a0e8 Don't define nor export as primitives the `caml_int64_*_native` functions
6da7db6911 runtime_events: `caml_runtime_events_user_resolve` is not a primitive
bb23a030d6 runtime_events: `caml_runtime_events_{start,pause,resume}` are not primitives
c48fb71f60 Intermediate bootstrap while fixing the runtime_events primitives
8b2fdc910a runtime_events: introduce primitives `caml_ml_runtime_events_{start,pause,resume}`
271a81b904 Merge pull request #12688 from favonia/no-color
1bc8ff2482 CI: Check relevance of parsetree-change label
d55a51a7d6 Merge pull request #12687 from OlivierNicole/fix_false_positive_tsan
2c3cc706d0 Add an entry in Changes
631ed8d3e5 Update the logic of detecting NO_COLOR
f7d02698f7 Make tests/parallel/catch_break.ml more robust (#12618)
7b651cc772 Use unique delimiters to quote strings representing magic numbers
e8e5b2f8e5 Use proper C99 flexible array members (#12685)
5c74c3ce39 fix locations filename in AST produced by the `-pp` option (#12684)
a0bbd7c79f Merge pull request #12181 from smuenzel/optim-comparison
be5bbed3be Make sure false positive from #12282 is silenced
7fd42b77d9 clarify meaning of "non-path module type" (#12679)
9cb230cc4c Merge pull request #12673 from ncik-roberts/fix-type-directed-disambiguation-of-optional-arg-defaults
18f0eeea67 Add Changes
b4369a696f Implement a possible fix + update test
b7872b937f Add regression test
7748b4543e Merge pull request #12683 from sheeraSearch82/domain-self-noalloc
7d685c6bfd Correct two tests using libunix instead of hasunix
414199f960 Remove unnecessary libunix
a5cd2ee90f Annotate Domain.self with noalloc
d21d884ef2 Merge pull request #11882 from gasche/dyn-array-boxed
fd8fa160c0 Changes
efd03d9be4 Update for primitive operations
41169a484d Simplify calls to `caml_int_compare` (and similar functions).
125bc717e4 dynarray: error message clarifications
1d38d605d8 Dynarray: get_last, find_last
08e29f843b prevent inlining of error functions (cold paths) to reduce code size
217b06be1b dynarray: remove atomicity claims
352e946dc7 act on a review by Guillaume Munch-Maccagnoni
792bf6ca92 offer both to_seq{,_rev} and to_seq{,_rev}_reentrant
0003150840 acting on the review by Pieter Goetschalckx
96f4c8894b truncate_capacity => set_capacity
42388efe93 acting on the review by Wiktor Kuchta
dc68213c89 Dynarray.fold_right
2e1f3e4bda acting on the review by Damien Doligez
ce14a79d04 Changes
f9c1092895 integrate review comments from Clément Allain
6a5e0e5d98 dynarray.mli: specify more exceptions
6e06a79b44 dynarray: restructure the testsuite
cdf478657a dynarray.mli: mutable priority queue as a documentation example
a442f2fece Dynarray.capacity : 'a Dynarray.t -> int
1e16db9ec1 dynarray: raise Invalid_argument instead of Failure above Sys.max_array_length
b850cee152 dynarray: display iterator function name on invalidation error
7377d9d1c7 dynarray: change the ensure_capacity growth strategy to be 'exact' in most cases
54ebac40f3 new function Dynarray.truncate_capacity : 'a Dynarray.t -> int -> unit
6f638e885a Dynarray.ensure_extra_capacity
10bac6b2a8 dynarray.mli: use 'element' rather than 'item'
b7a2903cc2 dynarray.mli: rework iterators documentation
144e667b67 dynarray.mli code review
af126ade4a dynarray.mli code review
71b34a6aeb dynarray.mli review: explain the current memory layout
49643349b9 test iterator-invalidation examples in the testsuite
35c9c8ae6a Dynarray: an implementation that purposedly fails on iterator invalidation
ba98761801 Dynarray: a reentrant (boxed) implementation
15924d2f72 Dynarray: boxed (non-reentrant) implementation, better documentation
e838f6b2c7 Dynarray: more agressive resizing strategy
a292aa906d dynarray interface: optimize `add_last` and remove `unsafe_add_last`
7d190a3f33 dynarray interface: add 'reset' as in Buffer
4b54d610c8 dynarray interface: remove `rev`
fef721c099 dynarray interface: remove `blit`
6256a2fa8b dynarray interface: a single `ensure_capacity` function
23747d174e fix doc
9458313711 rename shrink_capacity to fit_capacity; add append_iter; update doc
a49c1b66d5 use add_last/unsafe_add_last for dynarray
2cc8445dd2 more docs
7745f823b5 add filter/filter_map to dynarray
691ce714b7 more docs
3e12b8d231 remove uses of `Array.unsafe_{get,set}` in dynarray
bcd540fe9c use `push_last` instead of `push`
87319173a7 rename pop_exn/pop to pop_last/pop_last_opt, add remove_last
3fd24538b1 rename Dyn_array to Dynarray
6cbb5aba72 new design without Obj; rename dummy to filler
59f156b638 add some basic tests for Dyn_array
60ae582162 update existing stamp-dependent tests after new Stdlib module
49ce7cf532 first implementation of Dyn_array
7ae91bc8cc fix runtime-events tests to be more robust to GC variations
a7cd0c6ee0 alloc_custom_mem: do not convert memory size to heap proportion and later back to work units using a different heap size. When the heap is growing, this unduly accelerates the major GC, slowing down the program.
7b2c75972a make the test differential (probably more robust)
26ebc3dae6 tweak test to work identically with and without flambda
9ae9928f10 add Changes entry and documentation comment
ab631298dc make tests/lib-runtime-events/test_instrumented.ml more stable wrt GC behavior
1ce30c7fcb change the meaning of custom_minor_max_size
dee097259d Remove benign data race in parallel test (#12680)
c45454703d Merge pull request #12616 from shindere/merge-ocamldoc-makefile
53f2a93e4f Make the build_libraries_manpages configuration variable more accurate
cb3e23055d Rename the STDLIB_MANPAGES config var to build_libraries_manpages
ac88609439 Merge ocamldoc/Makefile into the root Makefile
7fb564cf31 Merge ocamldoc/Makefile.best_ocamldoc into Makefile.best_binaries
55581106bd ocamldoc/Makefile.best_ocamldoc: remove useless ./ prefixes
ff5923f54e Deprecate the WITH_OCAMLDOC build variable
ca9ba543b0 ocamldoc/Makefile.best_ocamldoc: get rid of OCAMLDOC_RUN_PLUGINS
0e87534e0a Remove ocamltest's beforedepend constraint from the root Makefile
14a3ce631a Merge pull request #12586 from shindere/merge-compilerlibs-makefile
da035ffaf2 Merge compilerlibs/Makefile.compilerlibs into the root Makefile
5a7f52d2af Move the computation of architecture-specific sources to configure
e1c292874e Use the new framework to build compilerlibs
495a99fb84 Introduce the framework to build OCaml libraries
e397ed28bc Merge pull request #12639 from Julow/loc-ptyp_as
e5c693d219 Merge pull request #12496 from ncik-roberts/maintain-syntactic-arity-in-simplif
bd524bdfd0 Merge pull request #12672 from NickBarnes/nick-ocamldoc-iter2
42ea2fd006 Merge pull request #12674 from dra27/tweak-hacking
4042ca3b57 Re-enable ThreadSanitizer in the Inria CI (#12644)
f40b31e1de Simplify opam pin command in HACKING.adoc
f6cd6955a1 Fix incorrect comment in tests
3c014a569f Silence ocamldoc warning.
d435a2971a Merge pull request #12671 from smuenzel/a-type-parameter-has-type
3c4f2a69bf better treatment of arrow_index
17db5ecfc2 Rename no-longer-alloc-related test
adba3715cb Fix up test according to review
20a5cb189b Identify mismatch class parameters by ordinal in error messages
304373834c Update .depend
67851ab433 Identify mismatched class type parameters by ordinal in error messages.
f4c27cb3e4 add confusing error case
0cdac0311f Merge pull request #12669 from smuenzel/schedgen-global
90c46ff4c6 fix long lines committed through GitHub web UI
c458527e49 Merge branch 'maintain-syntactic-arity-in-simplif' of github.com:ncik-roberts/ocaml into maintain-syntactic-arity-in-simplif
4cdb26344d Add comment explaining lazy block
7602c4f624 Update lambda/lambda.mli
ad637612ac Add Changes
84daf9e092 Turn off arity fusion for [fun] and [function]
e5555c7eae Add regression test
82a04cfdd9 Merge pull request #12667 from awilfox/awilfox/power-right-way-round
830fff5143 Small changes
782709fd6f README update and changes entry for 12667
5fc5496138 runtime/power.S: add a compile-time check on the ABI version used
df4b35a004 Update changes
72c74712e4 remove unused variable trywith_nesting
db89e7edcc Remove global state in asmcomp/schedgen
13355e6f3a Support native compiler on ABIv2 Power BE (#12656)
f1ca080bcb Update POWER asmgen test for OCaml 5
3d4eb0663a Use C11/C++11 standard static assertion (#12537)
2f945aef4f CI other-configs: test C23 conformance using clang-18 -std=gnu2x
aa45946be8 Merge pull request #12659 from fabbing/tsan_better_testing
ed02d123f0 Merge pull request #12619 from gasche/runtime-stw-function-names
6a2b1beeef Reintroduce the `sleep`ing spinwait
bba42ff1df Changes
e9768ae977 STW naming conventions
8bbeb2ed84 STW naming conventions
79b9dec17a STW naming conventions
8519cfd57f STW naming conventions: foo_callback => stw_foo
a455fe851c STW implementation comment
0949e8b66a STW naming conventions for shared_heap.c
761d3cd064 STW naming conventions
a22a9fa5ae domain.h: naming conventions for STW functions
c8353bc53e Merge pull request #12655 from MisterDA/remove-configure-ffs-_BitScanForward
51d7900c06 TSan tests more reliable by removing sleep synchronisation
53d0d25e36 toplevel: allow multiple phrases in one line (#12029)
663035af57 Remove configure detection of ffs and _BitScanForward
ae18ffb44b .mailmap
60393b5b13 Merge pull request #12437 from damiendoligez/fix-test-unwind
210cc86a52 Fix custom block promotion (#12439)
45e42acd83 PR#12437: generalize tests/unwind to work on clang -O0
a912cff51d Merge pull request #12246 from ccasin/dash-h
474e96d162 Disable tests that print paths on windows
6143355e78 Fix comment typo
45460f582b Merge pull request #12651 from dra27/test-tweak
7ed72683b8 Correct libs used in output-complete-obj test
a6dd90b37e Merge pull request #12645 from Octachron/fix_printtyp_bugs
d2d4c0a183 Update Changes
9ce5c9f527 Fix additional potential bug in the penv cache
0354e06091 fix printing of error messages for cyclic definitions
d5ff0a7100 Eliminate code duplication
8add5d0f0c make depend
2f72e51672 Add test for constructor disambiguation
dc09c0b5c2 Prevent hidden cmis from incorrectly being used from the penv cache
51ec9448f6 Fix tests
45384b34e0 update cmt format for -H
93567a42eb Rename `Load_path.path_info` to `Load_path.paths`
022d5fe51d Update Changes
ff5393569a typing: Improve location for 'variable in scope'
4aae28a35d typing: Use more precise location of alias type mismatch
1291b49889 Update comments
01178bb60e Add -H flag for transitive dependencies
9b68959b19 Merge pull request #12635 from MisterDA/intern_state_refactor
bd1fb55edb Merge pull request #12634 from fabbing/simplify_raise
f6f617f6d0 Simplify TSan backtrace bookkeeping upon raise
225f2f3aeb Merge pull request #12637 from dustanddreams/no_voidstar_arithmetic
cc754000c5 Merge pull request #12638 from dustanddreams/caml_state_ma(ra)sm
fe2b0bd3e1 parsing: Attach a location to the RHS of Ptyp_alias
0bd5c19dc8 Make extern.c consistent with changes in intern.c
932c7a8a89 feat: refactor `intern_free_stack`
4d7dc7d1eb feat: `caml_fatal_error` on misuse of deserialize functions
072b133385 Implement Caml_state in MASM
0814bec3de Avoid pointer arithmetic over void *
6a0a0a4693 Update framepointers tests to avoid false positive with inlined C functions (#11594)
1e78220b3c Merge pull request #12626 from MisterDA/fix-build-arm-mixed-double-endianness
4df33cc5bf Merge pull request #12613 from MisterDA/no-input-file
e07e4334da Capitalize error message for consistency
155724d29a Make ocamlc/ocamlopt fail when not given input files
16499659bc Remove the Closure module from Obj (#12625)
5d417433b5 Give hints about existential types appearing in error messages (#12622)
343782f335 Fix ARM build with mixed-endian fp doubles
acf58ab570 Revert "Merge pull request #12588 from gasche/frame-pointers-test-more-robust"
1a9c45317b Fix variance composition (#12623)
24e51a9038 Merge pull request #12588 from gasche/frame-pointers-test-more-robust
69b62949ce Merge pull request #12597 from gasche/runtime-race-gc-stats-on-domain-termination
de18b89f50 Changes
6884cc50cf remove CAMLno_tsan clutches: to my knowledge the gc_stats code is now race-free
75d99e23cd fix a race between [caml_compute_gc_stats] and domain termination
1a62bc0750 [minor] runtime: add caml_domain_terminating(domain_state *)
424cd44cde frame-pointer tests: stop backtraces at caml_main|caml_startup
f83fd4be59 Merge pull request #12615 from shindere/ocamldoc-cleanup
513b9c923a Add Changes entry
fc084a9b76 Remove ocamldoc's generators
e9185865ce ocamldoc/Makefile: remove a few no lnger used targets and recipes
fd0551b7b7 Remove the dependency of the cmo and cmxs file formats on compiler internals (#12611)
1dbc01004a Move the `[[noreturn]]` attribute to the front of the declaration (#12468)
6fa81e7c50 Merge pull request #12610 from gadmm/young_limit_doc
9b33671286 Document young_limit
5227ea2707 Make early-exit invariant more manifest
d8c6b4ed59 the mysterious reviewer of #12593
2ec9ac7a65 Merge pull request #12593 from fabbing/tsan_effect_unhandled
9a7e6c2fe1 TSan should handle `Effect.Unhandled` correctly
5b8651ba25 Implement leaf functions on POWER (#12601)
3e68320099 Merge pull request #12606 from gasche/minor-ctype-todo
e3c59ebd90 asmcomp/*/emit.mlp: use tabs in generated asm where appropriate (#12607)
72997bb8e0 [minor] Ctype: act on TODO
8eb94b89a3 system-wide user .gitignore configuration should go in XDG_CONFIG_HOME/git/ignore
dbf3054f1e Merge pull request #12559 from gadmm/better_major_trigger
7da351b798 [minor] Minor clean-ups
8711fcd389 Improve major slice trigger
04e0e5dcbe Propagate the classification from Rec_check (#12551)
15aa778908 Merge pull request #12602 from shindere/dynlink-fixes
b1d6cf2c71 Merge pull request #12603 from shindere/symtable-cleanups
9c7d11ecc8 Dynlink: release the dependency on Misc.fatal_error
b36616fbe7 Dynlink: stop configuring warnings in source files
e5a6458fc5 Symtable: remove unused open
09fe7bba1c Merge pull request #12576 from MisterDA/ocamldep-refactors
49e23ee234 Symtable: remove useless warning directive
d862b82be6 Changes
0d376fb434 ocamldep: use labelled boolean arguments
34892387cd ocamldep: reduce scope of exception catching
e3fa5bceef ocamldep: use In_channel.with_open_bin
8056bf3c80 ocamldep: consistently use prepend_to_list
bbcd106075 ocamldep: use Format.eprintf instead of ppf or Format.err_formatter
30ed20f58e ocamldep: separate global vars from CLI arguments
38a1c529b7 ocamldep: remove unused map_files var
85d8f264ef ocamldep: code simplifications
b30d6ce8be ocamldep: use Array.find_opt
f5704c7edb Document forgotten ocamldep options in man page
4219686782 we broke carriage returns
5558e63daf Merge pull request #12540 from dustanddreams/powerpc_no_more_trap
234e5fea05 More comments in arch.ml for POWER
b453aaa3a7 Add branch relaxation for checkbound operations in large functions
bbc3346e84 Fix calls to caml_ml_array_bound_error
9418789038 Remove the SIGTRAP-based bounds checking on POWER
4c3016f1a1 Get rid of the LongString module (#12360)
0ac51f6520 Merge pull request #12594 from gadmm/minor_sig_simplif
c287b9d785 Merge pull request #12591 from gasche/runtime-orph-structs-race
f144f99959 major_gc.c: fix a race on `orph_structs` in `no_orphaned_work()`
adf1a8f050 major_gc.c: shorter `orphaned_lock` sections
22084b7ac6 Merge pull request #12598 from Octachron/contributor_typo_fix
12fa1636c9 changes: missing comma
6da5a5d119 typo in contributor names
dd74311982 Contributor name normalization:
f89f4cc0da Merge pull request #12595 from eutro/gc-stats-before-barrier
ed53c13d51 Add Changes entry
387f0ff4d1 Move `caml_collect_gc_stats_sample` before barrier arrival
02a07a4000 Remove needless signal masking (cf. 59029b994 and 5742171d)
90c1efc7f4 Remove dead argument
47a14444fa Avoid synchronising via ref inside test
94c5327fe0 Merge pull request #12199 from Octachron/error_message_typo
3ecebf902f Merge pull request #12561 from fabbing/fix_tsan_fp
21132207b5 Merge pull request #12455 from gmevel/stdlib-init_matrix
e25b5abd4d review: non-overriding inheritance error message
5c1b60cf41 Fix a typo in inheritance error message.
28edabf054 Add Changes entry
ece4947ca8 Reuse register rather than loading from memory
c62b3dbc41 Float.Array: add {make,init}_matrix
ee697a0aea Array: make_matrix now skips loop if dimx = 0
39a397a670 Array: make_matrix now raises if dimx = 0 && dimy < 0
034069b33e Array: add test for make_matrix, simplify test for init_matrix
96f0bb48b4 Array: inline init in init_matrix
2114a001b7 stdlib: add Array.init_matrix
8e303850d9 Merge pull request #12514 from gasche/crlf-normalization
5a69ac5213 a testsuite for newline normalization
9d65ae5bfe newline normalization: only erase the last \r
c78d3aac04 mention newline normalization in the manual
1cbb92f13d #12502: normalize \r*\n newlines to \n during lexing
4303cba1e0 Simplify caml_raise_exn using macros that account for fp
c0d4daa82a Add missing handling of potential fp for TSan arguments
68be7d828b Add missing ENTER/LEAVE_FUNCTION when using TSan
01f737a261 Merge pull request #12535 from dustanddreams/amd64_fp_fix
c04755a4f5 Set up frame pointer correctly prior to tail calling caml_c_call.
b908a1c395 [minor] tests/frame-pointers/filter-locations.sh update
ccb75bf3ff Merge pull request #12583 from Sudha247/ephemeron-end-event
3289371ae4 Merge branch 'trunk' into ephemeron-end-event
74f8c996d4 Improve location of alias pattern variables (#12580)
20f1d09d7e add a Changes entry
5551db426b Add a closing event for when EV_MAJOR_EPHE_MARK is complete
48207a0d7c Merge pull request #12574 from bschommer/install-zstd
6cde52b8db Merge pull request #12533 from cod-xknown/patch-1
58c91b6086 Add emptylist to one more spot
9e17cbc3ce Merge pull request #12566 from gasche/output_value_to_malloc
455d3c9511 Issue 11517 - Updated Format documentation (#12477)
cb96ce848c Merge pull request #12573 from gasche/runtop-without-otherlibs
b3104faf79 Improve wording.
df01ee7934 caml_input_value_from_malloc; use free in error cases
87744253ab caml_output_value_to_malloc: really use malloc
795cad3c52 Makefile: build `runtop` without `otherlibraries`
670481e53f Added sentence about libzstd.
ab3f102b62 Merge pull request #12571 from Swrup/fix-format-doc
1a485b4056 Merge pull request #12572 from Swrup/lazy-typo-doc
c45c47b137 documentation: fix typo
3707da6397 documentation: fix make_formatter code example
ad868faff0 reviewers for #12558
5ed5f59f9e Merge pull request #12558 from gadmm/alarms
560c44400f Merge pull request #12560 from OlivierNicole/improve_tsan_comments
5f4117c936 Merge pull request #12568 from yallop/improved-while-true-typing-warnings
64b56a4702 Disable the nonreturning-statement warning for `while true` in more cases.
4a458b91ab Merge pull request #12443 from shindere/fix-pthread-getaffinity-np-detection
1a6784f34a Merge pull request #12542 from ncik-roberts/extra-call-to-instance-when-typing-constraints
22df6184b6 Fix the configure test for pthread_getaffinity_np
2b6080db0c Take pthread-specific CFLAGS and LIBS into account correctly
ef37369445 Look for pthread libraries first, then only for get_pthreadaffinity_np
0f950f7475 Minor style tweak from review
2922b0046e Add Changes
f5a40e0cc9 Fix long lines
de050b48b8 Improve TSan-related comments in amd64.S
d4a0e45b4f make alldepend
4bac7d0e78 Update Changes
8324eccd8e [minor] Remove outdated and superfluous comment
998cb999ee Adapt GC alarms for OCaml 5 & improve documentation
82d35c9e48 Merge pull request #11307 from gadmm/multicore_async_actions_3
53dedf18eb Use beqlr+ on Power
a47e554f02 Changes bookkeeping
f6010b97a5 Reviewer feedback: improve comment
f9f20023f1 Changes
4fb37db5f5 Reimplement polling for signals only, in caml_enter_blocking_section
bed598819b Simplify caml_reset_young_limit
c9af30922d Reintroduce testcase and make it test the optimal polling
3f9b1225ed Optimal polling in C code based on masking
12a3377d67 Do not raise from `caml_thread_yield`
5742171d76 Simplify spawning of threads and domains
3137b0e035 [minor] Additional comments
2c30dc178d [minor] Better documentation for catch_break
59029b9942 Do not access the TLS from signal handlers
c63d4d1822 Merge pull request #12548 from gasche/matching-testsuite-7241
902358519f Merge pull request #12553 from gasche/matching-more-debug
b52c6ba380 Changes
e5c932694c matching debug: totality information on all COMBINE calls
a64394ceea [refactoring] matching: pp_partial
0c1e12bc42 matching debug: show record patterns whose fields are wildcards
e8b1261982 testsuite for the Total/Partial decisions
8020985750 testsuite for matching and side-effects
7666fb68ba Merge pull request #12531 from gasche/minor-improvements-to-pattern-typing
9d131445b4 Merge pull request #12552 from yallop/rec-check-paper
2c53a09b7c Ctype.instance_{poly,label}: label boolean argument
366f9ace54 typecore.type_pat: label boolean argument
48a5febf11 -dtypedtree: print pattern partiality information
d81e1b9cc3 Add a reference to the paper describing the recursive bindings check
faa6d2e6e6 Merge pull request #12546 from xavierleroy/power-FPR0
aa7dc30c9c Merge pull request #12168 from MisterDA/old-style-declaration
ed23f13a5e Merge pull request #12532 from gasche/matching-improve-debug
85787e3df4 Check and fix old style declarations in C code
98b84ef08b Changes
cf0266baed matching debug: do not show default environment of split matrices
34ac420f97 matching errors: minor refactoring
e17cc0a81d matching debug: use formatting boxes
ef7bf6aa9f matching debug: fix stray Printfs among the Formats
eab11057c3 Merge pull request #12545 from Octachron/fix_too_strict_cmi_lookup
a9ca4a3ebd POWER: correct the list of FP registers that need saving and restoring
b00913ce92 Look for modname.cmi/Modname.cmi in the loadpath when compiling implementation files
2ee5c06306 Merge pull request #12541 from OlivierNicole/detect_missing_tsan_flag
7e093ede50 Better error message if a needed TSan flag is missing
0ea8c74089 Restore a small piece of the implementation of pre-#12236 code
c2b87d8fad Merge pull request #12389 from Octachron/unified_file_info
f91ddec937 Only add valid modname in the persistent env
6ff06b4722 update Changes
efa6276745 use Unit_info everywhere
8058b561c5 Unit_info module: metadata for compilation units and artifacts
44c9baa3ef Merge pull request #12538 from igarnier/igarnier-fix-c-bindings-ba-doc-typo
3e28a15869 Fix typo in documentation on bigarrays in C stubs
fcf87c49ff Honor `inline always` even for functions with optional arguments and default values (#12526)
af8f622f84 Update intf-c.etex
d57938d2ff Replace Val_int(0) with Val_emptylist for []
ae28598bba Merge pull request #12530 from dustanddreams/effect_exceptions
c7519cd291 Fix delivery of unhandled effect exceptions on s390x (#12486)
6e0399a7ac minor comment fix in matching.ml
aac3f10997 Merge pull request #12403 from gasche/full-lexing-buffer
221c769e0a s390x: sync comments with reality
cb1afbdc6c add a test
8b9969bade Changes
05bbdf7b09 toploop: read whole file at once
dc9b27e2f2 toploop: minor refactoring
666de0eb8c remove Location.lines_around_from_file -- #12238
3e124b70fb driver/pparse: close the source input channel as soon as possible
d08ce5b604 driver/pparse: read the entire source file at once
a7c016f230 Merge pull request #12498 from gasche/fix-shadowing-warning-let
5387c16b9a fix #12494: open shadowing warning mistriggers
e219762eeb open-shadow-identifier warning: regression test for #12494
657a912849 Merge pull request #12523 from gasche/matching-robust-alias
221946bc99 Merge pull request #12525 from dra27/fix-12515
7f59ea0c58 Merge pull request #12524 from dra27/sync-opam
495c1cb17e Fix incorrect use of int in mark stack
259b073c14 make ocamldoc more robust to minor typedtree changes
025d73dcbd make a matching.ml fast-path robust to minor typedtree changes
47a77a2baf Remove 32-bit native options
d39b3228b7 Synchronize with opam-repository's opam file
23b9ae2571 Cosmetic adjustment to opam file
37f8e79ae3 Changes: fix misplaced entries inherited from 5.1
7339c1c6ae Changes: synchronize with 5.1 changes
e03781406f Changes: move arg.mli typo fix to 5.1 section
e3a3f50ac2 Changes: move frame-pointers PR to the right section
b795460a99 Merge pull request #12504 from Alizter/ps/branch/chore__add__vscode__to__gitignore
a3a82eebab Merge pull request #12517 from xavierleroy/constant-logical-operand
fb7d41b6ba Avoid the "constant-logical-operand" warning of recent clang versions
15ef93c694 Add NetBSD/arm64 to the Tier 2 support list in the README (#12384)
bd952ad322 Minor performance improvements and cleanups in the implementation of Int32, Int64, Nativeint (#12511)
a6847bef2f Improve error handling in caml_alloc_sprintf (#12489)
2ecd298d4b Merge pull request #12509 from MisterDA/bytecomp-primitives
030f77d0a0 Update Changes
450af6457a unix.ml: a global mutex around the popen_processes hashtable (#12510)
99a05d2cd4 Constify primitive lists
e650dd9ea8 Use strict prototypes on primitives in bytecomp
76c4617b90 hot fix for a build-breaking conflict between #12365 and #12446
2b890ce30c Merge pull request #12446 from gasche/io.c-remove-hooks
f9fa70ac78 Move this test from lib-unix to lib-unix/common
25bad89263 This test needs libunix
0ed5dcb226 Fixing typos (#12457)
bde2dd692a Refactor the computation of stack frame parameters (#12242)
f772ae0985 Add I/O primitives for Bigarrays (#12365)
a115800bde Merge branch 'trunk' into io.c-remove-hooks
c22c1b0310 chore: add .vscode/ to .gitignore
24e0fe6521 Merge pull request #12499 from gasche/bigarray-float16-fix-deserialization
f0223c9f91 bigarray: fix deserialization of float16 dynarrays
814c063b54 Merge pull request #12321 from shindere/merge-ocamltest-makefile
c8441fbb82 Merge ocamltest/Makefile into the root Makefile
7766d06fd6 Modify build macros to use source files rather than module names
b083742105 ocamltest/Makefile: use wildcards when computing dependencies
0989c913aa Build ocamltest with the same flags as the other programs
df4806bf27 Generate ocamltest_unix.ml at configure rather than build time
a21971d996 gc.mli: update documentation of allocation policy (#12488)
6ca0dfb4bb Merge pull request #12447 from omasanori/asmcomp-x86-simplify
e2160f7e4c Reduce loop length in runtime event test to avoid overflowing ring buffers (#12398)
be72b7b78e Fix typing regression of class types in recursive module declarations (#12483)
53317424ef Simplify dynamic bytecode loading by having the runtime append RETURN 1 (#12430)
f99614b98b Correct mismatched arg names in array/arrayLabels documentation (#12479)
eb2153baa0 Merge pull request #12405 from dra27/harmonise-system
96d1702bd2 Make `Unix.create_process_env` thread-safe in all cases (#12404)
3e2f3a829e Merge pull request #12473 from gasche/note-memory-model
33a0b7d4e5 memory.c doc: add a note on the 'mixed' memory non-model
42035d062c Extend [@untagged] external attribute to all immediate types
78e1e42e39 Merge pull request #12465 from dra27/update-config
c9a9571f53 Merge pull request #12456 from gadmm/effects-limitations
a9654550b6 Simplify the GitHub Actions configuration
1a024a9746 Switch i386 testing to Debian 12
8bc2e39c9c Add linguist-generated attribute to config files
4bad5b2167 Update config.guess and config.sub to latest
e3d697319e Merge pull request #12441 from gasche/parmatch-bugfix
d18010f151 Merge pull request #12432 from ELLIOTTCABLE/patch-1
5b0b199b04 Document the incompatibility between caml_callback and effects
41ccfb7ef6 Merge pull request #12381 from NickBarnes/nick-statmemprof-api
0916b377ba Explicitly list undefined Makefile variables
70ec240836 Merge pull request #12442 from gasche/more-matching-documentation
69e173031b Changes
278bf52b73 comment on Parmatch.get_mins
1e52537e19 matching: document jump summaries
220a975e85 matching: association lists are keyed on the *first* element
d41b7671ab clarifications in comp_match_handlers
774a6ce693 matching.ml: more comments
70d23f37ba lambda/matching.ml: more documentation comments
2dd9dfe271 Restore blank line.
bbc47d94e4 Merge remote-tracking branch 'upstream/trunk' into nick-statmemprof-api
7f480854c0 Test intext_par: use appropriate number of domains
5ebd664aa1 Merge pull request #12453 from kit-ty-kate/patch-5
a8f8726d06 Merge pull request #12391 from ncik-roberts/syntactic-arity-more-typedtree-locations
93e918d329 Add Changes
bc7e8ff37f Undo change in test output introduced in #12236
18ad93b186 Add location of param to parsetree/typedtree
15b9a543a4 Fix the changelog for OCaml 5.1.0
14ed172e59 Merge pull request #12434 from dustanddreams/stack_alignment_12267
8654d03bc2 Fix stack alignment computation (#12267)
05fdf9113f Remove 32-bit targets from X86_proc.system
a8df4b89da stray CAMLdrop in runtime_events.c
f272e37f3d Merge pull request #12445 from gasche/more-roots
8509200576 runtime/io.c: remove the hook machinery for channel locking
e84bc965d6 runtime/io.c: carefully root value arguments
e6aec2a5b1 Changes: section name for 5.1.0
e433806fce parmatch: bugfix? in set_args_erase_mutable
d99510d31f String docs tweaks (#12433)
c257e4996c ocamltest: fix recursive expansion of variables (#12371)
293f4703e3 Fix semantically-important typo in 'Ch 10. Memory model'
2a1cdfaa9d Merge pull request #12378 from ccasin/params-file-slash
3301bdca54 Merge pull request #12428 from stedolan/fix-let-rec-optional-typing
84e4d474de Bugfix for #12315
eb8be053a7 Merge pull request #12402 from gasche/manual-ffi-simple-interface
8baf85363f Merge pull request #12426 from dra27/update-man
cc965bd64b Remove docs for -flarge-toc/-fsmall-toc options
6c37b72552 Remove retired backends from ocamlopt manpage
6e2969e5e2 Remove Config.abi
a0ad0840f2 Comment clarifying arch=none; system=unknown
d356865040 Use system=linux for both x86_64 and x86_32 Linux
6723257110 Report the same BSD systems for x86_32 and x86_64
f1eac000db Use system=openbsd for 32-bit ARM
400abbf0ec Introduce Config.abi and use it for arm32 Linux
8185eb027f Use system=linux for ppc64 and s390x
2612a1a9fb Merge pull request #12368 from COCTI/abstract_env_for_regularity
fac0816aed Merge branch 'trunk' into abstract_env_for_regularity
248919fa47 Merge pull request #12422 from OlivierNicole/fix_CAMLno_asan
5afb5d4ed3 Merge pull request #12424 from avsm/alpine-warning
e3a12e95e3 fix warnings on Alpine Linux for parser freshness check
e3bf4006d2 seek_in, seek_out: consistently fail if pos < 0 (#12401)
d431cc7f6b Merge pull request #12409 from gadmm/systhread_simpl_and_fixes4
b64bd5257c More compatibility safeguards around CAMLno_tsan definition
14c129284d Revert non-backward-compatible CAMLno_asan change
43d8f9e6fe Fix async exception handling inside Domain.spawn
dea26f12b2 Hide a link to inbox.ocaml.org for now (#12420)
7a2b8cf57c add more explanations to typedecl
01d1a0f3cd Merge pull request #12408 from gadmm/release_callback
8f7b9bf12c [minor] documentation comment in callback.h
618c45e9da Release callback early
71dc4d68f7 intf-c.etex: move a mention of CAMLlocal after its definition + example
a9ebf46a5c Merge pull request #12406 from yallop/ocamldoc-typos
5ecda67c8b Merge pull request #12394 from gasche/manual-example-rendering
7b799bb560 Fix a couple of typos in the ocamldoc documentation.
374b8f8639 intf-c.etex: reword CAMLreturn description and examples
78bf6fa140 bootstrap
76c85c1f7c tests
c09dc8925a add reason to Type_abstract
868677ade2 fix typo
1752a84bb4 Build an explicit abstract environment for check_regularity (fix #12334)
10310e1b17 Merge remote-tracking branch 'origin/trunk' into nick-statmemprof-api
e4b0522088 fix rendering of a manual example
f3b4670572 Merge pull request #12388 from stedolan/clarify-c-example
ed26585924 Specialized error message for syntactic function arity type clash (#12386)
90dae66eb1 Merge pull request #11386 from gadmm/systhread_simpl_and_fixes3
256964012b Changes
ac3367178e Do not depend on exact error string in testsuite
f08df419fb [minor] Some documentation and FIXMEs for Unix.fork
6c792890b2 Do not create a thread if caml_thread_new ends with an exception
9371ee03b8 [minor] Improve comments and restore some comments from OCaml 4 that have been forgotten
14e0bbfaa0 [minor] Access domain_state instead of Caml_state in scan function
e5cc7e1238 Remove signal handler for preemption
2271e564c0 Remove dead code
a21739ab2c Deal with errors in st_masterlock_init (e.g. when forking)
ffdd06b1c7 Multicore statmemprof API.
57957f7825 Clarify a C example in the manual
a7c77e1bf2 documentation: currently unavailable GC metrics (#12376)
ca28168ef4 Pass `-no-execute-only` to the linker for OpenBSD >= 7.3 (#12372)
5b3d14e69c Merge pull request #12236 from ncik-roberts/syntactic-function-arity
60f5d5762e Upgrade "stale" action to v8; exempt issues marked "bug"
5bba206066 Add changes and `make alldepend`
09c3c68c92 Respond to review comments
3cab457a51 Add ast invariant for at least one value parameter to functions
934c555b75 Fix soundness bug where GADT equations were used out of scope
46a2fa2d17 bootstrap
a29445af20 Add `function` attributes to typedtree for untypeast
437548629a Parsing: rename new construct to `Pexp_function`
739f574cd1 Parsing: remove old constructs
5edc39372c Implement typechecking/translation changes for syntactic arity
1fdfc412e4 Implement parsing-side changes for syntactic function arity
5ff9ea2780 Merge pull request #12377 from xavierleroy/supported-platforms
bb9bee4fba Allow paths in ocaml_compiler_internal_params
3ab4c153a1 Merge pull request #12224 from Octachron/non_functor_error
5d66482741 Update supported platforms
581f3a7d1f error messages: quote application names
0f0b26edf3 review: error message wording
19db4b5f8f review: a type for application name in error messages
c3174995d4 update Changes: reviewer
d6b1585681 Better error messages when applying non-functors
24dda5608e Merge pull request #12373 from shindere/fix-testsuite-tools-deps
81c50fbac1 Make dependencies in testsuite/tools more accurate
007c04015d Merge pull request #12314 from xavierleroy/io-error-handling
ed4d191efe Changes entry for #12314
9f2649cea4 Discard buffered data if flush runs into a permanent, non-recoverable I/O error
535e905203 caml_read_fd and caml_write_fd no longer raise exceptions
d688fc3c7d Move Win32 -> POSIX error code conversion to runtime/win32.c
c717b6b47e Merge pull request #12114 from fabbing/tsan_patch
3e1a966105 ocamltest: better handling of wait return
cc2fa2ba70 Add Changes entry
30af781c93 Disable some TSan instrumentation for performance
288ce328d1 Disable TSan reporting on parts of the runtime
5de47514c8 Add testing for ThreadSanitizer support
4256893b39 Add ThreadSanitizer support
5b31b634d4 Restore libunwind detection
acb8924b25 Add tsan configure flag
a770588c61 Merge pull request #12357 from xavierleroy/float16-at-end
686f49870d documentation: Unix exec and process functions (#12338)
4613d4bb3d Bootstrap following "Move constructor Bigarray.Float16 last"
daa91dd7ec Move constructor Bigarray.Float16 last in type Bigarray.kind
5312b4d7b9 README.adoc: clarify status of 32-bit native compilation (#12370)
0fe1adb524 Merge pull request #12369 from ccasin/prim-error-typo
d760384ccd Fix typo in error message about primitives
e105f48085 Typo in arg.mli documentation (#12352)
e869a1d109 Add two tests for `-short-paths` with existential types (#12340)
3027e3308d Fix skiplist test failure (#12346)
fff8f846d9 Make Pattern_env.t private (#12361)
0c82de2b13 changes: add missing bug reporter
d295a9c629 Manual: replace PrioQueue example by a simpler example: FIFO queues (#12201)
b130729613 Changes bookkeeping
6484b7cf5e fix bucket assignment in caml_ev_alloc (#12349)
182367e101 Merge pull request #12358 from Octachron/ocamlmktop_i_fix
f9319a3e24 Merge pull request #12229 from ncik-roberts/remove-global-type_pat-state
7d5eda7a29 Add Changes
4443db2c0f Merge branch 't6s-remove-global-type_pat-state' into remove-global-type_pat-state
d83c395a22 Update some more test output according to rebase
c198d624bb Merge changes from t6s's edits into #12229
c9feb1c341 ocamlmktop: remove +ocamlmktop directory from include path
2d5db3c53c Changes bookkeping
5b9bfe4f02 Merge pull request #12355 from mndrix/changes-typos
fa1b57d40d Fix typo in Changes
b55ced1d03 add comments for [type_pat_state] and [Pattern_env.t]
0c92ce9f5f tiny simplification in Ppat_or
8eb0c6db5b update test output
d83ad40f4b Fix incorrect test output
d7c0c0d37c Remove global state for typechecking patterns
37c44cfe5e Pack the unification data for pattern checking in Typecore (#12331)
8934b78a67 Merge pull request #12350 from lthls/fix-changes-12032
338ed7a5c2 Fix Changes entry for PR#12059
7810957dec Merge pull request #12059 from lthls/let-rec-conditional
50430317a7 Update Changes
ce69e692cf Handle RHS_unreachable as RHS_nonrec
ae85d784f4 Correct size for recursive values with branching (native)
0babd3c722 Correct size for recursive values with branching (bytecode)
53be7d1174 Merge pull request #12347 from Octachron/error_messages_missing_polyvar
4135321cf9 testsuite: `Ctype.unify_row_field` coverage
487aedc129 error messages: report missing polyvar tag
08a6b973ad Merge pull request #12030 from fabbing/fix_data_races
1134559029 Merge branch 'trunk' into fix_data_races
2e5df7cd33 Merge pull request #12222 from lthls/non-quadratic-closures
2494045263 Update Changes for #12030
a666a52bc0 Introduce value_ptr type for mark_entry fields
0a50ec6a94 Add volatile qualifier to Tag_val and Tag_hp
044a0026e7 Undo Field_atomic and Tag_atomic_val changes
453191668b Fix data races by using relaxed atomic when necessary
6842ffca1b Merge pull request #12212 from bartoszmodelski/aligned-alloc
ca974d0eb8 update Changes
c7be43518c Merge pull request #12342 from kayceesrk/fix_signal_hang
58356c7928 Add cache-aligned atomic
ca7090c1b5 Update Changes file
657a5b8256 Bytecode: linear computation of closure environments
7ea7f35dbd Closure: linear computation of closure environments
8f8c750b86 Fix infinite loop in signal handling.
4c599fd1ce Fix Windows Sys.rename regression from #12184 (#12320)
829e32d2c5 Use `CAMLnoret` instead of `CAMLnoreturn_{start,end}` (#12235)
800bf87006 Remove the assertion hidden in `caml_failed_assert` (#12341)
1b312360e9 Merge pull request #11931 from stedolan/ctype-tsubst-bug
d47890afb5 Update test syntax
da829f4329 Apply Subst.Type_function without using Ctype
f1e5da2393 Changes
f84a4409dc…
mshinwell
added a commit
that referenced
this pull request
Jul 16, 2024
70007b2500 Merge flambda-backend changes
8b2c8a0f98 Make lambda/*.ml build (#289)
e13c543aeb Make file_formats/*.ml build (#294)
50c37ff23d Make bytecomp/*.ml build (#288)
4b51c3f8a9 Fix in Topcommon for 4.14.x system compiler (#297)
228d1f059e Revert "Get rid of the LongString module (#12360)" (#296)
110d657a5b Making utils/*.ml build (#290)
610ab30e76 Fix toplevel/*.ml (#293)
c87b2b0d7f Set RUNTIME_DIR in build-resolved-files-for-ci (#287)
8d7f9174d0 Minor fixes to instruct.mli (#286)
35424aff8d Fix parsing mli conflicts, except `parser.mly` (#271)
ba062bdef5 Revert utils/load_path.ml{,i} to our side (#275)
c1c741dea1 Minor fixes to file_formats/cmt_format.mli (#282)
3a82c2b023 Minor dune fixes (#281)
1bcb37b847 Resolve conflicts in Makefile.config.in (#280)
6a55662dcd Resolve conflicts in bytecomp/*.mli and remove Symtable.Compunit (#279)
b576d6d5b1 Resolve conflicts in lambda/*.mli (#277)
c0c67732f0 Resolve conflicts in driver/*.mli (#278)
3ba8c7eea7 Resolve conflicts in file_formats/*.mli (#276)
2f990bbebd Resolve conflicts in root dune file (#274)
7eaa8098a0 Fix conflicts in utils/{clflags,config,misc}.mli (#273)
851e7a0d41 Fix .gitignore, runtime/caml/exec.h* and ocamltest_unix_real.ml (#270)
cf8e809fae Fix configure.ac and VERSION-related things (#272)
e2448856b0 Merge tag 5.2.0
2167f860f7 Merge flambda-backend changes
74a76cc2f2 release 5.2.0
5ead9e83ff last commit before tagging 5.2.0
dfe59502ad increment version number after tagging 5.2.0~rc1
9b4698b2bd release 5.2.0~rc1
b9a92a9f7d last commit before tagging 5.2.0~rc1
18007e6bae Simple pretty-printing patches (#13130)
3257d87839 Merge pull request #13100 from dra27/zstd-runs
18c27bca46 Revert "Merge pull request #13029 from dra27/windows-zstd"
d38925dd59 increment version number after tagging 5.2.0~beta2
69881e2c9d release 5.2.0~beta2
a03ff9380c last commit before tagging 5.2.0~beta2
9e54469ff5 Merge pull request #13094 from MisterDA/ub-left-shifting-negative-number
2079ced945 Merge pull request #13078 from edwintorok/format-man
3800243ae8 manual: document `poll` built-in attribute (#13092)
7b19df9979 manual: remove empty syntax block for lazy patterns
0463e49543 manual: fix OCAMLRUNPARAM l parameter documentation (#13066)
89301a2ca4 shapes: do not read_back entire shape to get aliases uids (#13001)
5f767ecff0 Merge pull request #13079 from tmcgilchrist/arm_backtraces
f6926ef50d Merge pull request #13085 from damiendoligez/fix-gc-verbose-messages
3a176d7639 Merge pull request #13029 from dra27/windows-zstd
e117fa730a Merge pull request #13058 from dustanddreams/issue_13040
4f89749b78 increment version number after tagging 5.2.0~beta1
4f6950eb94 release 5.2.0~beta1
78fb9374f7 last commit before tagging 5.2.0~beta1
7748b2e7ea Merge pull request #13048 from shindere/fix-native-tools-build
03a308f462 testsuite: fix a forgotten `hassysthreads` in tests
8d77d5d47b Rework package constraint checking to improve interaction with immediacy (#12930)
0a8ce126c0 Merge pull request #13027 from ksromanov/patch-1
38a5cb10ee Merge pull request #12889 from gasche/thread-safe-DLS
d365affe80 Merge pull request #13019 from dra27/linking-stuff-trunk
efc0946148 Merge pull request #13030 from dra27/mingw-config-cache
3c141d0d84 Merge pull request #12914 from dustanddreams/clang_s390x
2bc47925af Merge pull request #12915 from dustanddreams/s390x_tsan
93328fa58c Merge pull request #12876 from dustanddreams/ppc64_tsan
87aac3ea45 Merge pull request #12998 from dra27/zstd-fpic
7bf5d1e2f5 Merge pull request #13017 from damiendoligez/ci-tweaks-for-msvc
e17940fa67 Merge pull request #12678 from damiendoligez/free-channel-buffers-on-close
bb0160051c fix tests that use Unix without checking whether the Unix library is configured (#13000)
cae1443f14 change CI main script to avoid running on centos-oldest
df184c8e28 #12984: restore the filename computation for companion cmi (#12987)
d78d303155 add missing @since in docs (#12978)
a7cdaec5e9 Changes bookeeping
95135ce2a8 Merge pull request #12860 from mshinwell/fix-is-marked-assertion
40779de5a5 Merge pull request #12882 from gadmm/systhread_yield
cf3a100b2b Changes bookeeping
8195440f0d Merge pull request #12974 from gasche/stray_try_expand_once
721180e54d Merge pull request #12969 from fabbing/race_gc_tracing_free_stack
7bb15e1295 Merge pull request #12900 from gasche/runtime-events-fix-lock
62780d00e5 Merge pull request #12918 from mndrix/nobtcfi
83168f5d82 Merge pull request #12894 from Johan511/r_oldify-alloc-race
31e6d15ca5 Merge pull request #12919 from dustanddreams/s390x_register_corruption
5312244632 Merge pull request #12906 from OlivierNicole/fix_race_roots
dc8eb3369f increment version number after tagging 5.2.0~alpha1
5a920f9522 release 5.2.0~alpha1
ccefdedc81 last commit before tagging 5.2.0~alpha1
df19720da2 Bump magic number for 5.2 before first alpha
a419c76651 TMC: fix translation of try-with, (&&), (||) (#12958)
4b92d4a0d8 Merge pull request #12934 from OlivierNicole/fix-race-marking-sweeping
6d50a141a2 Merge pull request #12751 from dra27/runtime-launch-info
dbc2800f9a Update changes
48102a35b6 Merge pull request #12861 from mshinwell/backtrace-last-exn-modification
94bef0c7ef Remove #12839 from Changes (it's not in 5.2)
800ba1ffee Merge pull request #12886 from TheNumbat/trunk
50d9ea10e7 Fix an `.o` extension in the Makefile (#12950)
3729db6b79 Merge pull request #12922 from stedolan/remove-caml-get-section-table
9b049aef85 Refactor Dynlink startup to avoid parsing bytecode sections twice (#12599)
dc41ba9321 ThreadSanitizer support for Risc-V (#12907)
40e295ddbc dynarray.ml: remove a stale comment
45e6bd6f55 Compile recursive bindings in Lambda (#12596)
0291ca33e8 Merge pull request #12908 from lthls/ocamllex-overflow
5e3ec06ac7 Merge pull request #12942 from ncik-roberts/correct-order-of-missing-items-error
608f626afd Changes entry for 12758
40ecd3dbf5 Bootstrap after removal of Marshal.Compression flag
996986ba3d ocamlopt: do not link -lzstd nor zstd.n.o by default, only for compilerlibs
96dd664e57 Move compressed marshaling from stdlib/marshal to utils/compression
23e41982ce Move the functions that use ZSTD compression to a separate zstd.c file
16adb56be3 Reduce the dependencies of native-code Dynlink
02b39701d8 Merge pull request #12508 from voodoos/store-index-in-cmt-trunk
b4d894ddc1 Merge pull request #12878 from yallop/private-injective
f45ccae5c2 another 4.14 Changes entry
7d1daf6243 Changes: include sections for 4.14.1 and 4.14 maintenance
8522df783a Merge pull request #12911 from NickBarnes/nick-domain-create-fail-count
516c24db71 Merge pull request #12855 from dustanddreams/overzealous_domain_failure
34fbd7d195 Merge pull request #12834 from gadmm/refactor_thread_register
43ad7135cd Merge pull request #12851 from OlivierNicole/fix_issue_12799
2278d39ad1 Make Gc.compact do a complete compaction, add Gc.quick_compact (#12859)
fb7aa7e862 Merge pull request #12746 from OlivierNicole/tsan_cleanup
684fb82d65 Correct location of Changes entry
3811112579 Merge pull request #12810 from dustanddreams/arm64_tsan
810f6e4cdb Merge pull request #12872 from gasche/injective-dynarray
877bd14d85 Merge pull request #12840 from OlivierNicole/custom-events-manual
f87ea0bef6 first commit on branch 5.2
23e84b8c4d last commit before branching 5.2
b55967670e changes: prepare branching for 5.2
ec375fe25d Merge pull request #12505 from xavierleroy/emergency-fix-12481
2a97d23d4e Merge pull request #12862 from dra27/fix-deepen
f063637be9 Fix deepen-fetch.sh yet again
3e326faa96 Merge pull request #12856 from gasche/fix-atomic-cse-again
faf5188056 Changes
e5daa90e39 CSE across atomic loads: treat atomic loads as stores
b274ea5d7e Merge pull request #12843 from dra27/gnu-make-4-4-1
dd9ae91d35 Remove BOOT_OCAMLC_FLAGS
2f1416b224 Merge pull request #12857 from dra27/flambda-tests
27d8b8955d Fix use of no-flambda in two tests
d63eba5427 egocentric Changes update as per the relevant PR discussion
b8b2def6be Update stats at the end of a major cycle (and potentially a compaction) (#12850)
24de0b1584 Workaround MSVCC_ROOT error in flexdll
901693c033 Workaround GNU make 4.4 new warning
ba71f2e47d Merge pull request #12846 from dra27/unify-gha-ci
1236deba3e Merge pull request #12512 from OlivierNicole/more_volatile
1d7f71fcd8 Add const qualifier
30971bf48d Merge pull request #12845 from dra27/get_binary_mode
dff69c87d8 Add {In,Out}_channel.is_binary_mode
0c07b331ce Merge pull request #12844 from dra27/testsuite-libunix
5a25d6907d Add Changes entry
3908dd368e Merge pull request #12842 from dra27/sorted-testsuite
6e697876d9 Document the concurrent use of Marshal functions
2fe752d51e Add missing volatile qualifiers to FFI macros for domain safety
8dc184e20d Fold the skipped and slow tests in GitHub Actions
0276f04fb1 Merge pull request #12841 from dra27/configure-csc
04583dfcc7 Sort portably, to appease mawk
a90205906d List slow tests immediately after skipped tests
fb3a6d8513 Merge pull request #12624 from dra27/xdg_config_dirs
8b96c530b2 show non-generalizable type parameters in type definitions (#12837)
f4eceda2b5 Move Changes entry to correct place
b82413d077 Refactoring and extending the Digest module with better hash functions (#12307)
ed6481848d Merge pull request #12818 from MisterDA/makefile-windows-improvements
3aeee835ce Merge pull request #12764 from MisterDA/headers-caml-subdir
a4e1d3d249 Merge pull request #12811 from MisterDA/CAMLthread_local
d02ad4ec31 Move all installable headers in caml/ sub-directories
c50509fed4 Define and use the CAMLthread_local macro for TLS variables
c678dd6380 Changes: synchronize with 5.1.1 changes
241dd4987c Merge pull request #12833 from shym/test-ro
7354e450d1 Remove a non-existing file from a `readonly_files` list
8f43819277 Include `windows.h` in a few places it is required (#12832)
6e1ead065a Merge pull request #12827 from dra27/testsuite-pthreads
cc33887df6 Merge pull request #12807 from gasche/no-lazy-in-typing
07a4cc3548 Merge pull request #12831 from lthls/s390x-fix-realloc-stack-call
ee5f2cbe7f Changes
c40a955c02 Fix s390x stack reallocation code in PIC mode
784fe56d79 Merge pull request #12737 from OlivierNicole/fix_data_races
8f4af7f47b Update Changes
1a35885271 Remove no_tsan annot now that the race is fixed
e7fcda371d Fix data race in caml_natdynlink_open
42a6339260 Fix data race in minor GC
1516ff7600 Don't use pthread.h in tests
88d8880184 Merge pull request #10691 from gpetiot/ast_mapper-toplevel_phrase
77f5f76eb6 Ast_mapper, Ast_iterator: add functions directive_argument, toplevel_directive and toplevel_phrase
a46fd9e3d2 Merge pull request #12822 from tmcgilchrist/tsan_docs
bd3c378bb4 Merge pull request #12816 from shindere/remove-domain-unique-token-primitive
5eccfeb777 Merge pull request #12819 from bclement-ocp/patch-1
850c330efa Changes entry for 12819
def86e522f Merge pull request #12824 from NickBarnes/nick-statmemprof-assert-2
369033da95 Clarify which runtime interactions are allowed in custom ops
033e7003d7 One-line assert fix; see also #12817.
61e8904329 Minor TSan documentation improvements.
7ceab32dd9 Merge pull request #12814 from xavierleroy/intern-error-messages
58024e0145 dune: check-typo
d09c3a7661 dune: fix some build errors
dadf9a9bac Changes entry for 12184
6e7c4aee44 More precise failure messages for unmarshaling
58f322350c Constify the string parameter of caml_find_custom_operations
dc1c1055f1 Merge pull request #12815 from dra27/consistent-locs
067115a0b0 Correctly report multi-line exception locations
db5d2919ee Merge pull request #12817 from NickBarnes/nick-memprof-trigger-assertion-fail
3dd28c41ac Less confusing uses of AS_CASE
1557e24f6e Distclean flexdll too
b5e8adda3a Use ocaml/flexdll everywhere
3251082692 Improve vendor detection on Windows
c4ec36f424 Fix assertion failure.
411174a19d Compiler bootstrap
dad62583e8 Remove the unused caml_ml_domain_unique_token primitive from the runtime
09268f3f2c Use XDG_CONFIG_DIRS as well as XDG_CONFIG_HOME
3838bbfffc Basic thread and domain interfaces to the memprof module, and data structures. (#12382)
605ae2d896 Merge pull request #12768 from MisterDA/ocaml_cv_cc_vendor
789d3e2ccd Add Toploop.split_path
532a0f966e Add caml_xdg_defaults primitive
9461af309d Update changes
850f1c2f84 Prefer $ocaml_cv_cc_vendor to undocumented $cc_basename
fe92a34d1d Improve error message if TSan is unsupported
013ee379d4 Detect clang-cl as a C compiler vendor
251c6dd83c Properly detect mingw-w64 as a C compiler vendor
4fb079c838 Merge pull request #12809 from dustanddreams/tsan_freebsd_amd64_tsan
a8a03abaae Tweak backtrace filtering for FreeBSD.
0c82f63541 Add TSan support for FreeBSD/amd64
f8d4eb2497 Add manual chapter about ThreadSanitizer support (#12802)
90b369f67c Merge pull request #12806 from OlivierNicole/update_comment
d8b1076f92 Merge pull request #12804 from dustanddreams/minor_tsan_cleanup
f92c37d967 Replace magic stack offsets with proper computations
bc60562909 Add more CFI annotations to TSan-specific code paths
f24dd14b5e remove Lazy in typing/
5a6f575d7b Update outdated comment in tsan.c
ac434b6dcf Merge pull request #12786 from COCTI/limited_generalize
c243aec0f6 Changes
ba26d81ea5 remove an unnnecessary traversal and an unnecessary level comparison
b1ba17cc0b remove abuses of levels in Ctype.limited_generalize
08069e6cb9 Merge pull request #12782 from lthls/let-rec-classification-fixes
4de28ed7e1 Changes
24b0871ce6 Small doc comments
a466d7dbf6 Fix recursive classification for objects, modules and lazy expressions
16969c22ed ocamlc -custom: add extern modifiers when using a C++ compiler (#12791)
039af06a1f Fix typo in builtin_attributes.mli (#12803)
3fa952ed61 Switch hygiene job back to ubuntu-latest
692bb603b2 Unify the normal and extra jobs
6fad48cfe5 Merge pull request #12788 from MisterDA/ocamltest-cpp-cppflags-cflags
1dae2f5a6f Merge pull request #12776 from Octachron/links_are_not_typo
e00edd33e1 Changes: reviewer for #12801
faaec61e82 Merge pull request #12801 from talex5/fix-sockaddr-gc
e9625983e8 Fix memory corruption in caml_unix_alloc_sockaddr (#12796)
d5b5c34971 Merge pull request #12706 from shindere/merge-testsuite-sub-makefiles
c20c1ffb17 Update Changes entry
fcefe0c85c Make it impossible to build ocamltest when it has been disabled
c8cb87b77e Merge testsuite/tools/Makefile into the root Makefile
ca3ee4c3bc Merge testsuite/lib/Makefile into the root Makefile
982cf75042 Merge pull request #12209 from Octachron/fix_exponent_in_doc
a325a18d38 Merge pull request #12793 from gasche/put-the-Lock-back-on
c2476e3db9 Merge pull request #12735 from lpw25/continuation-last-fiber
07e55382f2 Replace ssize_t (which is absent in MSVC) with ptrdiff_t (which is standard C). (#12795)
e0fdea0a43 Fix Buffer.add_substitute (#12423)
3963eac85f Stdlib: add Fun.compose (#12770)
aa3734a482 io.h: add Lock,Unlock aliases for compatibility
3437f2e523 Add Changes entry
9e44fbd740 Bootstrap
f80990e2e2 Store both ends of the stack chain in continuations
20336d050c Merge pull request #12777 from jchavarri/add-details-method-mismatch-error
243f4cd378 Merge pull request #12787 from gadmm/no_bool
f9743d6e0e Changes
622632d7e5 Use ${cppflags} and ${cflags} in output-complete-obj tests
f89b49404c Expose cpp and cppflags in ocamltest
4bcf21af15 Expose cflags variable in ocamltest
8cfd9c5a39 Fix data race on global pools arrays of `pool_freelist` (#12755)
57e4158d32 Avoid using _Bool in public headers for the sake of C++ compatibility
cbc5a0c807 Scan runtime/*.c for primitives less often (#12753)
70d7f4ecf0 Improve backtrace abstractions inside runtime (#12383)
9b9868e606 Merge pull request #12784 from NickBarnes/nick-gc-counters
0af4851287 update changelog
392a30c3c2 type_expr_with_reserved_names should reserved names
c3a48c31c5 Fix minor-heap allocation computation in Gc.counters().
1537083e31 Merge pull request #12608 from lthls/let-rec-constant-classification
c3cf856030 More precise Constant classification
100558ca56 Refactoring:
987bc3bccd Add Constant and Class classifications
b01dfaeb43 consolidate method error msgs
bdca250cb5 format: fix incorrect odoc format (#12778)
3dfe532579 add details for method mismatch errors
f6649d7dfc check-typo: be more liberal with url
426f1ea333 Merge pull request #12769 from MisterDA/windows-no-unistd
2d4d332282 Do not include `<unistd.h>` on Windows
2457da85a8 Remove unneeded or guard `<sys/time.h>`
5bae5d9831 Compute the list of libraries to build at configure time
db68f2417a Fix compilation of compilerlibs
b98b5e76c1 Merge pull request #12765 from OlivierNicole/patch-1
6a79fd8a4c Merge pull request #12767 from dra27/fix-ocamltest-keep
3217a775e2 Fix summary computation in ocamltest
36afb76299 Update function name in comment
104656fe4c Add `Random.int_in_range` and similar functions (#12459)
b58aafcdd1 Remove useless Obj.magic from ocamlnat code (#12761)
ef18034aab Merge pull request #12760 from dra27/update-msvs-promote-path
f03ed06b23 Missed check-typo
ba0e4258e3 Merge pull request #12759 from dra27/testsuite-win-fix
9f86d948e1 Update msvs-promote-path to upstream's 0.6.0
782598d5f4 Merge pull request #12757 from stedolan/fix-ocamlnat
50508ba632 Changes
48e74f2852 Fix ocamlnat frame table registration
1d324a4114 Slightly improved manipulation of $IFS on Windows
ff1e82017b Fix testsuite exec-one for Windows
3cc44f6edd Catch testsuite infrastructure errors
ecf19e0344 Fix compilation of nested packs (#12609)
6125c291d0 Do not change GC pace when creating sub-arrays of bigarrays (#12754)
8ec2b3dfd4 Adjust Changes
2309e90d02 Merge pull request #12750 from dra27/display-primitives-command
214bf6a361 Merge pull request #12743 from TheNumbat/trunk
db380d6b62 Display primitives retrieval command in -verbose
441811c4aa Changes
d1cb680b62 Merge pull request #12744 from ncik-roberts/make-parallel-always-runs-tests-in-subdirectories
b01b88a302 Add Changes
4d5698f530 Suggestion from review
5724f823be add KC as #12742 reviewer
ed3329fe76 Merge pull request #12742 from jmid/fix-domain-assertion
8073903d03 `make -C testsuite parallel` always runs tests in subdirs
624b9e7b1e Add a Changes entry for #12742
e444a9612b pthread_sigmask
1457e49136 Adjust assertion to include the boundary condition dom_st->young_ptr == dom_st->young_trigger
fc57b23480 Some syntactic changes in Changes to ease information extraction (#12741)
b4308a0c74 Merge pull request #12318 from damiendoligez/fix-caml-alloc-custom-mem
c49bf6876c small refactoring; make caml_alloc_custom equivalent to caml_alloc_custom_mem when max is 0
9b059b1e7a Merge pull request #12731 from dra27/primitives.new
446b92da83 Fix #12727 (partial applications in Rec_check) (#12730)
c8574a3e16 Fix parallel recursive invocations of make
560216c61c Fix TSan false positives due to volatile write handling (#12681)
e27a6a332c Move the computation of max_major back to custom.c and call this computation from adjust_gc_speed whenever max = 0. This streamlines alloc_custom_gen and fixes a bug reported by @gasche.
842975cf25 Merge pull request #12729 from dra27/gitattributes
718553e7fb Merge pull request #12451 from ccasin/warning-53
22e7c76fe8 Merge pull request #12726 from nojb/fix_headernt
df663ca266 github-linguist: use M4Sugar for autoconf macros
b3d2a9dccc github-linguist: various language overrides
c4783f01fc github-linguist: Autoconf Archive
69880cfc2e github-linguist: autoconf support scripts
e623fd75b7 integrate review: allocate fewer strings and delete a stray comment
1b77dfe82a Changes
25a4dc7c14 headernt.c: fix segmentation fault when runtime not found
efd732249a Fix label evaluation order (#12720)
6e0ba58f37 Merge pull request #12710 from kayceesrk/fix_finaliser_handover_flakiness
aa42332b8f Enable finalise handover test. Add Changes.
6601f1b672 Merge pull request #12714 from MisterDA/cc-Wundef
6626dc1101 Address review comments.
ac4132c56a Add code comments. Fix formatting.
fefd4399ab Remain in Phase_sweep_and_mark_main when orphaning finalisers.
bdd8d96034 Make the GC compact again (#12193)
44d2127178 Warn on use of undefined macros
3d76183be2 Guard against use of undefined macros in headers
10f13345ba Fix the documentation of Bytes.split_on_char (#12718)
c6eec0c34b Improve the documentation of {String,Byte}.split_on_char (#12717)
0c963ceb4d Merge pull request #12715 from gasche/atomic-load-no-cse
f09aa85279 Merge pull request #12716 from zapashcanon/ppnothing
dca5e6e796 disable CSE for atomic loads
d417fcbe7e add Format.pp_print_nothing
d77bc97a0a minor code cleanup
49010d8800 Merge pull request #12711 from dustanddreams/tsan_backtrace
9f4142fbf4 Merge pull request #12694 from OlivierNicole/tsan_mm_comments
f98d903661 Fix stack unwinding in caml_tsan_entry_on_resume().
b19bdb03c1 Merge pull request #12243 from damiendoligez/ocamltest-new-log-format
ed7b3824a2 Merge pull request #12708 from gasche/skip-finaliser-handover
7d6bd421a9 Cleanup `expand_abbrev_gen` (#12691)
e74de27231 integrate review: missing attributes
2bf1701946 integrate review: doc sections in builtin_attributes
3bc54daf8d integrate review: rename [attr_tracking_time] and [filter_attributes]
968b5f70f9 integrate review: move namespace logic to eliminate duplication
2086c085f1 changes entry
20e86960d9 [@ppwarning] with a bad payload should give w47, not w53
4659b7c40e bootstrap
7cfdc3164e Handle attributes like "warning" and "alert"
00893de01f bootstrap, promote parser, make depend
2daacd99aa Handle the basic attributes.
64d6327958 Rework w53 tests.
35501bd36d Add attr tracking mechanism, but don't whitelist any attrs yet
62df46a669 OCaml 5: Backport flambda-backend#1960 (#268)
217d42e71d Merge pull request #12700 from xavierleroy/gen-prims
eb8470040f skip the finaliser_handover test
8cc728b5bc Merge pull request #12707 from jmid/domain-assert-failure
d3f15b14ed Changes entry for 12700
0ae9045642 Add dependencies on the generator scripts runtime/gen_*.sh
6c0351b996 Fix (partially) the Dune build
5b7a8966e3 Get rid of the `DEFINE_NAN_CMP` macro
d6b868c551 Build runtime/prims.c with accurate declarations of primitives
2ed291fb68 Add a Changes entry for #12707
ab4278a63a Documentation comments of TSan instrumentation choices
526721a6ad Read asserted values only once to avoid a race condition
d73896d405 Merge pull request #12692 from Julow/loc-typevar-extended
6bad032104 runtime/mlvalues.h: more careful definition of Tag_val (#12703)
a62f7fb657 Merge pull request #12701 from MisterDA/appveyor-updates
4afd608216 AppVeyor: evict the configure cache if configure changed
9f3a06a169 AppVeyor: restrict runs for branch pushes as for GitHub Actions
9257bad37e AppVeyor: set all git clones as a safe directory
3f9dae048e AppVeyor: default to Visual Studio 2022 environment
76ba21b4d9 AppVeyor: don't pass build triplet to configure
5ad6900fa2 AppVeyor: update to FlexDLL 0.43
14d9ab1056 In C++, give `Bool_val` the type `bool` (#12702)
adfd04172c Fix regression in #12403: quote source code also for marshalled ASTs (#12698)
80ca7e797b Merge pull request #12640 from dustanddreams/configurable_module_separator
b167b25690 Make the module separator used in symbol names configurable.
725776300a Update .depend
5087a65878 catch errors in setup of initial environment
2e68efb756 report errors in test report format in all cases
3f3211231e interpret ASTs directly; print line numbers instead of tree occurrences
2f944c9a4a Change runtime/gen_primitives.sh to take the list of .c files as argument
f6d6f65f0f Merge pull request #12693 from OlivierNicole/remove_camlno_tsan
fd41b69bc1 Remove no longer needed CAMLno_tsan attributes
e8a70600c1 parser: Location of typevars includes the quote
abee02590e Merge pull request #12689 from OlivierNicole/fix_false_positive
d49c09679f Remove benign data race in parallel test
f9371a2ea2 Merge pull request #12662 from Octachron/ocamldoc_less_str
affc1c86c0 ocamldoc: centralize lexical convention before utf-8
7a0439d758 Merge pull request #12652 from shindere/magic-numbers
b194587613 Merge pull request #12686 from xavierleroy/primitive-cleanup
7892e6f7b7 Move the definition of magic numbers to build-aux/ocaml_version.m4
ebae0d16c5 Merge pull request #12461 from panglesd/parsetree-change-in-ci
afadab4cb1 Changes for #12686
92e16dd93c Declare the arrays of primitives with the same `const`-ness as their definitions
6d934febd1 Bootstrap after removing some primitives
371cb325f5 Normalize the types of primitives
e5ee79a0e8 Don't define nor export as primitives the `caml_int64_*_native` functions
6da7db6911 runtime_events: `caml_runtime_events_user_resolve` is not a primitive
bb23a030d6 runtime_events: `caml_runtime_events_{start,pause,resume}` are not primitives
c48fb71f60 Intermediate bootstrap while fixing the runtime_events primitives
8b2fdc910a runtime_events: introduce primitives `caml_ml_runtime_events_{start,pause,resume}`
271a81b904 Merge pull request #12688 from favonia/no-color
1bc8ff2482 CI: Check relevance of parsetree-change label
d55a51a7d6 Merge pull request #12687 from OlivierNicole/fix_false_positive_tsan
2c3cc706d0 Add an entry in Changes
631ed8d3e5 Update the logic of detecting NO_COLOR
f7d02698f7 Make tests/parallel/catch_break.ml more robust (#12618)
7b651cc772 Use unique delimiters to quote strings representing magic numbers
e8e5b2f8e5 Use proper C99 flexible array members (#12685)
5c74c3ce39 fix locations filename in AST produced by the `-pp` option (#12684)
a0bbd7c79f Merge pull request #12181 from smuenzel/optim-comparison
be5bbed3be Make sure false positive from #12282 is silenced
7fd42b77d9 clarify meaning of "non-path module type" (#12679)
9cb230cc4c Merge pull request #12673 from ncik-roberts/fix-type-directed-disambiguation-of-optional-arg-defaults
18f0eeea67 Add Changes
b4369a696f Implement a possible fix + update test
b7872b937f Add regression test
7748b4543e Merge pull request #12683 from sheeraSearch82/domain-self-noalloc
7d685c6bfd Correct two tests using libunix instead of hasunix
414199f960 Remove unnecessary libunix
a5cd2ee90f Annotate Domain.self with noalloc
d21d884ef2 Merge pull request #11882 from gasche/dyn-array-boxed
fd8fa160c0 Changes
efd03d9be4 Update for primitive operations
41169a484d Simplify calls to `caml_int_compare` (and similar functions).
125bc717e4 dynarray: error message clarifications
1d38d605d8 Dynarray: get_last, find_last
08e29f843b prevent inlining of error functions (cold paths) to reduce code size
217b06be1b dynarray: remove atomicity claims
352e946dc7 act on a review by Guillaume Munch-Maccagnoni
792bf6ca92 offer both to_seq{,_rev} and to_seq{,_rev}_reentrant
0003150840 acting on the review by Pieter Goetschalckx
96f4c8894b truncate_capacity => set_capacity
42388efe93 acting on the review by Wiktor Kuchta
dc68213c89 Dynarray.fold_right
2e1f3e4bda acting on the review by Damien Doligez
ce14a79d04 Changes
f9c1092895 integrate review comments from Clément Allain
6a5e0e5d98 dynarray.mli: specify more exceptions
6e06a79b44 dynarray: restructure the testsuite
cdf478657a dynarray.mli: mutable priority queue as a documentation example
a442f2fece Dynarray.capacity : 'a Dynarray.t -> int
1e16db9ec1 dynarray: raise Invalid_argument instead of Failure above Sys.max_array_length
b850cee152 dynarray: display iterator function name on invalidation error
7377d9d1c7 dynarray: change the ensure_capacity growth strategy to be 'exact' in most cases
54ebac40f3 new function Dynarray.truncate_capacity : 'a Dynarray.t -> int -> unit
6f638e885a Dynarray.ensure_extra_capacity
10bac6b2a8 dynarray.mli: use 'element' rather than 'item'
b7a2903cc2 dynarray.mli: rework iterators documentation
144e667b67 dynarray.mli code review
af126ade4a dynarray.mli code review
71b34a6aeb dynarray.mli review: explain the current memory layout
49643349b9 test iterator-invalidation examples in the testsuite
35c9c8ae6a Dynarray: an implementation that purposedly fails on iterator invalidation
ba98761801 Dynarray: a reentrant (boxed) implementation
15924d2f72 Dynarray: boxed (non-reentrant) implementation, better documentation
e838f6b2c7 Dynarray: more agressive resizing strategy
a292aa906d dynarray interface: optimize `add_last` and remove `unsafe_add_last`
7d190a3f33 dynarray interface: add 'reset' as in Buffer
4b54d610c8 dynarray interface: remove `rev`
fef721c099 dynarray interface: remove `blit`
6256a2fa8b dynarray interface: a single `ensure_capacity` function
23747d174e fix doc
9458313711 rename shrink_capacity to fit_capacity; add append_iter; update doc
a49c1b66d5 use add_last/unsafe_add_last for dynarray
2cc8445dd2 more docs
7745f823b5 add filter/filter_map to dynarray
691ce714b7 more docs
3e12b8d231 remove uses of `Array.unsafe_{get,set}` in dynarray
bcd540fe9c use `push_last` instead of `push`
87319173a7 rename pop_exn/pop to pop_last/pop_last_opt, add remove_last
3fd24538b1 rename Dyn_array to Dynarray
6cbb5aba72 new design without Obj; rename dummy to filler
59f156b638 add some basic tests for Dyn_array
60ae582162 update existing stamp-dependent tests after new Stdlib module
49ce7cf532 first implementation of Dyn_array
7ae91bc8cc fix runtime-events tests to be more robust to GC variations
a7cd0c6ee0 alloc_custom_mem: do not convert memory size to heap proportion and later back to work units using a different heap size. When the heap is growing, this unduly accelerates the major GC, slowing down the program.
7b2c75972a make the test differential (probably more robust)
26ebc3dae6 tweak test to work identically with and without flambda
9ae9928f10 add Changes entry and documentation comment
ab631298dc make tests/lib-runtime-events/test_instrumented.ml more stable wrt GC behavior
1ce30c7fcb change the meaning of custom_minor_max_size
dee097259d Remove benign data race in parallel test (#12680)
c45454703d Merge pull request #12616 from shindere/merge-ocamldoc-makefile
53f2a93e4f Make the build_libraries_manpages configuration variable more accurate
cb3e23055d Rename the STDLIB_MANPAGES config var to build_libraries_manpages
ac88609439 Merge ocamldoc/Makefile into the root Makefile
7fb564cf31 Merge ocamldoc/Makefile.best_ocamldoc into Makefile.best_binaries
55581106bd ocamldoc/Makefile.best_ocamldoc: remove useless ./ prefixes
ff5923f54e Deprecate the WITH_OCAMLDOC build variable
ca9ba543b0 ocamldoc/Makefile.best_ocamldoc: get rid of OCAMLDOC_RUN_PLUGINS
0e87534e0a Remove ocamltest's beforedepend constraint from the root Makefile
14a3ce631a Merge pull request #12586 from shindere/merge-compilerlibs-makefile
da035ffaf2 Merge compilerlibs/Makefile.compilerlibs into the root Makefile
5a7f52d2af Move the computation of architecture-specific sources to configure
e1c292874e Use the new framework to build compilerlibs
495a99fb84 Introduce the framework to build OCaml libraries
e397ed28bc Merge pull request #12639 from Julow/loc-ptyp_as
e5c693d219 Merge pull request #12496 from ncik-roberts/maintain-syntactic-arity-in-simplif
bd524bdfd0 Merge pull request #12672 from NickBarnes/nick-ocamldoc-iter2
42ea2fd006 Merge pull request #12674 from dra27/tweak-hacking
4042ca3b57 Re-enable ThreadSanitizer in the Inria CI (#12644)
f40b31e1de Simplify opam pin command in HACKING.adoc
f6cd6955a1 Fix incorrect comment in tests
3c014a569f Silence ocamldoc warning.
d435a2971a Merge pull request #12671 from smuenzel/a-type-parameter-has-type
3c4f2a69bf better treatment of arrow_index
17db5ecfc2 Rename no-longer-alloc-related test
adba3715cb Fix up test according to review
20a5cb189b Identify mismatch class parameters by ordinal in error messages
304373834c Update .depend
67851ab433 Identify mismatched class type parameters by ordinal in error messages.
f4c27cb3e4 add confusing error case
0cdac0311f Merge pull request #12669 from smuenzel/schedgen-global
90c46ff4c6 fix long lines committed through GitHub web UI
c458527e49 Merge branch 'maintain-syntactic-arity-in-simplif' of github.com:ncik-roberts/ocaml into maintain-syntactic-arity-in-simplif
4cdb26344d Add comment explaining lazy block
7602c4f624 Update lambda/lambda.mli
ad637612ac Add Changes
84daf9e092 Turn off arity fusion for [fun] and [function]
e5555c7eae Add regression test
82a04cfdd9 Merge pull request #12667 from awilfox/awilfox/power-right-way-round
830fff5143 Small changes
782709fd6f README update and changes entry for 12667
5fc5496138 runtime/power.S: add a compile-time check on the ABI version used
df4b35a004 Update changes
72c74712e4 remove unused variable trywith_nesting
db89e7edcc Remove global state in asmcomp/schedgen
13355e6f3a Support native compiler on ABIv2 Power BE (#12656)
f1ca080bcb Update POWER asmgen test for OCaml 5
3d4eb0663a Use C11/C++11 standard static assertion (#12537)
2f945aef4f CI other-configs: test C23 conformance using clang-18 -std=gnu2x
aa45946be8 Merge pull request #12659 from fabbing/tsan_better_testing
ed02d123f0 Merge pull request #12619 from gasche/runtime-stw-function-names
6a2b1beeef Reintroduce the `sleep`ing spinwait
bba42ff1df Changes
e9768ae977 STW naming conventions
8bbeb2ed84 STW naming conventions
79b9dec17a STW naming conventions
8519cfd57f STW naming conventions: foo_callback => stw_foo
a455fe851c STW implementation comment
0949e8b66a STW naming conventions for shared_heap.c
761d3cd064 STW naming conventions
a22a9fa5ae domain.h: naming conventions for STW functions
c8353bc53e Merge pull request #12655 from MisterDA/remove-configure-ffs-_BitScanForward
51d7900c06 TSan tests more reliable by removing sleep synchronisation
53d0d25e36 toplevel: allow multiple phrases in one line (#12029)
663035af57 Remove configure detection of ffs and _BitScanForward
ae18ffb44b .mailmap
60393b5b13 Merge pull request #12437 from damiendoligez/fix-test-unwind
210cc86a52 Fix custom block promotion (#12439)
45e42acd83 PR#12437: generalize tests/unwind to work on clang -O0
a912cff51d Merge pull request #12246 from ccasin/dash-h
474e96d162 Disable tests that print paths on windows
6143355e78 Fix comment typo
45460f582b Merge pull request #12651 from dra27/test-tweak
7ed72683b8 Correct libs used in output-complete-obj test
a6dd90b37e Merge pull request #12645 from Octachron/fix_printtyp_bugs
d2d4c0a183 Update Changes
9ce5c9f527 Fix additional potential bug in the penv cache
0354e06091 fix printing of error messages for cyclic definitions
d5ff0a7100 Eliminate code duplication
8add5d0f0c make depend
2f72e51672 Add test for constructor disambiguation
dc09c0b5c2 Prevent hidden cmis from incorrectly being used from the penv cache
51ec9448f6 Fix tests
45384b34e0 update cmt format for -H
93567a42eb Rename `Load_path.path_info` to `Load_path.paths`
022d5fe51d Update Changes
ff5393569a typing: Improve location for 'variable in scope'
4aae28a35d typing: Use more precise location of alias type mismatch
1291b49889 Update comments
01178bb60e Add -H flag for transitive dependencies
9b68959b19 Merge pull request #12635 from MisterDA/intern_state_refactor
bd1fb55edb Merge pull request #12634 from fabbing/simplify_raise
f6f617f6d0 Simplify TSan backtrace bookkeeping upon raise
225f2f3aeb Merge pull request #12637 from dustanddreams/no_voidstar_arithmetic
cc754000c5 Merge pull request #12638 from dustanddreams/caml_state_ma(ra)sm
fe2b0bd3e1 parsing: Attach a location to the RHS of Ptyp_alias
0bd5c19dc8 Make extern.c consistent with changes in intern.c
932c7a8a89 feat: refactor `intern_free_stack`
4d7dc7d1eb feat: `caml_fatal_error` on misuse of deserialize functions
072b133385 Implement Caml_state in MASM
0814bec3de Avoid pointer arithmetic over void *
6a0a0a4693 Update framepointers tests to avoid false positive with inlined C functions (#11594)
1e78220b3c Merge pull request #12626 from MisterDA/fix-build-arm-mixed-double-endianness
4df33cc5bf Merge pull request #12613 from MisterDA/no-input-file
e07e4334da Capitalize error message for consistency
155724d29a Make ocamlc/ocamlopt fail when not given input files
16499659bc Remove the Closure module from Obj (#12625)
5d417433b5 Give hints about existential types appearing in error messages (#12622)
343782f335 Fix ARM build with mixed-endian fp doubles
acf58ab570 Revert "Merge pull request #12588 from gasche/frame-pointers-test-more-robust"
1a9c45317b Fix variance composition (#12623)
24e51a9038 Merge pull request #12588 from gasche/frame-pointers-test-more-robust
69b62949ce Merge pull request #12597 from gasche/runtime-race-gc-stats-on-domain-termination
de18b89f50 Changes
6884cc50cf remove CAMLno_tsan clutches: to my knowledge the gc_stats code is now race-free
75d99e23cd fix a race between [caml_compute_gc_stats] and domain termination
1a62bc0750 [minor] runtime: add caml_domain_terminating(domain_state *)
424cd44cde frame-pointer tests: stop backtraces at caml_main|caml_startup
f83fd4be59 Merge pull request #12615 from shindere/ocamldoc-cleanup
513b9c923a Add Changes entry
fc084a9b76 Remove ocamldoc's generators
e9185865ce ocamldoc/Makefile: remove a few no lnger used targets and recipes
fd0551b7b7 Remove the dependency of the cmo and cmxs file formats on compiler internals (#12611)
1dbc01004a Move the `[[noreturn]]` attribute to the front of the declaration (#12468)
6fa81e7c50 Merge pull request #12610 from gadmm/young_limit_doc
9b33671286 Document young_limit
5227ea2707 Make early-exit invariant more manifest
d8c6b4ed59 the mysterious reviewer of #12593
2ec9ac7a65 Merge pull request #12593 from fabbing/tsan_effect_unhandled
9a7e6c2fe1 TSan should handle `Effect.Unhandled` correctly
5b8651ba25 Implement leaf functions on POWER (#12601)
3e68320099 Merge pull request #12606 from gasche/minor-ctype-todo
e3c59ebd90 asmcomp/*/emit.mlp: use tabs in generated asm where appropriate (#12607)
72997bb8e0 [minor] Ctype: act on TODO
8eb94b89a3 system-wide user .gitignore configuration should go in XDG_CONFIG_HOME/git/ignore
dbf3054f1e Merge pull request #12559 from gadmm/better_major_trigger
7da351b798 [minor] Minor clean-ups
8711fcd389 Improve major slice trigger
04e0e5dcbe Propagate the classification from Rec_check (#12551)
15aa778908 Merge pull request #12602 from shindere/dynlink-fixes
b1d6cf2c71 Merge pull request #12603 from shindere/symtable-cleanups
9c7d11ecc8 Dynlink: release the dependency on Misc.fatal_error
b36616fbe7 Dynlink: stop configuring warnings in source files
e5a6458fc5 Symtable: remove unused open
09fe7bba1c Merge pull request #12576 from MisterDA/ocamldep-refactors
49e23ee234 Symtable: remove useless warning directive
d862b82be6 Changes
0d376fb434 ocamldep: use labelled boolean arguments
34892387cd ocamldep: reduce scope of exception catching
e3fa5bceef ocamldep: use In_channel.with_open_bin
8056bf3c80 ocamldep: consistently use prepend_to_list
bbcd106075 ocamldep: use Format.eprintf instead of ppf or Format.err_formatter
30ed20f58e ocamldep: separate global vars from CLI arguments
38a1c529b7 ocamldep: remove unused map_files var
85d8f264ef ocamldep: code simplifications
b30d6ce8be ocamldep: use Array.find_opt
f5704c7edb Document forgotten ocamldep options in man page
4219686782 we broke carriage returns
5558e63daf Merge pull request #12540 from dustanddreams/powerpc_no_more_trap
234e5fea05 More comments in arch.ml for POWER
b453aaa3a7 Add branch relaxation for checkbound operations in large functions
bbc3346e84 Fix calls to caml_ml_array_bound_error
9418789038 Remove the SIGTRAP-based bounds checking on POWER
4c3016f1a1 Get rid of the LongString module (#12360)
0ac51f6520 Merge pull request #12594 from gadmm/minor_sig_simplif
c287b9d785 Merge pull request #12591 from gasche/runtime-orph-structs-race
f144f99959 major_gc.c: fix a race on `orph_structs` in `no_orphaned_work()`
adf1a8f050 major_gc.c: shorter `orphaned_lock` sections
22084b7ac6 Merge pull request #12598 from Octachron/contributor_typo_fix
12fa1636c9 changes: missing comma
6da5a5d119 typo in contributor names
dd74311982 Contributor name normalization:
f89f4cc0da Merge pull request #12595 from eutro/gc-stats-before-barrier
ed53c13d51 Add Changes entry
387f0ff4d1 Move `caml_collect_gc_stats_sample` before barrier arrival
02a07a4000 Remove needless signal masking (cf. 59029b994 and 5742171d)
90c1efc7f4 Remove dead argument
47a14444fa Avoid synchronising via ref inside test
94c5327fe0 Merge pull request #12199 from Octachron/error_message_typo
3ecebf902f Merge pull request #12561 from fabbing/fix_tsan_fp
21132207b5 Merge pull request #12455 from gmevel/stdlib-init_matrix
e25b5abd4d review: non-overriding inheritance error message
5c1b60cf41 Fix a typo in inheritance error message.
28edabf054 Add Changes entry
ece4947ca8 Reuse register rather than loading from memory
c62b3dbc41 Float.Array: add {make,init}_matrix
ee697a0aea Array: make_matrix now skips loop if dimx = 0
39a397a670 Array: make_matrix now raises if dimx = 0 && dimy < 0
034069b33e Array: add test for make_matrix, simplify test for init_matrix
96f0bb48b4 Array: inline init in init_matrix
2114a001b7 stdlib: add Array.init_matrix
8e303850d9 Merge pull request #12514 from gasche/crlf-normalization
5a69ac5213 a testsuite for newline normalization
9d65ae5bfe newline normalization: only erase the last \r
c78d3aac04 mention newline normalization in the manual
1cbb92f13d #12502: normalize \r*\n newlines to \n during lexing
4303cba1e0 Simplify caml_raise_exn using macros that account for fp
c0d4daa82a Add missing handling of potential fp for TSan arguments
68be7d828b Add missing ENTER/LEAVE_FUNCTION when using TSan
01f737a261 Merge pull request #12535 from dustanddreams/amd64_fp_fix
c04755a4f5 Set up frame pointer correctly prior to tail calling caml_c_call.
b908a1c395 [minor] tests/frame-pointers/filter-locations.sh update
ccb75bf3ff Merge pull request #12583 from Sudha247/ephemeron-end-event
3289371ae4 Merge branch 'trunk' into ephemeron-end-event
74f8c996d4 Improve location of alias pattern variables (#12580)
20f1d09d7e add a Changes entry
5551db426b Add a closing event for when EV_MAJOR_EPHE_MARK is complete
48207a0d7c Merge pull request #12574 from bschommer/install-zstd
6cde52b8db Merge pull request #12533 from cod-xknown/patch-1
58c91b6086 Add emptylist to one more spot
9e17cbc3ce Merge pull request #12566 from gasche/output_value_to_malloc
455d3c9511 Issue 11517 - Updated Format documentation (#12477)
cb96ce848c Merge pull request #12573 from gasche/runtop-without-otherlibs
b3104faf79 Improve wording.
df01ee7934 caml_input_value_from_malloc; use free in error cases
87744253ab caml_output_value_to_malloc: really use malloc
795cad3c52 Makefile: build `runtop` without `otherlibraries`
670481e53f Added sentence about libzstd.
ab3f102b62 Merge pull request #12571 from Swrup/fix-format-doc
1a485b4056 Merge pull request #12572 from Swrup/lazy-typo-doc
c45c47b137 documentation: fix typo
3707da6397 documentation: fix make_formatter code example
ad868faff0 reviewers for #12558
5ed5f59f9e Merge pull request #12558 from gadmm/alarms
560c44400f Merge pull request #12560 from OlivierNicole/improve_tsan_comments
5f4117c936 Merge pull request #12568 from yallop/improved-while-true-typing-warnings
64b56a4702 Disable the nonreturning-statement warning for `while true` in more cases.
4a458b91ab Merge pull request #12443 from shindere/fix-pthread-getaffinity-np-detection
1a6784f34a Merge pull request #12542 from ncik-roberts/extra-call-to-instance-when-typing-constraints
22df6184b6 Fix the configure test for pthread_getaffinity_np
2b6080db0c Take pthread-specific CFLAGS and LIBS into account correctly
ef37369445 Look for pthread libraries first, then only for get_pthreadaffinity_np
0f950f7475 Minor style tweak from review
2922b0046e Add Changes
f5a40e0cc9 Fix long lines
de050b48b8 Improve TSan-related comments in amd64.S
d4a0e45b4f make alldepend
4bac7d0e78 Update Changes
8324eccd8e [minor] Remove outdated and superfluous comment
998cb999ee Adapt GC alarms for OCaml 5 & improve documentation
82d35c9e48 Merge pull request #11307 from gadmm/multicore_async_actions_3
53dedf18eb Use beqlr+ on Power
a47e554f02 Changes bookkeeping
f6010b97a5 Reviewer feedback: improve comment
f9f20023f1 Changes
4fb37db5f5 Reimplement polling for signals only, in caml_enter_blocking_section
bed598819b Simplify caml_reset_young_limit
c9af30922d Reintroduce testcase and make it test the optimal polling
3f9b1225ed Optimal polling in C code based on masking
12a3377d67 Do not raise from `caml_thread_yield`
5742171d76 Simplify spawning of threads and domains
3137b0e035 [minor] Additional comments
2c30dc178d [minor] Better documentation for catch_break
59029b9942 Do not access the TLS from signal handlers
c63d4d1822 Merge pull request #12548 from gasche/matching-testsuite-7241
902358519f Merge pull request #12553 from gasche/matching-more-debug
b52c6ba380 Changes
e5c932694c matching debug: totality information on all COMBINE calls
a64394ceea [refactoring] matching: pp_partial
0c1e12bc42 matching debug: show record patterns whose fields are wildcards
e8b1261982 testsuite for the Total/Partial decisions
8020985750 testsuite for matching and side-effects
7666fb68ba Merge pull request #12531 from gasche/minor-improvements-to-pattern-typing
9d131445b4 Merge pull request #12552 from yallop/rec-check-paper
2c53a09b7c Ctype.instance_{poly,label}: label boolean argument
366f9ace54 typecore.type_pat: label boolean argument
48a5febf11 -dtypedtree: print pattern partiality information
d81e1b9cc3 Add a reference to the paper describing the recursive bindings check
faa6d2e6e6 Merge pull request #12546 from xavierleroy/power-FPR0
aa7dc30c9c Merge pull request #12168 from MisterDA/old-style-declaration
ed23f13a5e Merge pull request #12532 from gasche/matching-improve-debug
85787e3df4 Check and fix old style declarations in C code
98b84ef08b Changes
cf0266baed matching debug: do not show default environment of split matrices
34ac420f97 matching errors: minor refactoring
e17cc0a81d matching debug: use formatting boxes
ef7bf6aa9f matching debug: fix stray Printfs among the Formats
eab11057c3 Merge pull request #12545 from Octachron/fix_too_strict_cmi_lookup
a9ca4a3ebd POWER: correct the list of FP registers that need saving and restoring
b00913ce92 Look for modname.cmi/Modname.cmi in the loadpath when compiling implementation files
2ee5c06306 Merge pull request #12541 from OlivierNicole/detect_missing_tsan_flag
7e093ede50 Better error message if a needed TSan flag is missing
0ea8c74089 Restore a small piece of the implementation of pre-#12236 code
c2b87d8fad Merge pull request #12389 from Octachron/unified_file_info
f91ddec937 Only add valid modname in the persistent env
6ff06b4722 update Changes
efa6276745 use Unit_info everywhere
8058b561c5 Unit_info module: metadata for compilation units and artifacts
44c9baa3ef Merge pull request #12538 from igarnier/igarnier-fix-c-bindings-ba-doc-typo
3e28a15869 Fix typo in documentation on bigarrays in C stubs
fcf87c49ff Honor `inline always` even for functions with optional arguments and default values (#12526)
af8f622f84 Update intf-c.etex
d57938d2ff Replace Val_int(0) with Val_emptylist for []
ae28598bba Merge pull request #12530 from dustanddreams/effect_exceptions
c7519cd291 Fix delivery of unhandled effect exceptions on s390x (#12486)
6e0399a7ac minor comment fix in matching.ml
aac3f10997 Merge pull request #12403 from gasche/full-lexing-buffer
221c769e0a s390x: sync comments with reality
cb1afbdc6c add a test
8b9969bade Changes
05bbdf7b09 toploop: read whole file at once
dc9b27e2f2 toploop: minor refactoring
666de0eb8c remove Location.lines_around_from_file -- #12238
3e124b70fb driver/pparse: close the source input channel as soon as possible
d08ce5b604 driver/pparse: read the entire source file at once
a7c016f230 Merge pull request #12498 from gasche/fix-shadowing-warning-let
5387c16b9a fix #12494: open shadowing warning mistriggers
e219762eeb open-shadow-identifier warning: regression test for #12494
657a912849 Merge pull request #12523 from gasche/matching-robust-alias
221946bc99 Merge pull request #12525 from dra27/fix-12515
7f59ea0c58 Merge pull request #12524 from dra27/sync-opam
495c1cb17e Fix incorrect use of int in mark stack
259b073c14 make ocamldoc more robust to minor typedtree changes
025d73dcbd make a matching.ml fast-path robust to minor typedtree changes
47a77a2baf Remove 32-bit native options
d39b3228b7 Synchronize with opam-repository's opam file
23b9ae2571 Cosmetic adjustment to opam file
37f8e79ae3 Changes: fix misplaced entries inherited from 5.1
7339c1c6ae Changes: synchronize with 5.1 changes
e03781406f Changes: move arg.mli typo fix to 5.1 section
e3a3f50ac2 Changes: move frame-pointers PR to the right section
b795460a99 Merge pull request #12504 from Alizter/ps/branch/chore__add__vscode__to__gitignore
a3a82eebab Merge pull request #12517 from xavierleroy/constant-logical-operand
fb7d41b6ba Avoid the "constant-logical-operand" warning of recent clang versions
15ef93c694 Add NetBSD/arm64 to the Tier 2 support list in the README (#12384)
bd952ad322 Minor performance improvements and cleanups in the implementation of Int32, Int64, Nativeint (#12511)
a6847bef2f Improve error handling in caml_alloc_sprintf (#12489)
2ecd298d4b Merge pull request #12509 from MisterDA/bytecomp-primitives
030f77d0a0 Update Changes
450af6457a unix.ml: a global mutex around the popen_processes hashtable (#12510)
99a05d2cd4 Constify primitive lists
e650dd9ea8 Use strict prototypes on primitives in bytecomp
76c4617b90 hot fix for a build-breaking conflict between #12365 and #12446
2b890ce30c Merge pull request #12446 from gasche/io.c-remove-hooks
f9fa70ac78 Move this test from lib-unix to lib-unix/common
25bad89263 This test needs libunix
0ed5dcb226 Fixing typos (#12457)
bde2dd692a Refactor the computation of stack frame parameters (#12242)
f772ae0985 Add I/O primitives for Bigarrays (#12365)
a115800bde Merge branch 'trunk' into io.c-remove-hooks
c22c1b0310 chore: add .vscode/ to .gitignore
24e0fe6521 Merge pull request #12499 from gasche/bigarray-float16-fix-deserialization
f0223c9f91 bigarray: fix deserialization of float16 dynarrays
814c063b54 Merge pull request #12321 from shindere/merge-ocamltest-makefile
c8441fbb82 Merge ocamltest/Makefile into the root Makefile
7766d06fd6 Modify build macros to use source files rather than module names
b083742105 ocamltest/Makefile: use wildcards when computing dependencies
0989c913aa Build ocamltest with the same flags as the other programs
df4806bf27 Generate ocamltest_unix.ml at configure rather than build time
a21971d996 gc.mli: update documentation of allocation policy (#12488)
6ca0dfb4bb Merge pull request #12447 from omasanori/asmcomp-x86-simplify
e2160f7e4c Reduce loop length in runtime event test to avoid overflowing ring buffers (#12398)
be72b7b78e Fix typing regression of class types in recursive module declarations (#12483)
53317424ef Simplify dynamic bytecode loading by having the runtime append RETURN 1 (#12430)
f99614b98b Correct mismatched arg names in array/arrayLabels documentation (#12479)
eb2153baa0 Merge pull request #12405 from dra27/harmonise-system
96d1702bd2 Make `Unix.create_process_env` thread-safe in all cases (#12404)
3e2f3a829e Merge pull request #12473 from gasche/note-memory-model
33a0b7d4e5 memory.c doc: add a note on the 'mixed' memory non-model
42035d062c Extend [@untagged] external attribute to all immediate types
78e1e42e39 Merge pull request #12465 from dra27/update-config
c9a9571f53 Merge pull request #12456 from gadmm/effects-limitations
a9654550b6 Simplify the GitHub Actions configuration
1a024a9746 Switch i386 testing to Debian 12
8bc2e39c9c Add linguist-generated attribute to config files
4bad5b2167 Update config.guess and config.sub to latest
e3d697319e Merge pull request #12441 from gasche/parmatch-bugfix
d18010f151 Merge pull request #12432 from ELLIOTTCABLE/patch-1
5b0b199b04 Document the incompatibility between caml_callback and effects
41ccfb7ef6 Merge pull request #12381 from NickBarnes/nick-statmemprof-api
0916b377ba Explicitly list undefined Makefile variables
70ec240836 Merge pull request #12442 from gasche/more-matching-documentation
69e173031b Changes
278bf52b73 comment on Parmatch.get_mins
1e52537e19 matching: document jump summaries
220a975e85 matching: association lists are keyed on the *first* element
d41b7671ab clarifications in comp_match_handlers
774a6ce693 matching.ml: more comments
70d23f37ba lambda/matching.ml: more documentation comments
2dd9dfe271 Restore blank line.
bbc47d94e4 Merge remote-tracking branch 'upstream/trunk' into nick-statmemprof-api
7f480854c0 Test intext_par: use appropriate number of domains
5ebd664aa1 Merge pull request #12453 from kit-ty-kate/patch-5
a8f8726d06 Merge pull request #12391 from ncik-roberts/syntactic-arity-more-typedtree-locations
93e918d329 Add Changes
bc7e8ff37f Undo change in test output introduced in #12236
18ad93b186 Add location of param to parsetree/typedtree
15b9a543a4 Fix the changelog for OCaml 5.1.0
14ed172e59 Merge pull request #12434 from dustanddreams/stack_alignment_12267
8654d03bc2 Fix stack alignment computation (#12267)
05fdf9113f Remove 32-bit targets from X86_proc.system
a8df4b89da stray CAMLdrop in runtime_events.c
f272e37f3d Merge pull request #12445 from gasche/more-roots
8509200576 runtime/io.c: remove the hook machinery for channel locking
e84bc965d6 runtime/io.c: carefully root value arguments
e6aec2a5b1 Changes: section name for 5.1.0
e433806fce parmatch: bugfix? in set_args_erase_mutable
d99510d31f String docs tweaks (#12433)
c257e4996c ocamltest: fix recursive expansion of variables (#12371)
293f4703e3 Fix semantically-important typo in 'Ch 10. Memory model'
2a1cdfaa9d Merge pull request #12378 from ccasin/params-file-slash
3301bdca54 Merge pull request #12428 from stedolan/fix-let-rec-optional-typing
84e4d474de Bugfix for #12315
eb8be053a7 Merge pull request #12402 from gasche/manual-ffi-simple-interface
8baf85363f Merge pull request #12426 from dra27/update-man
cc965bd64b Remove docs for -flarge-toc/-fsmall-toc options
6c37b72552 Remove retired backends from ocamlopt manpage
6e2969e5e2 Remove Config.abi
a0ad0840f2 Comment clarifying arch=none; system=unknown
d356865040 Use system=linux for both x86_64 and x86_32 Linux
6723257110 Report the same BSD systems for x86_32 and x86_64
f1eac000db Use system=openbsd for 32-bit ARM
400abbf0ec Introduce Config.abi and use it for arm32 Linux
8185eb027f Use system=linux for ppc64 and s390x
2612a1a9fb Merge pull request #12368 from COCTI/abstract_env_for_regularity
fac0816aed Merge branch 'trunk' into abstract_env_for_regularity
248919fa47 Merge pull request #12422 from OlivierNicole/fix_CAMLno_asan
5afb5d4ed3 Merge pull request #12424 from avsm/alpine-warning
e3a12e95e3 fix warnings on Alpine Linux for parser freshness check
e3bf4006d2 seek_in, seek_out: consistently fail if pos < 0 (#12401)
d431cc7f6b Merge pull request #12409 from gadmm/systhread_simpl_and_fixes4
b64bd5257c More compatibility safeguards around CAMLno_tsan definition
14c129284d Revert non-backward-compatible CAMLno_asan change
43d8f9e6fe Fix async exception handling inside Domain.spawn
dea26f12b2 Hide a link to inbox.ocaml.org for now (#12420)
7a2b8cf57c add more explanations to typedecl
01d1a0f3cd Merge pull request #12408 from gadmm/release_callback
8f7b9bf12c [minor] documentation comment in callback.h
618c45e9da Release callback early
71dc4d68f7 intf-c.etex: move a mention of CAMLlocal after its definition + example
a9ebf46a5c Merge pull request #12406 from yallop/ocamldoc-typos
5ecda67c8b Merge pull request #12394 from gasche/manual-example-rendering
7b799bb560 Fix a couple of typos in the ocamldoc documentation.
374b8f8639 intf-c.etex: reword CAMLreturn description and examples
78bf6fa140 bootstrap
76c85c1f7c tests
c09dc8925a add reason to Type_abstract
868677ade2 fix typo
1752a84bb4 Build an explicit abstract environment for check_regularity (fix #12334)
10310e1b17 Merge remote-tracking branch 'origin/trunk' into nick-statmemprof-api
e4b0522088 fix rendering of a manual example
f3b4670572 Merge pull request #12388 from stedolan/clarify-c-example
ed26585924 Specialized error message for syntactic function arity type clash (#12386)
90dae66eb1 Merge pull request #11386 from gadmm/systhread_simpl_and_fixes3
256964012b Changes
ac3367178e Do not depend on exact error string in testsuite
f08df419fb [minor] Some documentation and FIXMEs for Unix.fork
6c792890b2 Do not create a thread if caml_thread_new ends with an exception
9371ee03b8 [minor] Improve comments and restore some comments from OCaml 4 that have been forgotten
14e0bbfaa0 [minor] Access domain_state instead of Caml_state in scan function
e5cc7e1238 Remove signal handler for preemption
2271e564c0 Remove dead code
a21739ab2c Deal with errors in st_masterlock_init (e.g. when forking)
ffdd06b1c7 Multicore statmemprof API.
57957f7825 Clarify a C example in the manual
a7c77e1bf2 documentation: currently unavailable GC metrics (#12376)
ca28168ef4 Pass `-no-execute-only` to the linker for OpenBSD >= 7.3 (#12372)
5b3d14e69c Merge pull request #12236 from ncik-roberts/syntactic-function-arity
60f5d5762e Upgrade "stale" action to v8; exempt issues marked "bug"
5bba206066 Add changes and `make alldepend`
09c3c68c92 Respond to review comments
3cab457a51 Add ast invariant for at least one value parameter to functions
934c555b75 Fix soundness bug where GADT equations were used out of scope
46a2fa2d17 bootstrap
a29445af20 Add `function` attributes to typedtree for untypeast
437548629a Parsing: rename new construct to `Pexp_function`
739f574cd1 Parsing: remove old constructs
5edc39372c Implement typechecking/translation changes for syntactic arity
1fdfc412e4 Implement parsing-side changes for syntactic function arity
5ff9ea2780 Merge pull request #12377 from xavierleroy/supported-platforms
bb9bee4fba Allow paths in ocaml_compiler_internal_params
3ab4c153a1 Merge pull request #12224 from Octachron/non_functor_error
5d66482741 Update supported platforms
581f3a7d1f error messages: quote application names
0f0b26edf3 review: error message wording
19db4b5f8f review: a type for application name in error messages
c3174995d4 update Changes: reviewer
d6b1585681 Better error messages when applying non-functors
24dda5608e Merge pull request #12373 from shindere/fix-testsuite-tools-deps
81c50fbac1 Make dependencies in testsuite/tools more accurate
007c04015d Merge pull request #12314 from xavierleroy/io-error-handling
ed4d191efe Changes entry for #12314
9f2649cea4 Discard buffered data if flush runs into a permanent, non-recoverable I/O error
535e905203 caml_read_fd and caml_write_fd no longer raise exceptions
d688fc3c7d Move Win32 -> POSIX error code conversion to runtime/win32.c
c717b6b47e Merge pull request #12114 from fabbing/tsan_patch
3e1a966105 ocamltest: better handling of wait return
cc2fa2ba70 Add Changes entry
30af781c93 Disable some TSan instrumentation for performance
288ce328d1 Disable TSan reporting on parts of the runtime
5de47514c8 Add testing for ThreadSanitizer support
4256893b39 Add ThreadSanitizer support
5b31b634d4 Restore libunwind detection
acb8924b25 Add tsan configure flag
a770588c61 Merge pull request #12357 from xavierleroy/float16-at-end
686f49870d documentation: Unix exec and process functions (#12338)
4613d4bb3d Bootstrap following "Move constructor Bigarray.Float16 last"
daa91dd7ec Move constructor Bigarray.Float16 last in type Bigarray.kind
5312b4d7b9 README.adoc: clarify status of 32-bit native compilation (#12370)
0fe1adb524 Merge pull request #12369 from ccasin/prim-error-typo
d760384ccd Fix typo in error message about primitives
e105f48085 Typo in arg.mli documentation (#12352)
e869a1d109 Add two tests for `-short-paths` with existential types (#12340)
3027e3308d Fix skiplist test failure (#12346)
fff8f846d9 Make Pattern_env.t private (#12361)
0c82de2b13 changes: add missing bug reporter
d295a9c629 Manual: replace PrioQueue example by a simpler example: FIFO queues (#12201)
b130729613 Changes bookkeeping
6484b7cf5e fix bucket assignment in caml_ev_alloc (#12349)
182367e101 Merge pull request #12358 from Octachron/ocamlmktop_i_fix
f9319a3e24 Merge pull request #12229 from ncik-roberts/remove-global-type_pat-state
7d5eda7a29 Add Changes
4443db2c0f Merge branch 't6s-remove-global-type_pat-state' into remove-global-type_pat-state
d83c395a22 Update some more test output according to rebase
c198d624bb Merge changes from t6s's edits into #12229
c9feb1c341 ocamlmktop: remove +ocamlmktop directory from include path
2d5db3c53c Changes bookkeping
5b9bfe4f02 Merge pull request #12355 from mndrix/changes-typos
fa1b57d40d Fix typo in Changes
b55ced1d03 add comments for [type_pat_state] and [Pattern_env.t]
0c92ce9f5f tiny simplification in Ppat_or
8eb0c6db5b update test output
d83ad40f4b Fix incorrect test output
d7c0c0d37c Remove global state for typechecking patterns
37c44cfe5e Pack the unification data for pattern checking in Typecore (#12331)
8934b78a67 Merge pull request #12350 from lthls/fix-changes-12032
338ed7a5c2 Fix Changes entry for PR#12059
7810957dec Merge pull request #12059 from lthls/let-rec-conditional
50430317a7 Update Changes
ce69e692cf Handle RHS_unreachable as RHS_nonrec
ae85d784f4 Correct size for recursive values with branching (native)
0babd3c722 Correct size for recursive values with branching (bytecode)
53be7d1174 Merge pull request #12347 from Octachron/error_messages_missing_polyvar
4135321cf9 testsuite: `Ctype.unify_row_field` coverage
487aedc129 error messages: report missing polyvar tag
08a6b973ad Merge pull request #12030 from fabbing/fix_data_races
1134559029 Merge branch 'trunk' into fix_data_races
2e5df7cd33 Merge pull request #12222 from lthls/non-quadratic-closures
2494045263 Update Changes for #12030
a666a52bc0 Introduce value_ptr type for mark_entry fields
0a50ec6a94 Add volatile qualifier to Tag_val and Tag_hp
044a0026e7 Undo Field_atomic and Tag_atomic_val changes
453191668b Fix data races by using relaxed atomic when necessary
6842ffca1b Merge pull request #12212 from bartoszmodelski/aligned-alloc
ca974d0eb8 update Changes
c7be43518c Merge pull request #12342 from kayceesrk/fix_signal_hang
58356c7928 Add cache-aligned atomic
ca7090c1b5 Update Changes file
657a5b8256 Bytecode: linear computation of closure environments
7ea7f35dbd Closure: linear computation of closure environments
8f8c750b86 Fix infinite loop in signal handling.
4c599fd1ce Fix Windows Sys.rename regression from #12184 (#12320)
829e32d2c5 Use `CAMLnoret` instead of `CAMLnoreturn_{start,end}` (#12235)
800bf87006 Remove the assertion hidden in `caml_failed_assert` (#12341)
1b312360e9 Merge pull request #11931 from stedolan/ctype-tsubst-bug
d47890afb5 Update test syntax
da829f4329 Apply Subst.Type_function without using Ctype
f1e5da2393 Changes
f84a4409dc Clear simple_abbrevs in Ctype.apply
c1b74842a8 changelog: explain Topdirs breaking changes (#12336)
daac33b28f Merge pull request #12311 from xavierleroy/powerpc-float32
1c8517272f Merge branch 'trunk' into powerpc-float32
4ce1c6b70a Changes for #12311
e7c6f16a0c POWER: more precise definition of max FP register pressure
9ecae15c7b POWER: fix for stores of 32-bit floats
57abeaa77a POWER: include FP register 0 in phys_reg
73cc2f6a06 Merge pull request #12333 from wikku/manual-effects-link
0bb1631035 effects manual: fix some typos
7143bdee30 manual: Link to Effect module in Effect handlers
b61d85fddd Merge pull request #12268 from avsm/oom-on-domain-create-fail
2e270321fb Local open in types (#12044)
cc31f4781f Merge pull request #12325 from dra27/tidy-flexlink-cygwin
76a2ac4b37 Merge pull request #12323 from OlivierNicole/stedolan-raw-idents
ff42afa1db Fix missing flexdll bootstrap dependency on Cygwin
dd85ad927d Update reviewer list in Changes
e41530324e Improve rawident function names and their documentation
388b5da0c6 Changes
bec269205c Support 'raw identifier' syntax \#foo
717d9ba2c8 Reduced stack alignment for x86-64 and RISC-V (#11239)
64ff6530be Changes for #12268
d94e3d3b62 domain_create: deliver an Out_of_memory exception if malloc fails
4719ea2ec4 Merge pull request #12319 from shindere/remove-line-directives
05e28441ba Remove eroneous line directives in dynlink
5c6584fc5e Do not re-build type for or-pattern if a ground type annotation is given (#12313)
d2ccddc2cb Merge pull request #12316 from richard-zhang/fix-example-in-ast-mapper
7832bb5728 update the ppx_example in ast_mapper
5babf9b556 Use type annotations from arguments in let rec (#12315)
d630b573f4 Merge pull request #12278 from dra27/tidy-flexlink
0ade3cab45 Eliminate boot/ocamlruns
319b77f108 Simplify the FlexDLL bootstrap even further
06de6bc73f Merge pull request #12210 from Octachron/semantic_tags_for_quoting
98e2a6bab5 inline code tag: class error messages
66114ddc3b inline code tag: fix unbound existentials quoting
3565e17bed Merge pull request #12295 from yallop/while-true-type
b4ee0d687f Note generalized 'while true' type in Changes
6e770f3319 Update manual after 'while true' typing change.
f7ff954925 Add a test for generalized 'while true' typing.
f8f7a2bb29 Bootstrap
ab19117cbf Topcommon: remove unreachable code after 'while true ...'
4e524bf996 Generalize the type of 'while true'
e662bf5bbd Merge pull request #12310 from avsm/update-readme-for-arches
d92e553354 review: switch to '"..."' for inline code in fallback mode
98f8195708 review: fix [-for-pack foo] quote
537d4a9e42 review: quote in spelling hints
5324690662 review: use tag-compatible function when printing counter-examples
ad382a262b review: weird line break
27a4d70677 review: missing space
42c87aaee1 Update Changes
1985ad9b8b split Misc.Color and Misc.Style
516d218179 review: unescape "%"
e856a15f66 review: wandering white space
d2b018f664 enable markup for inline code in expect tests
6da8f554f5 inline code quoting for toplevel directives
f042991a87 inline_code tag…
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Emit
movqinstruction for Int64.float_of_bitsandInt64.bits_of_float`.