summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* suppress spurious alert when compiling stdlib documentation5.0Damien Doligez2023-04-191-1/+1
* Merge pull request #12027 from dra27/make-warn-5.0Gabriel Scherer2023-02-224-3/+29
|\
| * Finish off removal of FORCE_INSTRUMENTED_RUNTIMEDavid Allsopp2023-02-221-1/+0
| * Report all post-build failuresDavid Allsopp2023-02-221-3/+9
| * Provide a default for $(OCAMLDEPFLAGS)David Allsopp2023-02-221-0/+1
| * Fix incorrect variable from runtime/Makefile mergeDavid Allsopp2023-02-221-0/+9
| * Detect unused Makefile variables in workflowDavid Allsopp2023-02-221-1/+12
|/
* Allow installing in folder with space in name (#11590)David Allsopp2023-01-042-2/+10
* Merge pull request #11860 from Octachron/index_for_stdlibGabriel Scherer2023-01-041-9/+15
* Merge pull request #11845 from edwintorok/5.0-clangGabriel Scherer2022-12-311-3/+0
|\
| * removed set but unused variables in yacc/reader.c (#11758)SSHz2022-12-311-3/+0
|/
* Add KC Sivaramakrishnan as authorXavier Leroy2022-12-201-1/+2
* Merge pull request #11814 from gasche/clarify-DLS.new_key-docGabriel Scherer2022-12-161-9/+32
* increment version number after tagging 5.0.0Florian Angeletti2022-12-154-30/+30
* release 5.0.05.0.0Florian Angeletti2022-12-156-25/+25
* last commit before tagging 5.0.0Florian Angeletti2022-12-154-21/+21
* Updated Documentation For Since Annotations (#11676)Bukolab992022-12-153-3/+19
* Merge pull request #11813 from edwintorok/5.0-docsFlorian Angeletti2022-12-157-2/+30
|\
| * Manual: add changes entry for manual improvementsEdwin Török2022-12-141-0/+4
| * Manual(Thread): mention domainsEdwin Török2022-12-141-2/+5
| * Manual: make new chapters on memory model and parallelism easier to discoverEdwin Török2022-12-143-0/+10
| * Manual: add note about the change in behaviour of the runtime lock with multi...Edwin Török2022-12-142-0/+11
|/
* Merge pull request #11793 from dra27/then-thanSébastien Hinderer2022-12-062-4/+4
* increment version number after tagging 5.0.0~rc1Florian Angeletti2022-12-064-26/+26
* release 5.0.0~rc15.0.0-rc1Florian Angeletti2022-12-064-26/+26
* last commit before tagging 5.0.0~rc1Florian Angeletti2022-12-063-19/+19
* Merge pull request #11237 from Octachron/array_and_concurrency_documentationFlorian Angeletti2022-12-058-3/+579
* Merge pull request #11755 from gasche/multicore-changesFlorian Angeletti2022-12-051-3/+9
* Merge pull request #11534 from gasche/follow-synonyms-in-show-module-typeFlorian Angeletti2022-12-023-10/+85
* Fix bug in `Mtype.strengthen_lazy` causing spurious typing errors (#11776)Chris Casinghino2022-12-015-0/+60
* Domain.at_each_spawn is gone, remove dangling reference (#11709)Christiano Haesbaert2022-12-011-13/+8
* add a missing break statement in startup_aux (#11760)Enguerrand2022-11-281-1/+1
* increment version number after tagging 5.0.0~beta2Florian Angeletti2022-11-254-22/+22
* release 5.0.0~beta25.0.0-beta2Florian Angeletti2022-11-254-22/+22
* last commit before tagging 5.0.0~beta2Florian Angeletti2022-11-253-19/+19
* Merge pull request #11731 from dra27/MAP_STACKDavid Allsopp2022-11-242-10/+30
* Merge pull request #11227 from Octachron/concurrency_alerts_part_two_lightFlorian Angeletti2022-11-243-3/+23
* Merge pull request #11713 from Engil/caml_verb_gcFlorian Angeletti2022-11-2410-18/+25
* Merge pull request #11749 from jmid/fix-ephe-get-fieldFlorian Angeletti2022-11-242-1/+33
* Merge pull request #11193 from Octachron/concurrency_alerts_part_oneFlorian Angeletti2022-11-2411-9/+107
* Merge pull request #11526 from Octachron/experimental_alertFlorian Angeletti2022-11-245-0/+21
* stdlib: an indirection for a memory-safe buffer (#11742)Florian Angeletti2022-11-231-99/+113
* Merge pull request #11744 from jmid/weak-check-missing-exceptionEnguerrand2022-11-231-5/+7
* Ensure that types from packed modules are always generalised (#11732)Stephen Dolan2022-11-233-1/+48
* Merge pull request #11726 from dra27/munmapDavid Allsopp2022-11-211-5/+13
* Remove force-instrumented-runtime configure option (#11660)Enguerrand2022-11-217-40/+1
* Missing CAMLparam in win32's Unix.stat (#11737)Marc Lasson2022-11-212-4/+12
* Merge pull request #11725 from dra27/remove-caml_alloc_NDavid Allsopp2022-11-152-16/+0
* Changes bookkeepingFlorian Angeletti2022-11-081-0/+4
* Merge pull request #11673 from stedolan/free-old-frame-tablesFlorian Angeletti2022-11-081-3/+18
View Lorry Controller Status