summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Changes4.12Gabriel Scherer2022-09-031-0/+4
* Refactor the initialization of bytecode threading (#11378)Xavier Leroy2022-09-033-8/+12
* Update ChangesXavier Leroy2022-01-201-0/+14
* Dynamically allocate the alternate signal stackXavier Leroy2022-01-205-13/+95
* increment version number after tagging 4.12.1Florian Angeletti2021-09-233-18/+18
* release 4.12.14.12.1Florian Angeletti2021-09-235-17/+17
* last commit before tagging 4.12.1Florian Angeletti2021-09-233-17/+17
* AMD64 integer multiply immediate cannot write result to a stack location (#10...Xavier Leroy2021-09-112-0/+12
* Merge pull request #10497 from wiktorkuchta/webman-cssFlorian Angeletti2021-08-184-29/+76
* Merge pull request #10446 from dra27/fix-10442David Allsopp2021-08-098-7/+49
* Merge pull request #10535 from nekketsuuu/nekketsuuu-subsubDavid Allsopp2021-07-271-1/+1
* st_stubs.c: fix initialization of thread ID when a thread starts (#10478)Nicolás Ojeda Bär2021-06-252-1/+5
* Inria CI "main" script: do not lower priority on macOSXavier Leroy2021-06-151-1/+1
* Set up execution environment before launching a CI scriptXavier Leroy2021-06-151-0/+31
* fix Changes for #10449Damien Doligez2021-06-151-1/+2
* fix work accounting in marking phase (#10449)Damien Doligez2021-06-152-1/+4
* Fix cherry-pick in d96c13eDavid Allsopp2021-04-201-6/+0
* Fix mingw-w64 DLL support with binutils 2.36+ (#10351)David Allsopp2021-04-182-1/+3
* Merge pull request #10310 from dra27/restore-spacetime-optionDavid Allsopp2021-04-183-0/+15
* Merge pull request #10107 from dra27/aflDavid Allsopp2021-04-142-5/+16
* Merge pull request #10288 from maranget/bowtie-for-eventFlorian Angeletti2021-04-072-5/+7
* fix for a row-arity mismatch in pattern-matching compilation (#10295)Gabriel Scherer2021-03-314-3/+59
* Merge pull request #10300 from sanette/triangleFlorian Angeletti2021-03-292-6/+29
* Merge pull request #10282 from sanette/bug#10254Florian Angeletti2021-03-172-15/+58
* Changelog: fix a PR numberGabriel Scherer2021-02-251-1/+1
* increment version number after tagging 4.12.0octachron2021-02-244-18/+21
* release 4.12.04.12.0octachron2021-02-246-19/+19
* last commit before tagging 4.12.0octachron2021-02-242-15/+15
* Merge pull request #10233 from gretay-js/document-start-stop-save-linearFlorian Angeletti2021-02-234-6/+47
* increment version number after tagging 4.12.0~rc1octachron2021-02-163-17/+17
* release 4.12.0~rc14.12.0-rc1octachron2021-02-163-17/+17
* last commit before tagging 4.12.0~rc1octachron2021-02-162-15/+15
* Merge pull request #10224 from gasche/4.12-changesGabriel Scherer2021-02-151-120/+127
|\
| * Changes: split 'highlights' from normal entriesGabriel Scherer2021-02-141-120/+127
|/
* Changes: full name suggested by EduardoRFSGabriel Scherer2021-02-142-3/+4
* reorder and complete the 4.12 Changes entriesGabriel Scherer2021-02-141-176/+191
* Changes: typoGabriel Scherer2021-02-131-1/+1
* Run the Github actions nnp test correctly on tags (#10173)David Allsopp2021-01-281-1/+1
* Use strchr() instead of index()Xavier Leroy2021-01-281-1/+1
* Inria CI: add solaris to the list of supported platformsSébastien Hinderer2021-01-283-5/+5
* increment version number after tagging 4.12.0~beta2octachron2021-01-263-17/+17
* release 4.12.0~beta24.12.0-beta2octachron2021-01-263-17/+17
* last commit before tagging 4.12.0~beta2octachron2021-01-262-15/+15
* Merge pull request #10157 from gasche/try-to-fix-appveyor-backtrace-testsGabriel Scherer2021-01-252-2/+5
* Merge pull request #10063 from tleedjarv/solaris-buildXavier Leroy2021-01-2512-50/+236
* Merge pull request #10164 from johnwhitington/examplesGabriel Scherer2021-01-228-23/+51
* Merge pull request #10153 from johnwhitington/spellcheck2Gabriel Scherer2021-01-226-7/+7
* Merge pull request #10152 from johnwhitington/chap8headerlittleGabriel Scherer2021-01-221-2/+1
* Merge pull request #10137 from johnwhitington/little-changes-2Florian Angeletti2021-01-224-157/+64
* Shorten and clean up contents page of reference manual (#10123)John Whitington2021-01-2212-97/+90
View Lorry Controller Status