Changes
Ensure the minor heap is actually empty before reallocating it
(details ) check-typo: enforce gawk
(details ) Allow values reachable from ephemeron keys to be collected by minor GC
(details ) formatting
(details ) Bugfix: Hd_val instead of Tag_val
(details ) Infix_tag tweak
(details ) set scope in expand_abbrev rather than rely on update_scope
(details ) use Int.max rather than generic max
(details ) add log and comments; small change in instance_parameterized_type
(details ) Get rid of the @since attribute for the Uchar.hash function
(details ) Add Result.product and Result.Syntax (#13696)
(details ) Repr.equal is not an operator (#13914)
(details ) Add examples to the `Fun` module
(details ) Reword some paragraphs in `Fun` examples
(details ) Reword more paragraphs in `Fun` examples
(details ) Add more examples to `Fun.id` and `const`
(details ) Remove problematic examples and add descriptions
(details ) Expand the Fun.id dispatching description
(details ) Add "advanced"/"real-world" examples
(details ) Make function refs headers
(details ) Add `Fun.compose` examples
(details ) Deindent and improve formatting
(details ) Reword some descriptions
(details ) Remove problematic `flip` examples
(details ) Replace a `compose` example with more involved one
(details ) Typos in the Uchar example
(details ) Some rewording
(details ) Replace the windows path conversion example
(details ) Add a Scanf example to id
(details ) Add example to const, remove example from compose
(details ) Indent code blocks, reorder, reformat, reword
(details ) Remove scanf and floatarray examples from id
(details ) Prevent overlong lines in code examples
(details ) Add a Changes entry
(details ) Harden the cloexec.ml test on Windows
(details ) Harden cloexec.ml test against virus scanners!
(details ) Enrich ocamltest doc about scripts (#13902)
(details ) manual: alerts: add sections, in preparation for following commits
(details ) manual: alerts: annotate code section as ocaml code
(details ) manual: alerts: document how to put alerts on all structure/signature items
(details ) Makefile.dev: work around #13817 (#13818)
(details ) [refactor] runtime: auxiliary function for allocated_words update
(details ) runtime: "suspended" and "resumed" allocations affect the major GC speed
(details ) runtime: simplistic support for [ramp_up], [ramp_down]
(details ) runtime: count the work suspended by each ramp-up phase
(details ) runtime: support nested ramp-up phases
(details ) expose ramp_up, ramp_down as externals in stdlib/Gc
(details ) Changes entry
(details ) runtime: log ramp-up / ramp-down in SLICESIZE GC logs
(details ) Gc.ramp_up: re-raise exceptions, but ramp-down right before
(details ) [minor] stray fix in runtime/array.c
(details ) runtime/array.c: expose {uniform_,float}array_concat, use it in Float.Array
(details ) Rename ccomptype to ccomp_type for consistency (#13927)
(details ) Add Result.{get_ok',error_to_failure} (#13720)
(details ) Add List.singleton and Seq.singleton
(details ) Fix @since 5.0 annotation loss in domain.mli and effect.mli by swapping alert and header (#13934)
(details ) mystery reviewer for 13643
(details ) Added tests for abstraction of whole module types during avoidance
(details ) Removed abstraction of whole module types when avoiding a field
(details ) Fix test weak-ephe-final/ephe_custom.ml (#13940)
(details ) [refactoring] move Matching.get_mod_field to Lambda.transl_mod_field
(details ) [refactoring] Lambda.transl_mod_field, move 'lazy' to clients
(details ) [refactor] Lambda: merge transl_mod_field and transl_prim
(details ) update .depend
(details ) Fix #13939
(details ) Typeopt: better handling of deeply nested unboxed types
(details ) Add test
(details ) Changes
(details ) runtime: migrate caml_{alloc,update}_dummy from alloc.c to obj.c
(details ) caml_update_dummy: the [Infix_tag] case is dead code
(details ) [minor] value_rec_compiler: refactor alloc/update calls
(details ) recursive values: introduce [caml_update_dummy_lazy]
(details ) regression test for lazy shortcutting in recursive values
(details ) Changes
(details ) lazy + letrec: insert indirections on lazy update to avoid concurrency issues
(details ) use a dedicated [caml_alloc_dummy] primitive
(details ) Improved changelog message
(details ) document [caml_domain_alone] reasoning
(details ) spawn: increment [caml_num_domains_running] earlier to ease reasoning
(details ) domain_create: release the domain lock on failure
(details ) Changes
(details ) Pin Cygwin back to 3.6.1 until AppVeyor updates
(details ) List.sort_uniq : remove non-first duplicates. (#13862)
(details ) Move match_printer_type in order to share it between toplevel and debugger
(details ) Move find_printer to Topprinters (to be shared with the degugger)
(details ) Move debugger printers fetching logic
(details ) Debugger uses Topprinters.find_printer
(details ) release-info: update calendar
(details ) Use dune.3.18.0 which is compatible with trunk
(details ) Bump qcheck and multicoretests to the latest releases
(details ) Changed occur_rec in typing/ctype.ml to traverse type as a graph and not a tree
(details ) Changes
(details ) Renamed some arguments of occur_rec
(details ) Add signal definitions for SIGIO and SIGWINCH.
(details ) Add signal_to_string function
(details ) Add signal type alias and signal_to_string.
(details ) Export signal conversion functions as primitives.
(details ) Export signal conversion functions as primitives in Sys
(details ) Update documentation in Unix module
(details ) Check int and signal argument ranges for conversion functions
(details ) Add changelog
(details ) Allow 'effect' as attribute id (#13957)
(details ) ocamltest: fix typos
(details ) ocamltest: use C99 booleans
(details ) ocamltest: fix path comparison
(details ) ocamltest: use O_CLOEXEC on file descriptors
(details ) ocamltest: compare wcscmp result with 0
(details ) ocamltest: alarm(3) is always successful
(details ) Teach ocamltest about colors
(details ) GHA: update to macOS 15 and Xcode 16.3
(details ) tests: native-debugger: build C test code without optimizations
(details ) tests: native-debugger: sanitize library path
(details ) tests: native-debugger: fix GDB version parsing
(details ) tests: native-debugger: disable disabling ASLR
(details ) tests: native-debugger: sanitize trailing blanks
(details ) tests: native-debugger: simplify shell scripts
(details ) Apply suggestions from review
(details ) Check separately in configure if DIFF supports --color
(details ) Fix hygiene check for generating `configure` (#13935)
(details ) Added printing of presence flag in typedtree (#13963)
(details ) fix .depend
(details ) [minor] value_rec_compiler: move primitive declarations earlier
(details ) fix #13931
(details ) Add profiling with perf chapter OCaml manual
(details ) Collapse profiling into a single chapter.
(details ) add an invariant function to check that loc_ghost is set correctly
(details ) parser: partially align use of loc_ghost with what the documentation says
(details ) parser: refactor previous commit, by removing error prone functions
(details ) parser: regenerate parser.ml
(details ) Add test of princiaplity from polymorphic type constraints
(details ) Keep generalized structure from patterns when typing let
(details ) Add changelog entry
(details ) Renamed the flag `transparent_modules` into `no_alias_deps`
(details ) Update driver/makedepend.ml
(details ) Updated Changelog with pr number
(details ) Update changes
(details ) ocamlopt: pass -fPIC when compiling C files
(details ) Changes
(details ) Changes
(details ) Uniformize definition of native_cflags, bytecode_cflags
(details ) Changes
(details ) last commit before branching 5.4
(details ) first commit after branching 5.4
(details ) Update README.adoc badges after branching
(details ) Avoid tearing in Array.sub
(details ) Move filter_arrow error handling in a function
(details ) Refactor: extract loc_rest_of_function
(details ) Refactor [type_approx].
(details ) Add a test illustrating a regression in type_approx
(details ) Fix the regression in type approx
(details ) Remove the loop: we are already in a recursive function
(details ) Add a comment about an unreachable case
(details ) Add a comment for type_approx_fun_one_param's spato parameter.
(details ) Add a changelog entry for #13980
(details ) Propagate file_descr cloexec correctly to channels
(details ) Set FLEXDIR when bootstrapping flexlink
(details ) Make ocamlmklib fail on an unknown parameter
(details ) Collimate the comments
(details ) Fix Makefile dependencies for ocamldoc, ocamltest and ocamldebug
(details ) Bump magic numbers and version for 5.5.0
(details ) Refactor [is_functor_arg] table of env into [not_aliasable]
(details ) Added tests and updated error message with line breaks
(details ) genprintval: explain why certain uses of O.obj are not guarded
(details ) genprintval: move user-installed printers out of the Make functor
(details ) Generic printers in debugger
(details ) Test and doc of polymorphic printers in debugger
(details ) Use trunk-compatible dune.3.18.2
(details ) Made the "remove_aliases" attribute visible in built-ins attributes
(details ) Add Dynarray.unsafe_to_iarray
(details ) Reimplement `let open`, `let module` and `let exception` in terms of a single construct (#13839)
(details ) webman: add anchors for API items, headings (#14002)
(details ) Refine docs for `In_channel` and `Out_channel` (#13982)
(details ) Pprintast: use parentheses around Pexp_struct_item in sequences
(details ) Move Changes entry to right place, add bugfix PR
(details ) Add test
(details ) Fix missing version bump to 5.5 in opam file
(details ) Update precondition comment to reflect renaming from #12619
(details ) check-symbol-names: ignore extern char **environ re-decl
(details ) gha: Document labels triggering/skipping workflows
(details ) Dynamic matrix for the others job
(details ) Add optional static and mimimal jobs
(details ) Merge macOS Dependency steps
(details ) Fix test_create_cursor_failures.ml on Cygwin
(details ) Update build-msvc.yml to permit Cygwin builds
(details ) Add optional Cygwin check to CI
(details ) Add bytecode-only Cygwin check
(details ) Add a 'CI: Skip testsuite' label
(details ) Fix tools/check-symbol-names for i686 mingw-w64
(details ) Windows matrix: arch instead of x86_64
(details ) stale bot: only identify stale issues, don't close them. (#14004)
(details ) Fix memory corruption when an exception is raised during demarshaling. (#14015)
(details ) Update Changes
(details ) update Changes after cherry-picking
(details ) [refactor merge] Create a Merge module + white space changes
(details ) [refactor merge] Extracted helper functions
(details ) [refactor merge] Changed the return logic
(details ) [refactor merge] Extracted the recursive functions for deep constr
(details ) [refactor merge] Moved code
(details ) [refactor merge] Extracted the type-package case
(details ) [refactor merge] Extracted the type case
(details ) [refactor merge] Extracted the module case
(details ) [refactor merge] Extracted the modtype case
(details ) [refactor merge] Added comments, minor stylistic changes
(details ) [refactor merge] Corrections from Octachron review
(details ) [refactor merge] Moved the catching of exception
(details ) [refactor merge] Updated comments
(details ) [refactor merge] Added Changelog entry
(details ) [minor] printcmm: print atomic loads
(details ) [testsuite] test the compilation of atomic functions
(details ) [refactor] Define [caml_atomic_cas] in terms of [caml_atomic_cas_field].
(details ) [breaking] Change the prototype of [caml_atomic_cas_field].
(details ) runtime: Add atomic primitives [caml_atomic_load_field], [caml_atomic_exchange_field] and [caml_atomic_fetch_add_field].
(details ) lambda: Add support for new atomic primitives.
(details ) Add support for atomic record fields.
(details ) atomic fields in ocamldoc
(details ) Bootstrap.
(details ) Add tests for atomic record fields.
(details ) [minor] Make test_untypeast.ml more readable.
(details ) Add predefined type ['a atomic_loc].
(details ) [refactor] more general type for Env.mark_*_used
(details ) Add extension [%atomic.loc record.field].
(details ) Bootstrap.
(details ) Add module [Stdlib.Atomic.Loc].
(details ) Add tests for [Atomic.Loc].
(details ) Reimplement [Atomic.t] using [Atomic.Loc.t].
(details ) Forbid atomic fields in patterns.
(details ) Changes
(details ) testsuite for pattern-matching on atomic reads
(details ) allow wildcard patterns under atomic record fields
(details ) stdlib/Atomic: move the Loc module below in the .mli
(details ) stdlib/Atomic: minimal documentation
(details ) describe atomic record fields in the reference manual
(details ) Runtime events: dispatch the right event message type (#13970)
(details ) Add Unix.unsetenv
(details ) Add test
(details ) Document [row_more] and [row_fixed].
(details ) Add Option.product and Option.Syntax (#13916)
(details ) [minor] More readable output from `gen_sizeclasses` (#13923)
(details ) Fix unterminated-string-initialization warning
(details ) fix atomic-locs/cmm.compilers.reference
(details ) tests: native-debugger: sanitize GDB+musl output
(details ) Fix #13427
(details ) Add caml_sys_proc_self_exe primitive
(details ) Add Sys.runtime_executable
(details ) Cleanups following introduction of `Pexp_struct_item`/`Texp_struct_item` (#14028)
(details ) Add row_more invariant
(details ) Update flexdll submodule to 0.44
(details ) Reenable lib-dynlink-domains test on Windows, temporarily disabled in #11607
(details ) Comments from review
(details ) Changelog
(details ) tests: native-debugger: sanitize LLDB+GLIBC output
(details ) fix #13941
(details ) update Changes for #13961
(details ) simplifications suggested by reviewer
(details ) [minor] use a record in Compenv.process_deferred_actions
(details ) Amend docstring
(details ) Better error messages on invalid recursive module definitions
(details ) Ensure that all Bigarray memory managed by the GC is tracked by Memprof
(details ) Format: place hint white spaces after the break hint
(details ) Changes
(details ) Update changes
(details ) Attach infix extension points/attributes on local module/exception/open to structure item instead of enclosing let expression (#14009)
(details ) manual: fall back immediately to user-agent-defined fonts
(details ) Uniformize parsing rules for structure and signature items (#14039)
(details ) Trully share #*_printers machinery between toplevel and debugger
(details ) Review changes
(details ) update the memprof bigarray test
(details ) Move #13675 to 5.4 Changes
(details ) Reimplement generational stack scanning a la OCaml 4
(details ) ARM64: explicitly ignore top bits in return addresses
(details ) Better API for generational stack scanning
(details ) Adapt TSAN to generational stack scanning
(details ) Changes for 13594
(details ) document the invariants around pc marking in tsan.c
(details ) manual: move the TeX header of each language extension into the extension-specific .etex file (#14041)
(details ) Changes
(details ) Use BUILD_PATH_PREFIX_MAP to sanitize debug event paths, do not rewrite shebang
(details ) Accept native freestanding targets at configure time
(details ) Allow `*-ocaml` as target triplets to build freestanding cross compilers
(details ) Update changelog
(details ) domain_terminate: orphan the shared heap before STW exit
(details ) Changes
(details ) runtime: caml_finalise_heap should first adopt all orphan pools
(details ) review: clarify the invariants in [domain_create], including for the last domain
(details ) review: clarify the invariants required to free the shared heap
(details ) minor Changes fixes
(details ) Changelog: fix ordering for 5.3
(details ) Changes: reuse the improved 5.4 entry order from the 5.4 branch
(details ) Unix.kill: On Windows, make process exit code ERROR_PROCESS_ABORTED (#14046)
(details ) Revert "Merge pull request #14045 from pirbo/bpp-map-1-2"
(details ) re-apply the part of #14045 that disables path rewrites on the shebang
(details ) Special constructor for %sys_argv primitive (#10570)
(details ) Debugger: Fallback to looking for module_name.ml in the loadpath when seeking source files (#14063)
(details ) Improve handling of packages in typing/gprinttyp.ml to put the name of the constraint on the arrow
(details ) Add Option.blend (#13995)
(details ) error message: point all label mismatches
(details ) Add a test showing spurious unused warnign in fonctor argument signatures.
(details ) Mark both in [modtypes_with_shape]
(details ) Reduce test noise by disabling warning 60
(details ) Add changelog entry for #13956
(details ) dynlink: fix exception name in printer
(details ) Changes update
(details ) Add changelog entry
(details ) fix one more definition of fib in the manual
(details ) Add a new type kind `Type_external` (#13712)
(details ) For stores on Apple Silicon, emit `stlr` instead of `dmb ishld; str`.
(details ) error messages: point mismatched univars
(details ) Introduce Sixtyfour memory chunk to handle unaligned accesses
(details ) Fix note: the alignment of `_Atomic long long unsigned int` fields changed in GCC 11.1 on i686 (#14035)
(details ) Add missing `item-attribute` rule for `let-binding` in documentation of attributes (#14077)
(details ) Switch back to ubuntu-latest
(details ) update Changes
(details ) Address reviewer comments.
(details ) Catch invalid aliases at merging rather than subtyping (#14066)
(details ) Generalise Compmisc.init_path
(details ) Add Dll.search_path
(details ) Add Misc.Stdlib.String.to_utf_8_seq
(details ) Expose Bytelink.read_runtime_launch_info
(details ) Changes bookkeeping: missing reviewer
(details ) Add Domain.running_domain_count
(details ) Changes
(details ) Changes
(details ) Add Config.{c_compiler_vendor,shebangscripts}
(details ) Add a test for the compiler "in-prefix"
(details ) Plumb the in-prefix tests into CI
(details ) Changes: 14074 was backported to 5.4
(details ) Avoid an error when a channel is flushed during close
(details ) review
(details ) Fix flakiness of TSan tests using flushes and synchronization
(details ) Skip native-debugger tests.
(details ) Use caml_unix_error instead of errno+caml_uerror
(details ) Symmetrize caml_sys_rename and caml_unix_rename
(details ) Symmetrize caml_sys_chdir and caml_unix_chdir
(details ) Symmetrize caml_sys_close and caml_unix_close
(details ) Symmetrize caml_sys_system_command and caml_unix_system
(details ) Update Changes
(details ) stdlib: Option.{for_all, exists} (#13920)
(details ) [refactor] dynarray variable naming, consistently use [f] for function arguments
(details ) Dynarray.rev_iter, rev_iteri
(details ) Changes
(details ) Rename Domain.running_domain_count => Domain.count (#14096)
(details ) ocamldoc: no paragraph in module table (#14098)
(details ) CI: attempt to silence a MSVC warning
(details ) Changes bookkeeping: fix 13896 entry
(details ) toplevel: test with nongeneric printer
(details ) toplevel: printers must have a generic type
(details ) refactor Ctype: remove nongen_inst argument
(details ) add Changes entry
(details ) Explicitly fail-fast
(details ) Temporarily disable -Wcast-function-type-mismatch
(details ) Temporarily disable warning C5387 on MSVC
(details ) Update memprof after leaving the barrier at the end of minor GC, nor before.
(details ) Use C99 (u)int64_t instead of MSVC __int64 extension
(details ) Use time_t instead of MSVC __time64_t
(details ) Use C99 fixed-width integers in bigarray
(details ) Fully use C99 stdint.h fixed-width integers
(details ) Define intnat/uintnat with C99 intptr_t/uintptr_t
(details ) Use C99 inttypes.h fixed-width format macros
(details ) Define and use CAML_PRI.NAT and CAML_PRI.SZT
(details ) s/alloced/allocated/g
(details ) Update Changes
(details ) Fix a possible hang in Pprintast (#14105)
(details ) toplevel: fix a typo in directive error messages
(details ) changes: sync with 5.4
(details ) use No_scan_tag and NOT_MARKABLE to indicate free block
(details ) change shared pools heap representation to indicate contiguous free ranges
(details ) add prefetching
(details ) add Changes
(details ) actually prefetch a page ahead
(details ) restore split asserts
(details ) clarify comment in verify_pool
(details ) fix bug in compaction
(details ) write Debug_free_major in to newly initialised pools
(details ) fix bug in pool_finalise
(details ) simplify macro
(details ) Update runtime/shared_heap.c
(details ) Update runtime/shared_heap.c
(details ) restore atomic header read
(details ) make note about GC pacing logic
(details ) Update runtime/shared_heap.c
(details ) wh -> Whsize_hd
(details ) always update the pointer in the last free block
(details ) revert all_used annotation
(details ) Replaced normalize_package_path by Env.normalize_modtype_path
(details ) Add -Wno-cast-function-type-mismatch more clangily
(details ) Typo in stdlib/Makefile
(details ) Reduce tmpheader.exe to 4-5KiB on Windows
(details ) Stop using Caml_inline and CAMLnoret in headernt.c
(details ) Remove unnecessary guards around unistd.h
(details ) Use PATH_MAX instead of MAXPATHLEN
(details ) Assume S_ISREG and SEEK_END
(details ) Move O_BINARY definition to "header" section
(details ) Make caml/exec.h independent
(details ) Re-order some header functions (no-op)
(details ) Share error path in headernt.c
(details ) Unify implementation of read_size
(details ) headernt.c: inline run_runtime into main
(details ) Check for errors from lseek in header.c
(details ) Refactor error display code
(details ) header.c: close bytecode image before exec
(details ) Use execvp in header.c (as in headernt.c)
(details ) headernt: make read_runtime_path more CRTish
(details ) Missing error case in headernt.c
(details ) Unify the common parts of header.c and headernt.c
(details ) Merge stdlib/header{,nt}.c
(details ) error messages: typo, missing inline code
(details ) #14093 was backported
(details ) Fix use of time_t on i686 mingw-w64 (#14114)
(details ) Increase the amount of data written to a pipe in a test (#14116)
(details ) Add regression test
(details ) Fix non-destructive `with type` with type constraints
(details ) Add with type constraint testing
(details ) Update changelog
(details ) Add {Set,Map}.S.is_singleton (#14118)
(details ) Make List.{take,drop} total (#14124)
(details ) document that char compare uses ASCII order (#14090)
(details ) Add the approx flag to merging of module constraints
(details ) Add a [merge_type_approx] for approximation of type constraints
(details ) Add tests for module and type constraints during approximation
(details ) Update Changelog
(details ) Add another test for destructive type constraints approximation
(details ) Address review comments on #14100
(details ) Update Changelog
(details ) Refactor post_process of signature merging
(details ) Update comment and Changelog
(details ) Address review comments
(details ) Missing case in {Stdlib,Float}.frexp documentation (#14128)
(details ) Fix `__tsan_func_exit()` signature mismatch (#14065) (#14082)
(details ) Update comment
(details ) matching: fix some non-deterministic code generation (#14091)
(details ) Speedup some Set/Map access by using is_empty instead of cardinal = 0 (#14119)
(details ) typechecker: fix an internal error due to wrong exception
(details ) cpp support: move basic type definitions to misc
(details ) [minor] indentation fix in errortrace_report
(details ) error messages: external with non-syntactic arity
(details ) release calendar update
(details ) Upstream "mark-delay" change from flambda-backend.
(details ) Hack to work around accounting problem: artificially catch-up work_counter at the start of any slice when it falls very far behind alloc_counter.
(details ) fix finaliser handling bug
(details ) Guard call to caml_darken
(details ) Fix ephe_custom.ml test for the mark-delay scheme
(details ) Don't make finaliser updates dependent on work being available.
(details ) Removed unused field in package_type
(details ) Changes
(details ) Rename cstrs to constraints to distinguish from cstrs = constructors (#14141)
(details ) Move the orphaned ephemerons GC colour check inside the barrier.
(details ) minor gc: more consistent memprof logging
(details ) Fix missing expectations in typing-poly/poly.ml
(details ) Additional corrections
(details ) Audit unexecuted phrases
(details ) Audit
(details ) Fix audit
(details ) Changes
(details ) Update changes
(details ) runtime: free the minor heap when leaving STW participants
(details ) Update parser and adapt to the new Tpoly invariant. Requires bootstrap.
(details ) bootstrap
(details ) Add tests for polymorphic parameters
(details ) Promote polymorphic parameters tests failures
(details ) Refactor: more descriptive return type for [split_function], renaming and comment work
(details ) Introduce new error "opt params cannot be polymorphic"
(details ) Wrap and generalize filter_arrow_mono if principal
(details ) Handle polymorphic parameters in type_apply_arg
(details ) Refactor Pexp_function case and handle poly
(details ) Add one generalization level in type_class_arg_pattern
(details ) Handle polymorphic parameters in [type_approx and] [type_pat_aux]
(details ) Add changes entry for #15733
(details ) Add test with class argument
(details ) Additional tests with labels
(details ) review: reorder functions in btype
(details ) review: comment format
(details ) review: add a Btype.newgenmono utility symetrical to Ctype.newmono
(details ) review: use label names in error messages
(details ) review: additional tests
(details ) Add test for polymorphic variants in polymorphic parameters
(details ) Take fixed instances of polys where appropriate
(details ) Show issue with subtyping trace
(details ) Fix subtyping error trace
(details ) tests: Promote error messages improvements after rebasing.
(details ) review: more reuse in parser and reloc in [param_type]
(details ) review: move [is_really_poly] utility to Ctype.
(details ) Add more test cases
(details ) Move definition closer to usage
(details ) Additional test cases
(details ) Document function in comment
(details ) Add test cases
(details ) Fix typo in error message
(details ) Rename function and move it to Btype
(details ) Inline function and exception used only once
(details ) Document function
(details ) Enforce Tpoly invariant
(details ) Clarify conditions
(details ) Clearer argument label and field names
(details ) Turn ordinary comment into a documentation comment
(details ) Clearer variable name
(details ) Fix wrong set of univars
(details ) review: De-duplicate parser rule for let
(details ) review: Add test with syntactic arity mismatch
(details ) review: Fix test
(details ) Fix dependency generation when tools are disabled
(details ) Fix generation of config.status for dynlink
(details ) Don't generate ocamltest_config.ml when not needed
(details ) Correct ocamltest-manual
(details ) symbol names: revert to using `$` only on macOS and Windows (#14143)
(details ) bookkeeping: update release info
(details ) Minor heap reservation: change the terminology
(details ) review: use 'arena' for the (committed) minor heap space
(details ) self-review: solidify two separate comments on minor heap layout
(details ) runtime/domain.c: add a category of 'parked' stw_domains
(details ) [minor] domain.c: reorder domain_self and heap-reservation variables
(details ) [minor] domain.c: reorder domain_create
(details ) use POOL_FIRST_BLOCK
(details ) domain.c: fix `stw_resize_minor_heaps_reservation`.
(details ) Extend parsetree to distinguish between `(module M : S)` and `(module M) : (module S)`
(details ) Changes
(details ) add hashtbl remove and replace which return the previous value (#14060)
(details ) Memprof.start replaces any existing profile in the domain, Memprof.is_sampling
(details ) Adjust test and add test
(details ) [minor] Code clean-up
(details ) [documentation] Clarify a difference between threads and domains
(details ) Changes
(details ) Clarify test
(details ) Run callbacks before starting a different profile
(details ) Bump multicoretests to the trunk-compatible 0.9
(details ) Also bump qcheck to 0.26 while we are at it
(details ) runtime: host aligned fibers inside the fiber cache whenever possible (#14169)
(details ) Add expectation to wellfounded11150.ml (#14170)
(details ) Print row types when they are GADT constructors
(details ) Better Btype.is_row_name
(details ) Gc.stat: restore stack_size and add live_stacks_words (#14168)
(details ) error message: explain quantification mismatches
(details ) deprecation alert: file location
(details ) update Changes
(details ) Fix #13658
(details ) Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC).
(details ) toplevel: fix printing of qualified labels
(details ) Add runtime counters EV_C_MINOR_PROMOTED_WORDS and EV_C_MINOR_ALLOCATED_WORDS.
(details ) ocamlprof: do not instrument unreachable clauses
(details ) Changes
(details ) update Changes
(details ) Changes: 14169 was included in 5.4
(details ) Add Changes
(details ) Highlight known units for runtime_counter.
(details ) Misc.invert_build_path_prefix_map
(details ) Apply BUILD_PATH_PREFIX_MAP to pathes found in files by the debugger
(details ) Change reverted for now
(details ) Changes
(details ) Constraints on module unpacking are not ghost (#14198)
(details ) Fix pthread_setname_np under NetBSD
(details ) Fix #14200 (without breaking pr7321_ok.ml) (#14202)
(details ) fix memory model for Weak.set
(details ) refactor weak.c/do_set to look more like memory.c/modify
(details ) ocamltest: show test name before running the test
(details ) Add List.split_map (#14185)
(details ) Changes
(details ) Fix typos in comment (#14194)
(details ) Elide duplicate ephemeron status check (#14175)
(details ) Recognize %identity as nonexpansive (#14029)
(details ) fix tsan tests to account for #14143 (#14203)
(details ) Better error message when a functor is its own unsafe functor
(details ) Changes bookkeeping
(details ) Actually make example unsafe (see #14217)
(details ) Fix INRIA CI job other-configs
(details ) After #14209, TSan now correctly reports a data race in
(details ) functor error messages: don't forget equality
(details ) Fix st_stubs.c compilation with mingw-w64 13.0.0
(details ) document why sprintf still exists despite asprintf
(details ) rewrite doc comment
(details ) update comment according to @octatron's suggestion
(details ) fix local variables in Makefile
(details ) Fix C++ name-mangling issue with `caml_state` on Cygwin (#14220)
(details ) fixes suggested by reviewer
(details ) Update stdlib/format.mli
(details ) Disable Tsan on one more deliberately-racy test. (#14232)
(details ) Manual attributes page fixes (#14233)
(details ) Fix ocamltest criterion for using `-custom` to link test file. (#14230)
(details ) manual(etex): trim leading spaces (#14228)
(details ) Fix test-in-prefix (#14216)
(details ) Integral type hygiene in compaction (and shared_heap.c generally).
(details ) Avoid an undefined variable warning from Make
(details ) parsetree: map on all locations in toplevel directives
(details ) Add native debugger manual section
(details ) Fixup name mangling references.
(details ) Ensure AppVeyor runs for PRs on these branches
(details ) Don't fail-fast
(details ) Test the Unix executable header in CI
(details ) Hold GNU parallel at 20241222 on AppVeyor
(details ) Fix AppVeyor for 32-bit platforms
(details ) Fix corrupt caching of GNU parallel
(details ) Store parallel in the branch
(details ) Fix the CI: Skip testsuite check on AppVeyor
(details ) Report mingw-runtime version on x86_64 as well
(details ) Add --with-stublibs configure option
(details ) Don't add a double-separator when locating ld.conf
(details ) ld.conf-relative path interpretation
(details ) Generate ld.conf using relative paths
(details ) Load ld.conf from all possible places
(details ) Remove caml_get_stdlib_location
(details ) Harden the parsing of ld.conf w.r.t. load and CRLF
(details ) Use caml_parse_ld_conf in ocamlc
(details ) Tidy installation of static builds
(details ) Fix the detection of Cygwin-like build environments
(details ) Preserve backslashes in --prefix
(details ) Harden startup of -custom executables
(details ) Interpret . in runtime-launch-info
(details ) Add caml_runtime_standard_library_default
(details ) Add %standard_library_default
(details ) Add -set-runtime-default
(details ) Bootstrap
(details ) Use %standard_library_default in Config
(details ) Bootstrap
(details ) Allow libdir to be found relative to bindir
(details ) Update the installation test for enable-relative
(details ) Test --with-relative-libdir in CI
(details ) NFPR: fully test --with-relative-libdir in AppVeyor
(details ) NFPR: fully test --with-relative-libdir in precheck
(details ) Add Config.as_is_cc
(details ) Use as directly on Cygwin, as on Linux
(details ) Detect but ignore -fdebug-prefix-map on mingw-w64
(details ) Increase reproducibility of relative artefacts
(details ) Simplify the computation for the runtime name
(details ) Permit single-quotes in prefix
(details ) ocamlobjinfo: display the runtime used by an image
(details ) Add -launch-method to ocamlc
(details ) Test both bytecode header methods
(details ) Remove metadata from runtime-launch-info
(details ) Factor out the exec code in stdlib/header.c
(details ) Add -runtime-search to ocamlc
(details ) Test all three bytecode search methods
(details ) Determine Runtime ID values in configure
(details ) Mangle the bytecode runtime executable names
(details ) Build suffixed shared runtimes
(details ) Add runtime suffixes to bytecode stub libraries
(details ) Bootstrap
(details ) Post-bootstrap cleanup
(details ) Add --enable-runtime-search[-target] options
(details ) Update the installation test for runtime-searching
(details ) Make Windows header absolute (as on Unix)
(details ) Test --enable-runtime-search in CI
(details ) NFPR: fully test --enable-runtime-search in precheck
(details ) Exclude the manual from git-archive tarballs
(details ) Exclude irrelevant files from git-archive
(details ) Exclude tests from git-archive tarballs
(details ) Don't explicitly install toplevel/byte/*.cmi
(details ) Don't explicitly install main.cmx and optmain.cmx
(details ) Remove duplicate installation in installopt
(details ) Don't install ocamldoc's .cmi files twice
(details ) Use implicit names when installing ocamldoc
(details ) Eliminate local for loops in install
(details ) Eliminate local if blocks in install
(details ) Remove invalid directory in source install
(details ) Sprinkle some meta-programming on the install target
(details ) Keep the stripped bytecode binaries
(details ) Straighten out the INSTALL_* Makefile variables
(details ) Remove the recursive invocation in install targets
(details ) Add SUBDIR_NAME to principal Makefiles
(details ) Use macros to generate installation commands
(details ) Add additional modes to make install
(details ) Generate an opam .install file and support script
(details ) Experimentally, use it
(details ) Generate a relocatable cloning script
(details ) Got an interpreter, and we're not afraid to use it
(details ) Mark winpthreads dependency as Windows-only
(details ) Mark input dependencies as build
(details ) Test opam in CI
(details ) Generator script for ocaml.config in opam
(details ) Remove need for shared libraries in ocaml-config
(details ) Update ocaml-config for 4.12 scheme
(details ) OCaml 3.07 version of gen_ocaml_config.ml.in
(details ) Windows fixes to ocaml-config
(details ) Update ocaml-config for the new OCaml 5 layout
(details ) Fully unify and update gen_ocaml_config.ml
(details ) Support relative paths in gen_ocaml_config.ml
(details ) Remove the MAX_PATH limit in header.c on Windows
(details ) Move caml_search_dll_in_path to dynlink.c
(details ) Remove caml_cds_file
(details ) header.c: handle parasitic case of argc < 1
(details ) Remove unnecessary Cygwin path workarounds
(details ) header.c: malloc the result of searchpath
(details ) Move searchpath from header.c into the runtime
(details ) Use caml_executable_name in header.c
(details ) Don't check for shebang scripts on Windows
(details ) Simplify the interface of caml_attempt_open
(details ) Preserve argv[0] on Unix in the executable header
(details ) Fix STARTUPINFO structure in stdlib/header.c
(details ) Share image fd between header.c and startup_byt.c
(details ) Add comments on the handling of blank env vars
(details ) Ignore empty TMPDIR in the Filename module
(details ) Ignore empty TMPDIR in ocamlyacc
(details ) Propagate non-empty tmpdir in ocamlyacc
(details ) Ignore CAML_DEBUG_FILE if it's "Set But Null"
(details ) Ignore OCAMLPROF_DUMP if it's "Set But Null"
(details ) Use non-raising Sys.getenv_opt in win32unix
(details ) Ignore empty strings in Compmisc.set_from_env
(details ) Ignore empty environment variables in ocamltest
(details ) Ignore empty MAKE variable in ocamltest
(details ) Treat OCAML_BINANNOT_WITHENV as unset when empty
(details ) Add some limited information about CAMLSIGPIPE
(details ) Ignore empty OCAML_RUNTIME_EVENTS_ variables
(details ) Harden processing of SOURCE_DATE_EPOCH in ocamldoc
(details ) Ignore blank OCAMLRUNPARAM, OCAMLLIB and CAMLLIB
(details ) Ignore empty components in PATH-like things
(details ) Add %shared_libraries primitive
(details ) Bootstrap
(details ) Improve the "dynamic loading not supported" error
(details ) Free tables after handing off to Dynlink
(details ) Move print_magic and print_config out of caml_params
(details ) Preserve option R in caml_runtime_parameters
(details ) Swap the V and v in caml_runtime_parameters
(details ) Add -set-runtime-default to the compilers
(details ) Test -set-runtime-default in test-in-prefix
(details ) Re-order initialisations in bytecode
(details ) Support c=1 mode in ocamlrun
(details ) Fix C library options for win32unix
(details ) Build and install threads.cmxs
(details ) Fix inclusion of libraries when partial linking
(details ) Use entrypoint flexdll branch
(details ) Stop installing and documenting config_main, etc.
(details ) Use clang-cl for flexdll support objects
(details ) Two minor clean-ups in the in-prefix-tests
(details ) Add caml_output_value_with_compat primitive
(details ) Split Meta into two
(details ) Omit CRCS if caml_reify_bytecode isn't used
(details ) Eliminate post-processing of bootstrap artefact
(details ) ![[Jenkins]](/ocaml/static/db2b9b32/images/svgs/logo.svg){kind=logo}
