summaryrefslogtreecommitdiff
path: root/.depend
Commit message (Expand)AuthorAgeFilesLines
* Merge commit 'ccf4df07584087a7fa3a14f365cf348c56f64e5c' into parallel_minor_g...Tom Kelly2021-03-051-0/+2
|\
| * Avoid Cconst_natint where Cconst_int will do (#9838)Stephen Dolan2020-08-251-0/+2
* | Merge commit 'e41dc9c44327f40c1ab0feea12f779c931c9e31e' into parallel_minor_g...Tom Kelly2021-03-041-1/+4
|\ \ | |/
| * Merge pull request #9752 from xavierleroy/c-calling-conventionsXavier Leroy2020-07-251-1/+4
| |\
| | * Revised passing of arguments to external C functionsXavier Leroy2020-07-241-1/+4
* | | Merge commit '01c6a5ebe38b680a0b104aa4075ff790f311ea01' into parallel_minor_g...Tom Kelly2021-03-041-0/+7
|\ \ \ | |/ /
| * | Merge pull request #9551 from nojb/microbfdXavier Leroy2020-07-141-0/+7
| |\ \
| | * | make alldependNicolás Ojeda Bär2020-07-021-0/+7
| | |/
* | | Merge commit 'cfe6a5053339d771eb97e7b4c56d1fb142eeb061' into parallel_minor_g...Tom Kelly2021-03-041-27/+33
|\ \ \ | |/ /
| * | Fix #9721: Injectivity and recursive modules (#9727)Jacques Garrigue2020-07-071-2/+0
| * | Move code of main and optmain to compilerlibsStephen Dolan2020-06-301-25/+33
| |/
* | Merge commit 'e717512a54349bce4bbbb9590d4fe5a2c671c4e9' into parallel_minor_g...Tom Kelly2021-03-031-0/+2
|\ \ | |/
| * Limit the number of parameters for an uncurried or untupled function (#9620)Xavier Leroy2020-06-051-0/+2
* | Merge commit '71e91123c27780fdfeca93c6c57c2f9af5417e54' into parallel_minor_g...Tom Kelly2021-03-021-0/+32
|\ \ | |/
| * Matching: propagate constructor descriptions in complete_pats_constrsGabriel Scherer2020-05-261-1/+0
| * make dependThomas Refis2020-05-141-2/+5
| * patterns: move Parmatch.Pattern_head into Patterns.HeadGabriel Scherer2020-05-141-0/+30
* | Merge commit '8f85e002b2e1f3f4ccf8fefa5ad9a137109168d1' into parallel_minor_g...Tom Kelly2021-03-011-20/+33
|\ \ | |/
| * BootstrapStephen Dolan2020-04-271-16/+33
| * Replace Location.t with Lambda.scoped_location in Lambda codeStephen Dolan2020-04-271-8/+4
* | Merge commit '58f8284acae7790511a12f9d481def5e0f8e2abb' into parallel_minor_g...Tom Kelly2021-03-011-14/+39
|\ \ | |/
| * Deprecate -annot (#2141)Nicolás Ojeda Bär2020-03-131-14/+39
* | Merge commit 'b82d5194c21fcb96a2a2f8aec8af396056910460' into parallel_minor_g...Tom Kelly2021-03-011-0/+1
|\ \ | |/
| * make dependGabriel Scherer2020-03-061-0/+1
* | Merge commit 'edee8cea3e781644d6c434ae0b31459f9511c8cd' into parallel_minor_g...Tom Kelly2021-03-011-2/+18
|\ \ | |/
| * make dependGabriel Scherer2020-02-041-2/+18
* | Merge commit '13ab6b4a64a7770e07ba3bbfcf96d3642cadb7d2' into parallel_minor_g...Tom Kelly2021-03-011-0/+31
|\ \ | |/
| * typedecl_separability: interfaces and basic definitions, implementations missingRodolphe Lepigre2020-01-281-0/+31
* | Merge commit '8a79f6ce59cdabd65870af5124e3e3eebc366ff1' into parallel_minor_g...Tom Kelly2021-02-261-3/+9
|\ \ | |/
| * compilerlibs: expose parsers for 'Longident.t'sFlorian Angeletti2020-01-091-3/+9
* | make alldependTom Kelly2021-02-261-0/+2
* | Merge commit '0da925c68df24923d6129a6270b563b111bd366a' into parallel_minor_g...Tom Kelly2021-02-261-5/+8
|\ \ | |/
| * make dependGabriel Scherer2019-12-031-5/+8
* | Merge commit '62bae6fcf5fe12ee52e3373280d066d1d576c41c' into parallel_minor_g...Tom Kelly2021-02-251-2/+5
|\ \ | |/
| * Use allocation-size info on more than just amd64.Stephen Dolan2019-10-221-2/+2
| * Apply suggestions from code review, and make depend.Stephen Dolan2019-10-221-0/+3
* | mark stack overflow is closer to trunk - removes addrmap implementation and u...Sudha Parimala2020-11-061-9/+6
* | run alldependSadiq Jaffer2020-10-291-6/+9
* | Merge commit '4ecd0e477677c4a16cc0f964d6fb85eb48fb1ff0' into parallel_minor_g...Tom Kelly2020-04-301-24/+0
|\ \ | |/
| * make alldependFlorian Angeletti2019-10-181-24/+0
* | Merge commit 'dbd717e817307dc6a527dd54cc1c9765b30cfad2' into parallel_minor_g...Tom Kelly2020-04-291-11/+84
|\ \ | |/
| * Split cmmgen into generic cmm helpers and clambda-specific transformations (#...Vincent Laviron2019-10-041-11/+84
* | Merge commit 'd6fb9ad86a7628d8b8683d8f96957e7ceaa3bf5d' into parallel_minor_g...Tom Kelly2020-04-291-16/+4
|\ \ | |/
| * share argument implementation across executableFlorian Angeletti2019-09-301-16/+4
| * make dependGabriel Scherer2019-09-251-0/+2
* | make alldependTom Kelly2020-04-281-0/+2
* | Merge commit '107100e7a8a159b2a96e22cd7073e4ff61ebcc87' into parallel_minor_g...Tom Kelly2020-04-281-4/+27
|\ \ | |/
| * Add support for [@@immediate64]Jeremie Dimino2019-09-241-4/+27
* | Merge commit 'e6096b8f6c3211a83f7855bda3d820c2408257dd' into parallel_minor_g...Tom Kelly2020-04-281-25/+42
|\ \ | |/
| * Split Linearize into two modulesGreta Yorsh2019-09-041-25/+42