Changes
Update configure.ac
(details / githubweb ) Regenerate.
(details / githubweb ) Match GNU/Hurd last
(details / githubweb ) adds data_types to dune configuration
(details / githubweb ) Use '$' instead of '.' to separate module names in symbol names.
(details / githubweb ) -dsource: \#mod is not an operator in type context
(details / githubweb ) Minor header inclusion fixes
(details / githubweb ) Audit the installed headers for C++ compatibility
(details / githubweb ) Test whether C++ stubs can be compiled and linked
(details / githubweb ) Fix CFI annotation when invoking noalloc C code.
(details / githubweb ) Fix Numbers.Int_base.compare (#13606)
(details / githubweb ) Refactor `Typecore.type_application`
(details / githubweb ) Do not include <runtime/caml/config.h> unless truly necessary.
(details / githubweb ) Fatal error if allocations fail inside lf_skiplist.c
(details / githubweb ) Fatal error if OOM inside skiplist.c
(details / githubweb ) [minor] Fix comments
(details / githubweb ) Hold lock around ephemeron debugging code.
(details / githubweb ) Enable native backend on x86_64 GNU/Hurd
(details / githubweb ) Match GNU/Hurd last
(details / githubweb ) Enable natdynlink on x86_64 GNU/Hurd
(details / githubweb ) Remove unused runtime due to recursive value compilation changes.
(details / githubweb ) bootstrap
(details / githubweb ) review: extended longident explanation
(details / githubweb ) update Changes
(details / githubweb ) error messages: enable formatting for warnings
(details / githubweb ) error messages: doc for partial match warning
(details / githubweb ) review: names for error report formatting
(details / githubweb ) self-review: add missing spaces
(details / githubweb ) warnings: fine-tune principality warnings
(details / githubweb ) warnings: tweak break hints for flambda warning (59)
(details / githubweb ) update Changes
(details / githubweb ) Update format.ml to avoid Queue.empty (#13572)
(details / githubweb ) Various fixes to set thread name
(details / githubweb ) Refactor: use std function to filter a list in odoc_ast
(details / githubweb ) Add changelog entry for #13612
(details / githubweb ) gprinttyp: pretty printing for levels (#13621)
(details / githubweb ) configure: use $warn_error_flag instead of -Werror
(details / githubweb ) configure: stop checking for math.h
(details / githubweb ) configure: assume presence of unistd.h on POSIX systems
(details / githubweb ) Add a short path for String.concat and String.split_on_char (#13620)
(details / githubweb ) Pure re-ordering of major_gc.c, to gather related functions together.
(details / githubweb ) Banner comments for each section of major_gc.c.
(details / githubweb ) lexer: lowercase-only delimiters for quoted strings (#13628)
(details / githubweb ) Added a few location while parsing (#13624)
(details / githubweb ) Suggest regenerating configure by running tools/autogen directly
(details / githubweb ) Suggest a Docker image to regenerate the configure script
(details / githubweb ) Changes: add myself as a reviewer for PR #13601
(details / githubweb ) Changes
(details / githubweb ) Update tsan oracles after 7f5719c2651292ccd20c6e2644d44cf6dd360105
(details / githubweb ) Fix #13598 by protecting partial_pred
(details / githubweb ) properly protect wrap_trace_gadt_instances
(details / githubweb ) follow Florian's suggestion
(details / githubweb ) add counterexample for #13599
(details / githubweb ) Update tsan and frame-pointer oracles after 703ba8eac4da669f793d84452a6137f333254db2
(details / githubweb ) Use correct CFA register on MacOS. Improve linker version detection.
(details / githubweb ) use backtracking in Ctype.unify_gadt
(details / githubweb ) add new failure example
(details / githubweb ) optimize unify_gadt to only check for free variables in the expected type
(details / githubweb ) add comment in unify_pat_types_refine
(details / githubweb ) update comment in ctype.mli
(details / githubweb ) update result of examples
(details / githubweb ) Fix mangling of caml_system$frametable
(details / githubweb ) Changes bookkeeping
(details / githubweb ) Put G into FUNCTION, END_FUNCTION and OBJECT
(details / githubweb ) Fix broken frame pointer tests from #13050
(details / githubweb ) Fix a pattern in configure
(details / githubweb ) Fix syntax details in HACKING.adoc
(details / githubweb ) Update to libtool 2.5.4
(details / githubweb ) Update to Automake 1.17
(details / githubweb ) Update GNU config
(details / githubweb ) Changes bookkeeping
(details / githubweb ) Remove unneeded Automake files
(details / githubweb ) Add the missing `$(EXE)` for `stripdebug` invocations
(details / githubweb ) typecore.ml: documentation comments for untyped_apply_arg
(details / githubweb ) typecore.ml: documentation comments for type_application
(details / githubweb ) type_args: move [expand_head] to match trunk evaluation order
(details / githubweb ) fix a comment
(details / githubweb ) typecore.ml: small location improvement in an type_application error message
(details / githubweb ) minor renaming for consistency
(details / githubweb ) typecore.ml: an [instance] was possibly missing compared to the trunk version
(details / githubweb ) typecore.ml: minor tweak
(details / githubweb ) runtime: help gcc static analyzer by widening a test
(details / githubweb ) Avoid traversing C parts of frame pointer chain when reallocating stack
(details / githubweb ) Include the `runtime` directory only for ocamltest
(details / githubweb ) Use `target` instead of `host` to detect the C toolchain
(details / githubweb ) Use `target` instead of `host` when relevant in configuration
(details / githubweb ) Detect a _build_ C toolchain to build `sak`
(details / githubweb ) Check that the OCaml versions are compatible for a cross compiler
(details / githubweb ) Improve documentation of Map.S.add_to_list
(details / githubweb ) Improve the error message when GADT parameter variance cannot be checked (#13663)
(details / githubweb ) Better errors for illegal recursive modules (#13646)
(details / githubweb ) release-info: update the prospective calendar
(details / githubweb ) Use a `TARGET_BINDIR` configure variable instead of `--with-target-bindir`
(details / githubweb ) Add a configurable library directory on target
(details / githubweb ) Detect `flexlink` only on relevant targets
(details / githubweb ) Add a `Config` entry for the compression libraries
(details / githubweb ) Add a `Config` entry for the target OS type
(details / githubweb ) Bootstrap
(details / githubweb ) Add a Makefile.cross with rules to build a cross compiler
(details / githubweb ) Enable bootstrapping flexdll in the cross-compiler setting
(details / githubweb ) Add cross-compilation cases to `sak`
(details / githubweb ) Document cross compilers in INSTALL.adoc
(details / githubweb ) Add a changelog entry for cross compilers
(details / githubweb ) Add a CI workflow to test cross compilers
(details / githubweb ) Improve `regular_nested` example for “polymorphism” chapter
(details / githubweb ) Changes bookkeeping
(details / githubweb ) Remove redundant ~refine argument in Typecore, and clarify use of unify_gadt. (#13660)
(details / githubweb ) Only call Cygwin setup once
(details / githubweb ) Fix logic error in configure.ac
(details / githubweb ) Avoid register stall on conversion operations
(details / githubweb ) driver: use compilation unit name in dependency in native linker
(details / githubweb ) Changes
(details / githubweb ) review: testsuite explanation
(details / githubweb ) update Changes
(details / githubweb ) [refactor] genprintval: abstract away the use of Out_name
(details / githubweb ) a testsuite for toplevel printing of constructors
(details / githubweb ) genprintval: printer shorter paths for constructors
(details / githubweb ) genprintval constructor printing: extra test case
(details / githubweb ) testsuite example from Florian
(details / githubweb ) Changes
(details / githubweb ) runtime: remove backup_thread_running
(details / githubweb ) Update GitHub CI Ubuntu from 22.04 to 24.04. (#13665)
(details / githubweb ) Add eager bool functions: Bool.(logand, logor, logxor). (#13662)
(details / githubweb ) Refactor in typing/typetexp
(details / githubweb ) Lifted code out for tree_of_typexp
(details / githubweb ) Refactor in parsing/pprintast
(details / githubweb ) Refactor in typing/typemod
(details / githubweb ) improved style
(details / githubweb ) Teach debugger scripts about variable number of domains.
(details / githubweb ) Fix #13688 by moving before_generalize call inside with_new_pool
(details / githubweb ) update comment
(details / githubweb ) domain.c: simplify caml_domain_is_multicore
(details / githubweb ) Changes
(details / githubweb ) manual: switch pdf renderer to lualatex
(details / githubweb ) manual: don't escape non-ascii unicode character in grammars
(details / githubweb ) manual: document the switch to basic unicode support
(details / githubweb ) Changes placeholder
(details / githubweb ) review: changes
(details / githubweb ) review: Unicode capitalization
(details / githubweb ) manual: transf.mll better escaping
(details / githubweb ) review: use Unicode vocabulary
(details / githubweb ) review: stronger encoding wording
(details / githubweb ) review: rewording and expand Latin-1 block
(details / githubweb ) github workflow: add texlive-luatex for the manual
(details / githubweb ) Introduce `Typedtree.map_apply_arg`
(details / githubweb ) Make matching exhaustive
(details / githubweb ) Reword some comments.
(details / githubweb ) Rename `type_omitted_parameters`
(details / githubweb ) Update reviewers list in changelog
(details / githubweb ) Changes bookkeeping
(details / githubweb ) Rewrite mutable globals for GC control to be atomic
(details / githubweb ) Revert "Include the `runtime` directory only for ocamltest"
(details / githubweb ) Fix static builds of the compiler
(details / githubweb ) manual: fix name of caml_hash_variant in the C interface
(details / githubweb ) faster caml_continuation_use_and_update_handler_noexc
(details / githubweb ) Changes
(details / githubweb ) Support unicode identifiers in comments
(details / githubweb ) typos in ephemeron-related comments
(details / githubweb ) typemod: labeled argument [strengthen:bool] for type_{module,application}
(details / githubweb ) typemod: labeled argument [funct_body:bool] for type_{module,application,open_decl}
(details / githubweb ) Add test for unicode identifier in comment
(details / githubweb ) Add `Char.Ascii` module (#13695)
(details / githubweb ) [minor] Document locking behaviour of C channels
(details / githubweb ) Fix deadlock in runtime events
(details / githubweb ) Avert potential deadlock in caml_iterate_named_values
(details / githubweb ) Use caml_plat_lock_non_blocking in signals.c, clarify signal installation
(details / githubweb ) Replace caml_plat_locking with caml_plat_non_blocking in io.c
(details / githubweb ) Document remaining uses of caml_plat_lock
(details / githubweb ) Changes
(details / githubweb ) Changes
(details / githubweb ) Revert "Replace caml_plat_locking with caml_plat_non_blocking in io.c"
(details / githubweb ) Document use of caml_plat_lock_blocking
(details / githubweb ) Correctly fix the runtime events deadlock
(details / githubweb ) Changes
(details / githubweb ) Use a more explicit name for [remaining_function_type]
(details / githubweb ) Pin Cygwin back to 3.5.4
(details / githubweb ) Correct OOM semantics of caml_stat_strdup_to_os
(details / githubweb ) fix subtyping error message for some polymorphic variants
(details / githubweb ) Create symlinks on Windows when available
(details / githubweb ) Set MSYS and CYGWIN permanently
(details / githubweb ) Test installations on the MSVC workflow
(details / githubweb ) Add Result.retract.
(details / githubweb ) Update changes.
(details / githubweb ) Promote failing test.
(details / githubweb ) Add a dummy `caml_debugger_saved_instruction` when `HAS_SOCKETS` is false
(details / githubweb ) Fix Dynarray.for_all's docstring
(details / githubweb ) Bump multicoretests to version 0.6
(details / githubweb ) Fix minor typo in Ephemeron documentation (#13730)
(details / githubweb ) Add a Changes entry
(details / githubweb ) Add `filteri` to `Seq` (#13729)
(details / githubweb ) Add Either.retract (#13731)
(details / githubweb ) instr_size fixes for arm64
(details / githubweb ) Add enable-codegen-invariants flag for instr_size debugging
(details / githubweb ) Improve performance of Weak.add (#13737)
(details / githubweb ) Correct name of coccinelle test
(details / githubweb ) Fix coccinelle linking regression test on Cygwin
(details / githubweb ) Simplify test script slightly
(details / githubweb ) Add enable-codegen-invariants flag to CI testing
(details / githubweb ) Optimize Weak.find_aux (#13740)
(details / githubweb ) String starts_with/ends_with tests should run unconditionally (#13741)
(details / githubweb ) Add caml_stat_char_array_{to,of}_os
(details / githubweb ) Annotate more caml_stat_* functions
(details / githubweb ) Add Linux ARM64 build
(details / githubweb ) Update build.yml
(details / githubweb ) Add a .editorconfig file
(details / githubweb ) Document that custom finalizers must not access the OCaml heap, etc.
(details / githubweb ) Explicit units in time management
(details / githubweb ) Prevent erroneously waiting for an unbounded time in Unix.select
(details / githubweb ) fix wrong PR number in Changes
(details / githubweb ) changes bookkeeping
(details / githubweb ) Fix a documentation typo in `seq.mli`
(details / githubweb ) Refactor of previous_arg_loc
(details / githubweb ) Lift may_warn out of match in collect_apply_args
(details / githubweb ) Major refactor in collect_apply_args to prepare for a new function kind
(details / githubweb ) Corrected tabulation level typo
(details / githubweb ) Moved proper_exp_loc and unify_exp to the top of the file for future uses in collect_apply_args
(details / githubweb ) Corrected typo in comment that came from an argument renamed in a previous change
(details / githubweb ) Updated Changes
(details / githubweb ) Simplified a match (based on reviewers feedback) to remove an assert false
(details / githubweb ) Inlined `eliminate_optional_arg` and `use_arg`
(details / githubweb ) Add machtype on Cmm function parameters
(details / githubweb ) Correct memory_chunk annotation on loads of integers
(details / githubweb ) Add missing kind annotation on Cmm catch arguments
(details / githubweb ) Update comment [get_field_gen]
(details / githubweb ) Update Changes
(details / githubweb ) Allow unboxing of static catch parameters with flambda (#13758)
(details / githubweb ) Update release calendar
(details / githubweb ) Skip emit blank lines in the native-debugger tests
(details / githubweb ) dynlink: cannot open dll error: always escape error message
(details / githubweb ) Describe the termination behaviour in `seq.mli`
(details / githubweb ) Fix for inaccurate live blocks/words stats in compaction (#13774)
(details / githubweb ) Ensure that pool owners are correctly set on pool adoption (#13773)
(details / githubweb ) Reset the major GC's pacing clock after any synchronous GC work. (#13736)
(details / githubweb ) Fix ocamltest line numbers after multiline comments, strings
(details / githubweb ) Use nanosleep when available for the tick thread
(details / githubweb ) Include `asm.h` at the beginning of assembler sources
(details / githubweb ) Detect the need for the GNU note for non-executable stack
(details / githubweb ) Add a `Config` variable for the need of the GNU non-executable stack note
(details / githubweb ) #13764 ocamldep: keywords flag mirroring the ocaml{c,opt} one (#13779)
(details / githubweb ) Immutable arrays
(details / githubweb ) Remove unnecessary iarray primitives
(details / githubweb ) Bootstrap
(details / githubweb ) Add Stdlib.Iarray module
(details / githubweb ) Immutable array tests
(details / githubweb ) Remove .:() indexing operator
(details / githubweb ) Update changelog
(details / githubweb ) Remove IarrayLabels
(details / githubweb ) Output the `.note.GNU-stack` section based on `configure`
(details / githubweb ) Detect support for `.size` and `.type` assembler directives
(details / githubweb ) Add a `Config` variable for the `.size` and `.type` assembler directives
(details / githubweb ) Output the `.size` and `.type` directives based on `configure` result
(details / githubweb ) Add a Changes entry
(details / githubweb ) Use [%extension_constructor] instead of Obj.Extension_constructor.of_val in Type.Id (#13782)
(details / githubweb ) add `Stdlib.phys_equal` (#13753)
(details / githubweb ) Unicode chars in error messages: respect the Unicode notation.
(details / githubweb ) Expose IO_BUFFER_SIZE as Sys.io_buffer_size, merge IO_BUFFER_SIZE and UNIX_BUFFER_SIZE (#13589)
(details / githubweb ) Fix indentation (whitespace change only)
(details / githubweb ) Display the configure command on AppVeyor
(details / githubweb ) Restore AppVeyor configure-caching
(details / githubweb ) Fix under-estimated Lcondbranch instruction size
(details / githubweb ) -d(no-)canonical-ids flag (unset by default): boilerplate, no implementation
(details / githubweb ) implement Ident canonicalization
(details / githubweb ) Changes
(details / githubweb ) -dcanonical-ids: un-hide /0 stamps
(details / githubweb ) format: add a out_width function to Format device
(details / githubweb ) review: add a use of "pp_string_as"
(details / githubweb ) format: install utf8_scalar_width by default
(details / githubweb ) Fix windows test
(details / githubweb ) review: before_width computation and documentation
(details / githubweb ) review: clarify when [out_width] is called
(details / githubweb ) Update Changes
(details / githubweb ) review: documentation typo and desync
(details / githubweb ) Be consistent with the Windows triplets
(details / githubweb ) Consolidate and document the Windows triplets
(details / githubweb ) Fix backslashes in runtime/build_config.h
(details / githubweb ) Move TARGET_LIBDIR to Makefile.build_config
(details / githubweb ) Use C.UTF-8 for the test locale in check-typo
(details / githubweb ) Require all text files to be valid UTF-8
(details / githubweb ) Stop using non-ascii attribute
(details / githubweb ) Add check-typo to 5.x release branches!
(details / githubweb ) Test check-typo PRs properly
(details / githubweb ) Use non-ascii name rather than utf8
(details / githubweb ) Labeled tuples
(details / githubweb ) bootstrap
(details / githubweb ) Implement `get_left` & `get_right` in `Either` (#13768)
(details / githubweb ) Missing flexlink bootstrap dependencies
(details / githubweb ) Rename Format.utf8_scalar_width to utf_8_scalar_width (#13794)
(details / githubweb ) array.ml: remove dependency on String module.
(details / githubweb ) Add String.edit_distance with a classic implementation.
(details / githubweb ) String.edit_distance: use a ring buffer of rows instead of a full matrix.
(details / githubweb ) String.edit_distance: add [limit] to bound distance computation.
(details / githubweb ) Add String.spellcheck.
(details / githubweb ) Address review comment from wikku.
(details / githubweb ) String.spellcheck: better default max_dist.
(details / githubweb ) String.edit_distance: add an obvious shortcut for limit <= 1.
(details / githubweb ) Address doc review from Gabriel.
(details / githubweb ) String.spellcheck: compute the word's uchars only once.
(details / githubweb ) Add forgotten run of tools/sync_stdlib_docs.
(details / githubweb ) Address review from Nicolás.
(details / githubweb ) Short path: improve bound check.
(details / githubweb ) String.spellcheck: represent dictionaries by their iteration.
(details / githubweb ) String.edit_distance: reduce window size and add comment about rogue read.
(details / githubweb ) String.edit_distance: jmax computation: guard against reasonable overflows.
(details / githubweb ) Update changes.
(details / githubweb ) Add prefetch support for ARM64, PPC64, RiscV and s390x
(details / githubweb ) Track type of variables bound by `as` (#13763)
(details / githubweb ) OCaml Language Committe: description and link
(details / githubweb ) Tweak comment.
(details / githubweb ) Revert changes to .gitattributes.
(details / githubweb ) Add non-ascii to .gitattributes apparently #13724 was not a revolution.
(details / githubweb ) Fix conflict resolution bug in Changes.
(details / githubweb ) .gitattributes: thinking too much about types.
(details / githubweb ) stdlib: new module Pqueue
(details / githubweb ) a more versatile API
(details / githubweb ) update Changes
(details / githubweb ) give module Make a signature constraint
(details / githubweb ) too late for 5.2
(details / githubweb ) add Pqueue to stdlib documentation
(details / githubweb ) use Dynarray.is_empty
(details / githubweb ) stdlib: better interface for priority queues
(details / githubweb ) stdlib: yet another interface for priority queues
(details / githubweb ) stdlib: a fourth API for priority queues
(details / githubweb ) various small changes in Pqueue interface
(details / githubweb ) adding a suffix _unordered to iter and fold
(details / githubweb ) priority queues: no more Empty exception
(details / githubweb ) priority queues: remove_min does nothing if the queue is empty
(details / githubweb ) make alldepend
(details / githubweb ) Changes: move Pqueue entry from 5.3 to working version.
(details / githubweb ) Add Uchar.{utf_8_decode_length_of_byte,max_utf_8_decode_length}.
(details / githubweb ) Fix typo
(details / githubweb ) Don't trash the backtraces in `Sys.getenv_opt` (#13727)
(details / githubweb ) Changes: missing parentheses
(details / githubweb ) Added an error detection when generating typing constraints
(details / githubweb ) Added test with class type
(details / githubweb ) testsuite: promote a no-flat-float-array test
(details / githubweb ) PDF manual: add section titles to page right-facing page headers (#13802)
(details / githubweb ) Fix LaTeX formatting of table of operators and their precedences
(details / githubweb ) types: fix a small bug in the scope+marks bitmasking code
(details / githubweb ) Prefer Autoconf EXEEXT to our exeext
(details / githubweb ) Reformat an AS_IF
(details / githubweb ) Update AX_PROG_CC_FOR_BUILD to rev 26
(details / githubweb ) configure: define outputobj and outputexe flags together
(details / githubweb ) Fix sak build not using the proper build compiler invocation
(details / githubweb ) Add support for unaligned accesses on arm64
(details / githubweb ) Expose a way to get current timestamp in runtime events (#13785)
(details / githubweb ) Fix forgotten check on validity of a type variable name
(details / githubweb ) Refactored validity check
(details / githubweb ) Updated PR number in Changes
(details / githubweb ) Refactored packed modules types into a record containing a location
(details / githubweb ) Modified parsetree to store type constraints directly with a module packing.
(details / githubweb ) Defactored code in typing/typecore to improve readability
(details / githubweb ) Added tests to ensure this new pattern is in the testsuite
(details / githubweb ) Changes
(details / githubweb ) fix #13778: module S with type t = int uses type t
(details / githubweb ) fix #13788: spellchecking hint, keep module context
(details / githubweb ) check-typo: enforce gawk
(details / githubweb ) Attach new locs to `Ldot` and `Lapply` nodes
(details / githubweb ) Remove polymorphic comparisons of longidents
(details / githubweb ) Stop using longidents in Types.Tpackage
(details / githubweb ) Update dependency info
(details / githubweb ) Add changelog entry for #13302
(details / githubweb ) Promote changes in test: errors have finer lid locations
(details / githubweb ) bootstrap
(details / githubweb ) Less verbose longident test output
(details / githubweb ) stdlib: add a format_text function for text-like format strings
(details / githubweb ) review: paragraph, tmc implementation and documentation
(details / githubweb ) review: remove blank line coalescing, update description
(details / githubweb ) add Changes entry
(details / githubweb ) review: typo in documentation
(details / githubweb ) review: simpler format_text breaks computation
(details / githubweb ) update Changes
(details / githubweb ) Ensure depth-first search in iterators
(details / githubweb ) Light refactor of caml_unix_random_seed
(details / githubweb ) Use the Windows CSPRNG to get a random seed for Stdlib.Random
(details / githubweb ) Added unused warning on type definitions comming from an `_ as _`
(details / githubweb ) Changes
(details / githubweb ) Moved location of error message to match location and warning settings
(details / githubweb ) Store only potential unused warnings
(details / githubweb ) Made a distinction in the warnings between types and type variables
(details / githubweb ) Print warning when set thread name fails. (#13823)
(details / githubweb ) Fix field initialisation bug in runtime_events.c.
(details / githubweb ) Avoid re-marking ephemerons with trivial data (#13827)
(details / githubweb ) Allow values reachable from ephemeron keys to be collected by minor GC
(details / githubweb ) formatting
(details / githubweb ) Bugfix: Hd_val instead of Tag_val
(details / githubweb ) Infix_tag tweak
(details / githubweb ) Skip running native debugger tests when TSan is enabled. (#13816)
(details / githubweb ) Translmod.type_structure: remove unnecessary plumbing for module block size (#13832)
(details / githubweb ) fix pexp_function documentation
(details / githubweb ) error messages: align spellchecking hints
(details / githubweb ) error messages: spellcheck hints are no longer lazily computed
(details / githubweb ) format_doc: preprocessing function for ralign
(details / githubweb ) Misc.with_aligned_hint: fmt variant
(details / githubweb ) Ensure apt is updated before installing packages
(details / githubweb ) format_doc: fix bug in align functions
(details / githubweb ) review: split `with_aligned_hint` function
(details / githubweb ) update Changes
(details / githubweb ) review: Misc.aligned_hint, better documentation
(details / githubweb ) Add test showing untypeast issue
(details / githubweb ) Fix untypeast handling of pvb_constraint
(details / githubweb ) expose Printast.pattern for debugging
(details / githubweb ) dune support: iarray placeholder
(details / githubweb ) Address review feedback
(details / githubweb ) changes entry
(details / githubweb ) -dtypedtree: print locations for 'extra' nodes
(details / githubweb ) manual: clarify documentation of C macros on integers
(details / githubweb ) document what Location.loc_ghost is
(details / githubweb ) Fewer details
(details / githubweb ) Fix Weak.get_copy not darkening custom blocks
(details / githubweb ) Add note about Val_int truncation
(details / githubweb ) Ensure root safety in caml_register_named_value.
(details / githubweb ) Float.Array.fill: add [@@noalloc] attribute
(details / githubweb ) Float.Array.fill: add [@inline] attribute to expose float-unboxing opportunity
(details / githubweb ) Index all paths components (#13848)
(details / githubweb ) Add `[Float.]Array.{equal.compare}` (#13836)
(details / githubweb ) Fix Changes entry for PR13782
(details / githubweb ) Add a Repr module to the standard library
(details / githubweb ) Add reviewer to Changes
(details / githubweb ) Add Stephen Dolan's test
(details / githubweb ) Add pointer to ocamltest docs from testsuite/HACKING.md (#13869)
(details / githubweb ) add -i-variance
(details / githubweb ) add the syntax for bivariance
(details / githubweb ) enable -i-variance in tests for variance and constraints
(details / githubweb ) shape printer: less box drifting
(details / githubweb ) shape printer: reduce white spaces
(details / githubweb ) ocamldoc: add option to turn off _ escaping
(details / githubweb ) manual: remove special handling of In_channel and Out_channel
(details / githubweb ) Remove special-casing for socketpair
(details / githubweb ) Re-enable the cloexec.ml test on Windows
(details / githubweb ) Add not-target-windows ocamltest action
(details / githubweb ) Test Unix.create_process as well
(details / githubweb ) Switch from not-windows to not-target-windows
(details / githubweb ) Switch uses of libunix to not-target-windows
(details / githubweb ) Add target-windows ocamltest action
(details / githubweb ) error messsages: convert most hints to submessage (#13838)
(details / githubweb ) Remove out-of-date comment from cloexec.ml test
(details / githubweb ) update Changes
(details / githubweb ) Add Cvar_mut in Cmm to access mutable variables
(details / githubweb ) Enforce proper use of mutability in codegen tests
(details / githubweb ) Add invariant checks for Cmm mutability of variables
(details / githubweb ) Remove Cmm_helpers.bind_nonvar, as bind now has the right semantics
(details / githubweb ) Add tests
(details / githubweb ) Make object stat counters atomic (#13880)
(details / githubweb ) Use a dedicated primitive for Lazy blocks (#13867)
(details / githubweb ) Implement `Dynarray.{exists2, for_all2}` (#13885)
(details / githubweb ) Fix my author name in the contributions
(details / githubweb ) Renamed unify_package into compare_package
(details / githubweb ) Added an inlined record for Tpackage
(details / githubweb ) Lift inlined record out of Tpackage as a new type
(details / githubweb ) BOOTSTRAP
(details / githubweb ) Changed interface of compare_package to take packages as argument
(details / githubweb ) Factor subtype_package out of subtype_rec
(details / githubweb ) Changed interface of package_subtype to take packages as arguments
(details / githubweb ) Factor unify_package out of unify3
(details / githubweb ) Factor moregen_package out of moregen
(details / githubweb ) Factor eqtype_package out of eqtype
(details / githubweb ) Changed interface of type_package to take a package as argument and return a package
(details / githubweb ) Small improvement of presentation
(details / githubweb ) Changed interface of modtype_of_package to take a package as argument
(details / githubweb ) Introduce a new record for package types in outcometree
(details / githubweb ) Changes
(details / githubweb ) Renamed pack_fields to pack_cstrs in package_type for coherence
(details / githubweb ) Renamed fileds of Typedtree.package_type for less ambiguity with Types.package
(details / githubweb ) Refactor complete_type_list to take a package as argument
(details / githubweb ) #13702 error messages: specialized error messages for non-functors (#13865)
(details / githubweb ) Add reviewers to Changes entry for #13407
(details / githubweb ) gitignore: ignore macOS executable debug symbols directory
(details / githubweb ) set scope in expand_abbrev rather than rely on update_scope
(details / githubweb ) use Int.max rather than generic max
(details / githubweb ) add log and comments; small change in instance_parameterized_type
(details / githubweb ) Add a test showing unexpected approximated shapes
(details / githubweb ) Use `Pextra_ty` for specific shape paths and correctly index modules in these.
(details / githubweb ) Add changelog entry
(details / githubweb ) Fix C _Atomic in header incompatibility with C++
(details / githubweb ) Correct regression with `unused-type-declaration` warning
(details / githubweb ) Merge pull request #13829 from clementblaudeau/recsig-substitution-cyclic-check
(details / githubweb ) Remove quotes around \var{...} in intfc manual
(details / githubweb ) Fix documentation of Array.compare regarding the ordering. (#13908)
(details / githubweb ) Enforce evaluation order for generic applications in Closure (#13882)
(details / githubweb ) Mark tests that actually require multicore (#13906)
(details / githubweb ) Fix definition of Fibonacci numbers in the manual (#13912)
(details / githubweb ) Apply BUILD_PATH_PREFIX_MAP to Sys.argv.(0) in cmt
(details / githubweb ) GHA: remove PRISTINE_PATH
(details / githubweb ) GHA: bash is part of Cygwin base
(details / githubweb ) GHA: tell Cygwin's bash to ignore CR line endings
(details / githubweb ) GHA: revisit limits on concurrent Make jobs
(details / githubweb ) GHA: store the Autoconf cache key in the step output
(details / githubweb ) GHA: don't set CC as an env variable
(details / githubweb ) GHA: refactor configure calls in runner.sh
(details / githubweb ) GHA: typo
(details / githubweb ) GHA: split configuration and build
(details / githubweb ) GHA: use a fold for config.log in GHA
(details / githubweb ) Get rid of the @since attribute for the Uchar.hash function
(details / githubweb ) Add Result.product and Result.Syntax (#13696)
(details / githubweb ) Repr.equal is not an operator (#13914)
(details / githubweb ) Add examples to the `Fun` module
(details / githubweb ) Reword some paragraphs in `Fun` examples
(details / githubweb ) Reword more paragraphs in `Fun` examples
(details / githubweb ) Add more examples to `Fun.id` and `const`
(details / githubweb ) Remove problematic examples and add descriptions
(details / githubweb ) Expand the Fun.id dispatching description
(details / githubweb ) Add "advanced"/"real-world" examples
(details / githubweb ) Make function refs headers
(details / githubweb ) Add `Fun.compose` examples
(details / githubweb ) Deindent and improve formatting
(details / githubweb ) Reword some descriptions
(details / githubweb ) Remove problematic `flip` examples
(details / githubweb ) Replace a `compose` example with more involved one
(details / githubweb ) Typos in the Uchar example
(details / githubweb ) Some rewording
(details / githubweb ) Replace the windows path conversion example
(details / githubweb ) Add a Scanf example to id
(details / githubweb ) Add example to const, remove example from compose
(details / githubweb ) Indent code blocks, reorder, reformat, reword
(details / githubweb ) Remove scanf and floatarray examples from id
(details / githubweb ) Prevent overlong lines in code examples
(details / githubweb ) Add a Changes entry
(details / githubweb ) Harden the cloexec.ml test on Windows
(details / githubweb ) Harden cloexec.ml test against virus scanners!
(details / githubweb ) Enrich ocamltest doc about scripts (#13902)
(details / githubweb ) manual: alerts: add sections, in preparation for following commits
(details / githubweb ) manual: alerts: annotate code section as ocaml code
(details / githubweb ) manual: alerts: document how to put alerts on all structure/signature items
(details / githubweb ) Makefile.dev: work around #13817 (#13818)
(details / githubweb ) [refactor] runtime: auxiliary function for allocated_words update
(details / githubweb ) runtime: "suspended" and "resumed" allocations affect the major GC speed
(details / githubweb ) runtime: simplistic support for [ramp_up], [ramp_down]
(details / githubweb ) runtime: count the work suspended by each ramp-up phase
(details / githubweb ) runtime: support nested ramp-up phases
(details / githubweb ) expose ramp_up, ramp_down as externals in stdlib/Gc
(details / githubweb ) Changes entry
(details / githubweb ) runtime: log ramp-up / ramp-down in SLICESIZE GC logs
(details / githubweb ) Gc.ramp_up: re-raise exceptions, but ramp-down right before
(details / githubweb ) [minor] stray fix in runtime/array.c
(details / githubweb ) runtime/array.c: expose {uniform_,float}array_concat, use it in Float.Array
(details / githubweb ) Rename ccomptype to ccomp_type for consistency (#13927)
(details / githubweb ) Add Result.{get_ok',error_to_failure} (#13720)
(details / githubweb ) Add List.singleton and Seq.singleton
(details / githubweb ) Fix @since 5.0 annotation loss in domain.mli and effect.mli by swapping alert and header (#13934)
(details / githubweb ) mystery reviewer for 13643
(details / githubweb ) Added tests for abstraction of whole module types during avoidance
(details / githubweb ) Removed abstraction of whole module types when avoiding a field
(details / githubweb ) Fix test weak-ephe-final/ephe_custom.ml (#13940)
(details / githubweb ) [refactoring] move Matching.get_mod_field to Lambda.transl_mod_field
(details / githubweb ) [refactoring] Lambda.transl_mod_field, move 'lazy' to clients
(details / githubweb ) [refactor] Lambda: merge transl_mod_field and transl_prim
(details / githubweb ) update .depend
(details / githubweb ) Fix #13939
(details / githubweb ) Typeopt: better handling of deeply nested unboxed types
(details / githubweb ) Add test
(details / githubweb ) Changes
(details / githubweb ) runtime: migrate caml_{alloc,update}_dummy from alloc.c to obj.c
(details / githubweb ) caml_update_dummy: the [Infix_tag] case is dead code
(details / githubweb ) [minor] value_rec_compiler: refactor alloc/update calls
(details / githubweb ) recursive values: introduce [caml_update_dummy_lazy]
(details / githubweb ) regression test for lazy shortcutting in recursive values
(details / githubweb ) Changes
(details / githubweb ) lazy + letrec: insert indirections on lazy update to avoid concurrency issues
(details / githubweb ) use a dedicated [caml_alloc_dummy] primitive
(details / githubweb ) Improved changelog message
(details / githubweb ) document [caml_domain_alone] reasoning
(details / githubweb ) spawn: increment [caml_num_domains_running] earlier to ease reasoning
(details / githubweb ) domain_create: release the domain lock on failure
(details / githubweb ) Changes
(details / githubweb ) Pin Cygwin back to 3.6.1 until AppVeyor updates
(details / githubweb ) List.sort_uniq : remove non-first duplicates. (#13862)
(details / githubweb ) Move match_printer_type in order to share it between toplevel and debugger
(details / githubweb ) Move find_printer to Topprinters (to be shared with the degugger)
(details / githubweb ) Move debugger printers fetching logic
(details / githubweb ) Debugger uses Topprinters.find_printer
(details / githubweb ) release-info: update calendar
(details / githubweb ) Use dune.3.18.0 which is compatible with trunk
(details / githubweb ) Bump qcheck and multicoretests to the latest releases
(details / githubweb ) Changed occur_rec in typing/ctype.ml to traverse type as a graph and not a tree
(details / githubweb ) Changes
(details / githubweb ) Renamed some arguments of occur_rec
(details / githubweb ) Add signal definitions for SIGIO and SIGWINCH.
(details / githubweb ) Add signal_to_string function
(details / githubweb ) Add signal type alias and signal_to_string.
(details / githubweb ) Export signal conversion functions as primitives.
(details / githubweb ) Export signal conversion functions as primitives in Sys
(details / githubweb ) Update documentation in Unix module
(details / githubweb ) Check int and signal argument ranges for conversion functions
(details / githubweb ) Add changelog
(details / githubweb ) Allow 'effect' as attribute id (#13957)
(details / githubweb ) ocamltest: fix typos
(details / githubweb ) ocamltest: use C99 booleans
(details / githubweb ) ocamltest: fix path comparison
(details / githubweb ) ocamltest: use O_CLOEXEC on file descriptors
(details / githubweb ) ocamltest: compare wcscmp result with 0
(details / githubweb ) ocamltest: alarm(3) is always successful
(details / githubweb ) Teach ocamltest about colors
(details / githubweb ) GHA: update to macOS 15 and Xcode 16.3
(details / githubweb ) tests: native-debugger: build C test code without optimizations
(details / githubweb ) tests: native-debugger: sanitize library path
(details / githubweb ) tests: native-debugger: fix GDB version parsing
(details / githubweb ) tests: native-debugger: disable disabling ASLR
(details / githubweb ) tests: native-debugger: sanitize trailing blanks
(details / githubweb ) tests: native-debugger: simplify shell scripts
(details / githubweb ) Apply suggestions from review
(details / githubweb ) Check separately in configure if DIFF supports --color
(details / githubweb ) Fix hygiene check for generating `configure` (#13935)
(details / githubweb ) Added printing of presence flag in typedtree (#13963)
(details / githubweb ) fix .depend
(details / githubweb ) [minor] value_rec_compiler: move primitive declarations earlier
(details / githubweb ) fix #13931
(details / githubweb ) Add profiling with perf chapter OCaml manual
(details / githubweb ) Collapse profiling into a single chapter.
(details / githubweb ) add an invariant function to check that loc_ghost is set correctly
(details / githubweb ) parser: partially align use of loc_ghost with what the documentation says
(details / githubweb ) parser: refactor previous commit, by removing error prone functions
(details / githubweb ) parser: regenerate parser.ml
(details / githubweb ) Add test of princiaplity from polymorphic type constraints
(details / githubweb ) Keep generalized structure from patterns when typing let
(details / githubweb ) Add changelog entry
(details / githubweb ) Renamed the flag `transparent_modules` into `no_alias_deps`
(details / githubweb ) Update driver/makedepend.ml
(details / githubweb ) Updated Changelog with pr number
(details / githubweb ) Update changes
(details / githubweb ) ocamlopt: pass -fPIC when compiling C files
(details / githubweb ) Changes
(details / githubweb ) Changes
(details / githubweb ) Uniformize definition of native_cflags, bytecode_cflags
(details / githubweb ) Changes
(details / githubweb ) last commit before branching 5.4
(details / githubweb ) first commit after branching 5.4
(details / githubweb ) Update README.adoc badges after branching
(details / githubweb ) Avoid tearing in Array.sub
(details / githubweb ) Move filter_arrow error handling in a function
(details / githubweb ) Refactor: extract loc_rest_of_function
(details / githubweb ) Refactor [type_approx].
(details / githubweb ) Add a test illustrating a regression in type_approx
(details / githubweb ) Fix the regression in type approx
(details / githubweb ) Remove the loop: we are already in a recursive function
(details / githubweb ) Add a comment about an unreachable case
(details / githubweb ) Add a comment for type_approx_fun_one_param's spato parameter.
(details / githubweb ) Add a changelog entry for #13980
(details / githubweb ) Propagate file_descr cloexec correctly to channels
(details / githubweb ) Set FLEXDIR when bootstrapping flexlink
(details / githubweb ) Make ocamlmklib fail on an unknown parameter
(details / githubweb ) Collimate the comments
(details / githubweb ) Fix Makefile dependencies for ocamldoc, ocamltest and ocamldebug
(details / githubweb ) Bump magic numbers and version for 5.5.0
(details / githubweb ) Refactor [is_functor_arg] table of env into [not_aliasable]
(details / githubweb ) Added tests and updated error message with line breaks
(details / githubweb ) genprintval: explain why certain uses of O.obj are not guarded
(details / githubweb ) genprintval: move user-installed printers out of the Make functor
(details / githubweb ) Generic printers in debugger
(details / githubweb ) Test and doc of polymorphic printers in debugger
(details / githubweb ) Use trunk-compatible dune.3.18.2
(details / githubweb ) Made the "remove_aliases" attribute visible in built-ins attributes
(details / githubweb ) Add Dynarray.unsafe_to_iarray
(details / githubweb ) Reimplement `let open`, `let module` and `let exception` in terms of a single construct (#13839)
(details / githubweb ) webman: add anchors for API items, headings (#14002)
(details / githubweb ) Refine docs for `In_channel` and `Out_channel` (#13982)
(details / githubweb ) Pprintast: use parentheses around Pexp_struct_item in sequences
(details / githubweb ) Move Changes entry to right place, add bugfix PR
(details / githubweb ) Add test
(details / githubweb ) Fix missing version bump to 5.5 in opam file
(details / githubweb ) Update precondition comment to reflect renaming from #12619
(details / githubweb ) check-symbol-names: ignore extern char **environ re-decl
(details / githubweb ) gha: Document labels triggering/skipping workflows
(details / githubweb ) Dynamic matrix for the others job
(details / githubweb ) Add optional static and mimimal jobs
(details / githubweb ) Merge macOS Dependency steps
(details / githubweb ) Fix test_create_cursor_failures.ml on Cygwin
(details / githubweb ) Update build-msvc.yml to permit Cygwin builds
(details / githubweb ) Add optional Cygwin check to CI
(details / githubweb ) Add bytecode-only Cygwin check
(details / githubweb ) Add a 'CI: Skip testsuite' label
(details / githubweb ) Fix tools/check-symbol-names for i686 mingw-w64
(details / githubweb ) Windows matrix: arch instead of x86_64
(details / githubweb ) stale bot: only identify stale issues, don't close them. (#14004)
(details / githubweb ) Fix memory corruption when an exception is raised during demarshaling. (#14015)
(details / githubweb ) Update Changes
(details / githubweb ) update Changes after cherry-picking
(details / githubweb ) [refactor merge] Create a Merge module + white space changes
(details / githubweb ) [refactor merge] Extracted helper functions
(details / githubweb ) [refactor merge] Changed the return logic
(details / githubweb ) [refactor merge] Extracted the recursive functions for deep constr
(details / githubweb ) [refactor merge] Moved code
(details / githubweb ) [refactor merge] Extracted the type-package case
(details / githubweb ) [refactor merge] Extracted the type case
(details / githubweb ) [refactor merge] Extracted the module case
(details / githubweb ) [refactor merge] Extracted the modtype case
(details / githubweb ) [refactor merge] Added comments, minor stylistic changes
(details / githubweb ) [refactor merge] Corrections from Octachron review
(details / githubweb ) [refactor merge] Moved the catching of exception
(details / githubweb ) [refactor merge] Updated comments
(details / githubweb ) [refactor merge] Added Changelog entry
(details / githubweb ) [minor] printcmm: print atomic loads
(details / githubweb ) [testsuite] test the compilation of atomic functions
(details / githubweb ) [refactor] Define [caml_atomic_cas] in terms of [caml_atomic_cas_field].
(details / githubweb ) [breaking] Change the prototype of [caml_atomic_cas_field].
(details / githubweb ) runtime: Add atomic primitives [caml_atomic_load_field], [caml_atomic_exchange_field] and [caml_atomic_fetch_add_field].
(details / githubweb ) lambda: Add support for new atomic primitives.
(details / githubweb ) Add support for atomic record fields.
(details / githubweb ) atomic fields in ocamldoc
(details / githubweb ) Bootstrap.
(details / githubweb ) Add tests for atomic record fields.
(details / githubweb ) [minor] Make test_untypeast.ml more readable.
(details / githubweb ) Add predefined type ['a atomic_loc].
(details / githubweb ) [refactor] more general type for Env.mark_*_used
(details / githubweb ) Add extension [%atomic.loc record.field].
(details / githubweb ) Bootstrap.
(details / githubweb ) Add module [Stdlib.Atomic.Loc].
(details / githubweb ) Add tests for [Atomic.Loc].
(details / githubweb ) Reimplement [Atomic.t] using [Atomic.Loc.t].
(details / githubweb ) Forbid atomic fields in patterns.
(details / githubweb ) Changes
(details / githubweb ) testsuite for pattern-matching on atomic reads
(details / githubweb ) allow wildcard patterns under atomic record fields
(details / githubweb ) stdlib/Atomic: move the Loc module below in the .mli
(details / githubweb ) stdlib/Atomic: minimal documentation
(details / githubweb ) describe atomic record fields in the reference manual
(details / githubweb ) Runtime events: dispatch the right event message type (#13970)
(details / githubweb ) Add Unix.unsetenv
(details / githubweb ) Add test
(details / githubweb ) Document [row_more] and [row_fixed].
(details / githubweb ) Add Option.product and Option.Syntax (#13916)
(details / githubweb ) [minor] More readable output from `gen_sizeclasses` (#13923)
(details / githubweb ) Fix unterminated-string-initialization warning
(details / githubweb ) fix atomic-locs/cmm.compilers.reference
(details / githubweb ) tests: native-debugger: sanitize GDB+musl output
(details / githubweb ) Fix #13427
(details / githubweb ) Add caml_sys_proc_self_exe primitive
(details / githubweb ) Add Sys.runtime_executable
(details / githubweb ) Cleanups following introduction of `Pexp_struct_item`/`Texp_struct_item` (#14028)
(details / githubweb ) Add row_more invariant
(details / githubweb ) Update flexdll submodule to 0.44
(details / githubweb ) Reenable lib-dynlink-domains test on Windows, temporarily disabled in #11607
(details / githubweb ) Comments from review
(details / githubweb ) Changelog
(details / githubweb ) tests: native-debugger: sanitize LLDB+GLIBC output
(details / githubweb ) fix #13941
(details / githubweb ) update Changes for #13961
(details / githubweb ) simplifications suggested by reviewer
(details / githubweb ) [minor] use a record in Compenv.process_deferred_actions
(details / githubweb ) Amend docstring
(details / githubweb ) Better error messages on invalid recursive module definitions
(details / githubweb ) Ensure that all Bigarray memory managed by the GC is tracked by Memprof
(details / githubweb ) Format: place hint white spaces after the break hint
(details / githubweb ) Changes
(details / githubweb ) Update changes
(details / githubweb ) Attach infix extension points/attributes on local module/exception/open to structure item instead of enclosing let expression (#14009)
(details / githubweb ) manual: fall back immediately to user-agent-defined fonts
(details / githubweb ) Uniformize parsing rules for structure and signature items (#14039)
(details / githubweb ) Trully share #*_printers machinery between toplevel and debugger
(details / githubweb ) Review changes
(details / githubweb ) update the memprof bigarray test
(details / githubweb ) Move #13675 to 5.4 Changes
(details / githubweb ) Reimplement generational stack scanning a la OCaml 4
(details / githubweb ) ARM64: explicitly ignore top bits in return addresses
(details / githubweb ) Better API for generational stack scanning
(details / githubweb ) Adapt TSAN to generational stack scanning
(details / githubweb ) Changes for 13594
(details / githubweb ) document the invariants around pc marking in tsan.c
(details / githubweb ) manual: move the TeX header of each language extension into the extension-specific .etex file (#14041)
(details / githubweb ) Changes
(details / githubweb ) Use BUILD_PATH_PREFIX_MAP to sanitize debug event paths, do not rewrite shebang
(details / githubweb ) Accept native freestanding targets at configure time
(details / githubweb ) Allow `*-ocaml` as target triplets to build freestanding cross compilers
(details / githubweb ) Update changelog
(details / githubweb ) domain_terminate: orphan the shared heap before STW exit
(details / githubweb ) Changes
(details / githubweb ) runtime: caml_finalise_heap should first adopt all orphan pools
(details / githubweb ) review: clarify the invariants in [domain_create], including for the last domain
(details / githubweb ) review: clarify the invariants required to free the shared heap
(details / githubweb ) minor Changes fixes
(details / githubweb ) Changelog: fix ordering for 5.3
(details / githubweb ) Changes: reuse the improved 5.4 entry order from the 5.4 branch
(details / githubweb ) Unix.kill: On Windows, make process exit code ERROR_PROCESS_ABORTED (#14046)
(details / githubweb ) Revert "Merge pull request #14045 from pirbo/bpp-map-1-2"
(details / githubweb ) re-apply the part of #14045 that disables path rewrites on the shebang
(details / githubweb ) Special constructor for %sys_argv primitive (#10570)
(details / githubweb ) Debugger: Fallback to looking for module_name.ml in the loadpath when seeking source files (#14063)
(details / githubweb ) Improve handling of packages in typing/gprinttyp.ml to put the name of the constraint on the arrow
(details / githubweb ) Add Option.blend (#13995)
(details / githubweb ) error message: point all label mismatches
(details / githubweb ) Add a test showing spurious unused warnign in fonctor argument signatures.
(details / githubweb ) Mark both in [modtypes_with_shape]
(details / githubweb ) Reduce test noise by disabling warning 60
(details / githubweb ) Add changelog entry for #13956
(details / githubweb ) dynlink: fix exception name in printer
(details / githubweb ) Changes update
(details / githubweb ) Add changelog entry
(details / githubweb ) fix one more definition of fib in the manual
(details / githubweb ) Add a new type kind `Type_external` (#13712)
(details / githubweb ) For stores on Apple Silicon, emit `stlr` instead of `dmb ishld; str`.
(details / githubweb ) error messages: point mismatched univars
(details / githubweb ) Introduce Sixtyfour memory chunk to handle unaligned accesses
(details / githubweb ) Fix note: the alignment of `_Atomic long long unsigned int` fields changed in GCC 11.1 on i686 (#14035)
(details / githubweb ) Add missing `item-attribute` rule for `let-binding` in documentation of attributes (#14077)
(details / githubweb ) Switch back to ubuntu-latest
(details / githubweb ) update Changes
(details / githubweb ) Address reviewer comments.
(details / githubweb ) Catch invalid aliases at merging rather than subtyping (#14066)
(details / githubweb ) Generalise Compmisc.init_path
(details / githubweb ) Add Dll.search_path
(details / githubweb ) Add Misc.Stdlib.String.to_utf_8_seq
(details / githubweb ) Expose Bytelink.read_runtime_launch_info
(details / githubweb ) Changes bookkeeping: missing reviewer
(details / githubweb ) Add Domain.running_domain_count
(details / githubweb ) Changes
(details / githubweb ) Changes
(details / githubweb ) Add Config.{c_compiler_vendor,shebangscripts}
(details / githubweb ) Add a test for the compiler "in-prefix"
(details / githubweb ) Plumb the in-prefix tests into CI
(details / githubweb ) Changes: 14074 was backported to 5.4
(details / githubweb ) Avoid an error when a channel is flushed during close
(details / githubweb ) review
(details / githubweb ) Fix flakiness of TSan tests using flushes and synchronization
(details / githubweb ) Skip native-debugger tests.
(details / githubweb ) Use caml_unix_error instead of errno+caml_uerror
(details / githubweb ) Symmetrize caml_sys_rename and caml_unix_rename
(details / githubweb ) Symmetrize caml_sys_chdir and caml_unix_chdir
(details / githubweb ) Symmetrize caml_sys_close and caml_unix_close
(details / githubweb ) Symmetrize caml_sys_system_command and caml_unix_system
(details / githubweb ) Update Changes
(details / githubweb ) stdlib: Option.{for_all, exists} (#13920)
(details / githubweb ) [refactor] dynarray variable naming, consistently use [f] for function arguments
(details / githubweb ) Dynarray.rev_iter, rev_iteri
(details / githubweb ) Changes
(details / githubweb ) Rename Domain.running_domain_count => Domain.count (#14096)
(details / githubweb ) ocamldoc: no paragraph in module table (#14098)
(details / githubweb ) CI: attempt to silence a MSVC warning
(details / githubweb ) Changes bookkeeping: fix 13896 entry
(details / githubweb ) toplevel: test with nongeneric printer
(details / githubweb ) toplevel: printers must have a generic type
(details / githubweb ) refactor Ctype: remove nongen_inst argument
(details / githubweb ) add Changes entry
(details / githubweb ) Explicitly fail-fast
(details / githubweb ) Temporarily disable -Wcast-function-type-mismatch
(details / githubweb ) Temporarily disable warning C5387 on MSVC
(details / githubweb ) Update memprof after leaving the barrier at the end of minor GC, nor before.
(details / githubweb ) Use C99 (u)int64_t instead of MSVC __int64 extension
(details / githubweb ) Use time_t instead of MSVC __time64_t
(details / githubweb ) Use C99 fixed-width integers in bigarray
(details / githubweb ) Fully use C99 stdint.h fixed-width integers
(details / githubweb ) Define intnat/uintnat with C99 intptr_t/uintptr_t
(details / githubweb ) Use C99 inttypes.h fixed-width format macros
(details / githubweb ) Define and use CAML_PRI.NAT and CAML_PRI.SZT
(details / githubweb ) s/alloced/allocated/g
(details / githubweb ) Update Changes
(details / githubweb ) Fix a possible hang in Pprintast (#14105)
(details / githubweb ) toplevel: fix a typo in directive error messages
(details / githubweb ) changes: sync with 5.4
(details / githubweb ) use No_scan_tag and NOT_MARKABLE to indicate free block
(details / githubweb ) change shared pools heap representation to indicate contiguous free ranges
(details / githubweb ) add prefetching
(details / githubweb ) add Changes
(details / githubweb ) actually prefetch a page ahead
(details / githubweb ) restore split asserts
(details / githubweb ) clarify comment in verify_pool
(details / githubweb ) fix bug in compaction
(details / githubweb ) write Debug_free_major in to newly initialised pools
(details / githubweb ) fix bug in pool_finalise
(details / githubweb ) simplify macro
(details / githubweb ) Update runtime/shared_heap.c
(details / githubweb ) Update runtime/shared_heap.c
(details / githubweb ) restore atomic header read
(details / githubweb ) make note about GC pacing logic
(details / githubweb ) Update runtime/shared_heap.c
(details / githubweb ) wh -> Whsize_hd
(details / githubweb ) always update the pointer in the last free block
(details / githubweb ) revert all_used annotation
(details / githubweb ) Replaced normalize_package_path by Env.normalize_modtype_path
(details / githubweb ) Add -Wno-cast-function-type-mismatch more clangily
(details / githubweb ) Typo in stdlib/Makefile
(details / githubweb ) Reduce tmpheader.exe to 4-5KiB on Windows
(details / githubweb ) Stop using Caml_inline and CAMLnoret in headernt.c
(details / githubweb ) Remove unnecessary guards around unistd.h
(details / githubweb ) Use PATH_MAX instead of MAXPATHLEN
(details / githubweb ) Assume S_ISREG and SEEK_END
(details / githubweb ) Move O_BINARY definition to "header" section
(details / githubweb ) Make caml/exec.h independent
(details / githubweb ) Re-order some header functions (no-op)
(details / githubweb ) Share error path in headernt.c
(details / githubweb ) Unify implementation of read_size
(details / githubweb ) headernt.c: inline run_runtime into main
(details / githubweb ) Check for errors from lseek in header.c
(details / githubweb ) Refactor error display code
(details / githubweb ) header.c: close bytecode image before exec
(details / githubweb ) Use execvp in header.c (as in headernt.c)
(details / githubweb ) headernt: make read_runtime_path more CRTish
(details / githubweb ) Missing error case in headernt.c
(details / githubweb ) Unify the common parts of header.c and headernt.c
(details / githubweb ) Merge stdlib/header{,nt}.c
(details / githubweb ) error messages: typo, missing inline code
(details / githubweb ) #14093 was backported
(details / githubweb ) Fix use of time_t on i686 mingw-w64 (#14114)
(details / githubweb ) Increase the amount of data written to a pipe in a test (#14116)
(details / githubweb ) Add regression test
(details / githubweb ) Fix non-destructive `with type` with type constraints
(details / githubweb ) Add with type constraint testing
(details / githubweb ) Update changelog
(details / githubweb ) Add {Set,Map}.S.is_singleton (#14118)
(details / githubweb ) Make List.{take,drop} total (#14124)
(details / githubweb ) document that char compare uses ASCII order (#14090)
(details / githubweb ) Add the approx flag to merging of module constraints
(details / githubweb ) Add a [merge_type_approx] for approximation of type constraints
(details / githubweb ) Add tests for module and type constraints during approximation
(details / githubweb ) Update Changelog
(details / githubweb ) Add another test for destructive type constraints approximation
(details / githubweb ) Address review comments on #14100
(details / githubweb ) Update Changelog
(details / githubweb ) Refactor post_process of signature merging
(details / githubweb ) Update comment and Changelog
(details / githubweb ) Address review comments
(details / githubweb ) Missing case in {Stdlib,Float}.frexp documentation (#14128)
(details / githubweb ) Fix `__tsan_func_exit()` signature mismatch (#14065) (#14082)
(details / githubweb ) Update comment
(details / githubweb ) matching: fix some non-deterministic code generation (#14091)
(details / githubweb ) Speedup some Set/Map access by using is_empty instead of cardinal = 0 (#14119)
(details / githubweb ) typechecker: fix an internal error due to wrong exception
(details / githubweb ) cpp support: move basic type definitions to misc
(details / githubweb ) [minor] indentation fix in errortrace_report
(details / githubweb ) error messages: external with non-syntactic arity
(details / githubweb ) release calendar update
(details / githubweb ) Upstream "mark-delay" change from flambda-backend.
(details / githubweb ) 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 / githubweb ) fix finaliser handling bug
(details / githubweb ) Guard call to caml_darken
(details / githubweb ) Fix ephe_custom.ml test for the mark-delay scheme
(details / githubweb ) Don't make finaliser updates dependent on work being available.
(details / githubweb ) Removed unused field in package_type
(details / githubweb ) Changes
(details / githubweb ) Rename cstrs to constraints to distinguish from cstrs = constructors (#14141)
(details / githubweb ) Move the orphaned ephemerons GC colour check inside the barrier.
(details / githubweb ) minor gc: more consistent memprof logging
(details / githubweb ) Fix missing expectations in typing-poly/poly.ml
(details / githubweb ) Additional corrections
(details / githubweb ) Audit unexecuted phrases
(details / githubweb ) Audit
(details / githubweb ) Fix audit
(details / githubweb ) Changes
(details / githubweb ) Update changes
(details / githubweb ) runtime: free the minor heap when leaving STW participants
(details / githubweb ) Update parser and adapt to the new Tpoly invariant. Requires bootstrap.
(details / githubweb ) bootstrap
(details / githubweb ) Add tests for polymorphic parameters
(details / githubweb ) Promote polymorphic parameters tests failures
(details / githubweb ) Refactor: more descriptive return type for [split_function], renaming and comment work
(details / githubweb ) Introduce new error "opt params cannot be polymorphic"
(details / githubweb ) Wrap and generalize filter_arrow_mono if principal
(details / githubweb ) Handle polymorphic parameters in type_apply_arg
(details / githubweb ) Refactor Pexp_function case and handle poly
(details / githubweb ) Add one generalization level in type_class_arg_pattern
(details / githubweb ) Handle polymorphic parameters in [type_approx and] [type_pat_aux]
(details / githubweb ) Add changes entry for #15733
(details / githubweb ) Add test with class argument
(details / githubweb ) Additional tests with labels
(details / githubweb ) review: reorder functions in btype
(details / githubweb ) review: comment format
(details / githubweb ) review: add a Btype.newgenmono utility symetrical to Ctype.newmono
(details / githubweb ) review: use label names in error messages
(details / githubweb ) review: additional tests
(details / githubweb ) Add test for polymorphic variants in polymorphic parameters
(details / githubweb ) Take fixed instances of polys where appropriate
(details / githubweb ) Show issue with subtyping trace
(details / githubweb ) Fix subtyping error trace
(details / githubweb ) tests: Promote error messages improvements after rebasing.
(details / githubweb ) review: more reuse in parser and reloc in [param_type]
(details / githubweb ) review: move [is_really_poly] utility to Ctype.
(details / githubweb ) Add more test cases
(details / githubweb ) Move definition closer to usage
(details / githubweb ) Additional test cases
(details / githubweb ) Document function in comment
(details / githubweb ) Add test cases
(details / githubweb ) Fix typo in error message
(details / githubweb ) Rename function and move it to Btype
(details / githubweb ) Inline function and exception used only once
(details / githubweb ) Document function
(details / githubweb ) Enforce Tpoly invariant
(details / githubweb ) Clarify conditions
(details / githubweb ) Clearer argument label and field names
(details / githubweb ) Turn ordinary comment into a documentation comment
(details / githubweb ) Clearer variable name
(details / githubweb ) Fix wrong set of univars
(details / githubweb ) review: De-duplicate parser rule for let
(details / githubweb ) review: Add test with syntactic arity mismatch
(details / githubweb ) review: Fix test
(details / githubweb ) Fix dependency generation when tools are disabled
(details / githubweb ) Fix generation of config.status for dynlink
(details / githubweb ) Don't generate ocamltest_config.ml when not needed
(details / githubweb ) Correct ocamltest-manual
(details / githubweb ) symbol names: revert to using `$` only on macOS and Windows (#14143)
(details / githubweb ) bookkeeping: update release info
(details / githubweb ) Minor heap reservation: change the terminology
(details / githubweb ) review: use 'arena' for the (committed) minor heap space
(details / githubweb ) self-review: solidify two separate comments on minor heap layout
(details / githubweb ) runtime/domain.c: add a category of 'parked' stw_domains
(details / githubweb ) [minor] domain.c: reorder domain_self and heap-reservation variables
(details / githubweb ) [minor] domain.c: reorder domain_create
(details / githubweb ) use POOL_FIRST_BLOCK
(details / githubweb ) domain.c: fix `stw_resize_minor_heaps_reservation`.
(details / githubweb ) Extend parsetree to distinguish between `(module M : S)` and `(module M) : (module S)`
(details / githubweb ) Changes
(details / githubweb ) add hashtbl remove and replace which return the previous value (#14060)
(details / githubweb ) Memprof.start replaces any existing profile in the domain, Memprof.is_sampling
(details / githubweb ) Adjust test and add test
(details / githubweb ) [minor] Code clean-up
(details / githubweb ) [documentation] Clarify a difference between threads and domains
(details / githubweb ) Changes
(details / githubweb ) Clarify test
(details / githubweb ) Run callbacks before starting a different profile
(details / githubweb ) Bump multicoretests to the trunk-compatible 0.9
(details / githubweb ) Also bump qcheck to 0.26 while we are at it
(details / githubweb ) runtime: host aligned fibers inside the fiber cache whenever possible (#14169)
(details / githubweb ) Add expectation to wellfounded11150.ml (#14170)
(details / githubweb ) Print row types when they are GADT constructors
(details / githubweb ) Better Btype.is_row_name
(details / githubweb ) Gc.stat: restore stack_size and add live_stacks_words (#14168)
(details / githubweb ) error message: explain quantification mismatches
(details / githubweb ) deprecation alert: file location
(details / githubweb ) update Changes
(details / githubweb ) Fix #13658
(details / githubweb ) Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC).
(details / githubweb ) Add runtime counters EV_C_MINOR_PROMOTED_WORDS and EV_C_MINOR_ALLOCATED_WORDS.
(details / githubweb ) ocamlprof: do not instrument unreachable clauses
(details / githubweb ) Changes
(details / githubweb ) Changes: 14169 was included in 5.4
(details / githubweb ) Add Changes
(details / githubweb ) Highlight known units for runtime_counter.
(details / githubweb ) ![[Jenkins]](/ocaml/static/db2b9b32/images/svgs/logo.svg){kind=logo}
