Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Merge commit '8f85e002b2e1f3f4ccf8fefa5ad9a137109168d1' into ↵ | Tom Kelly | 2021-03-01 | 6 | -9/+11 | |
|\ \ | |/ | | | | | parallel_minor_gc_4_12 | |||||
| * | Replace Location.t with Lambda.scoped_location in Lambda code | Stephen Dolan | 2020-04-27 | 6 | -9/+11 | |
| | | | | | | | | | | | | This commit threads scopes through translation from Typedtree to Lambda, extending the scopes when entering functions, modules, classes and methods. | |||||
* | | Merge commit 'ec6690fb53b6caced797e1a7a083a787ff8bd97c' into ↵ | Tom Kelly | 2021-03-01 | 7 | -14/+18 | |
|\ \ | |/ | | | | | parallel_minor_gc_4_11b | |||||
| * | Merge pull request #9349 from lpw25/inline-hint | Leo White | 2020-04-17 | 7 | -14/+18 | |
| |\ | | | | | | | Add [@inlined hint] attribute | |||||
| | * | Add [@inlined hint] attribute | Leo White | 2020-04-16 | 7 | -14/+18 | |
| | | | ||||||
* | | | Merge commit '019cd43ef11d73f7f3b66eb7bfdfb5ff3151dcf4' into ↵ | Tom Kelly | 2021-03-01 | 3 | -7/+6 | |
|\ \ \ | |/ / | | | | | | | parallel_minor_gc_4_11b | |||||
| * | | Map.filter_map and Set.filter_map | Gabriel Scherer | 2020-03-31 | 3 | -7/+6 | |
| | | | ||||||
* | | | Merge commit '017d4a3eaddbd2b25649d04ed576258e4ddf60cc' into ↵ | Tom Kelly | 2021-03-01 | 8 | -1/+28 | |
|\ \ \ | |/ / | | | | | | | parallel_minor_gc_4_11b | |||||
| * | | Replace caml_int_compare and caml_float_compare with primitives (#2324) | Greta Yorsh | 2020-03-26 | 8 | -1/+28 | |
| |/ | ||||||
* | | Merge commit '8a79f6ce59cdabd65870af5124e3e3eebc366ff1' into ↵ | Tom Kelly | 2021-02-26 | 1 | -8/+10 | |
|\ \ | |/ | | | | | parallel_minor_gc_4_11b | |||||
| * | -dno-locations: hide source locations (and debug events) from IR dumps | Gabriel Scherer | 2020-01-09 | 1 | -8/+10 | |
| | | | | | | | | | | | | This PR was tested with also the -dsel, -dlinear output (also fixed to not-print locations), but the output is architecture-dependent so this part of the test was removed. | |||||
* | | Merge commit '05f15cf215d2643aaea0e300d6c9e4e5fd3ef65b' into ↵ | Tom Kelly | 2021-02-26 | 2 | -2/+2 | |
|\ \ | |/ | | | | | parallel_minor_gc_4_11b | |||||
| * | Annotated Asttypes.constant's string with content location. | Drup | 2019-11-13 | 2 | -2/+2 | |
| | | ||||||
* | | Merge commit '03c33f500563f3e12355694f1add98e7bd1096ae' into ↵ | Tom Kelly | 2021-02-23 | 1 | -54/+83 | |
|\ \ | |/ | | | | | parallel_minor_gc_4_11b | |||||
| * | Closure: do not substitute mutable variables in function bodies | Nicolas Ojeda Bar | 2019-10-29 | 1 | -54/+83 | |
| | | ||||||
* | | Merge upstream updates | KC Sivaramakrishnan | 2020-11-06 | 2 | -3/+4 | |
|\ \ | ||||||
| * \ | Merge pull request ocaml-multicore/ocaml-multicore#411 from ↵ | KC Sivaramakrishnan | 2020-10-21 | 1 | -2/+2 | |
| |\ \ | | | | | | | | | | | | | | | | | ctk21/fix_typo_effects_internal_variable_names Fix typo for presume and presume_arg in internal_variable_names | |||||
| | * | | Fix typo for presume and presume_arg in internal_variable_names | Tom Kelly | 2020-10-13 | 1 | -2/+2 | |
| | | | | ||||||
| * | | | Fix up Ppoll semantics_of_primitives entry | Tom Kelly | 2020-10-13 | 1 | -1/+2 | |
| |/ / | ||||||
* | | | Add a primitive to insert nop instruction | KC Sivaramakrishnan | 2020-07-31 | 6 | -1/+13 | |
|/ / | ||||||
* | | rebase ocaml-multicore PR328: Get multicore compiler working with flambda | Tom Kelly | 2020-05-01 | 1 | -19/+0 | |
| | | ||||||
* | | Merge commit 'f4b30f0a9b93a51317272812c33441326881f9ae' into ↵ | Tom Kelly | 2020-04-30 | 3 | -6/+4 | |
|\ \ | |/ | | | | | parallel_minor_gc_4_10 | |||||
| * | Warn about unused functor parameters (#8891) | Thomas Refis | 2019-10-14 | 3 | -6/+4 | |
| | | ||||||
* | | Merge commit 'e6096b8f6c3211a83f7855bda3d820c2408257dd' into ↵ | Tom Kelly | 2020-04-28 | 5 | -58/+103 | |
|\ \ | |/ | | | | | parallel_minor_gc_4_10 | |||||
| * | Decide unboxing of let-bound expressions based on their Cmm translation (#2165) | Alain Frisch | 2019-09-17 | 2 | -6/+15 | |
| | | ||||||
| * | Flambda: prevent recursive approximations in Build_export_info (#8924) | Vincent Laviron | 2019-09-11 | 1 | -9/+27 | |
| | | | | | | Fixes #8921 | |||||
| * | make check-typo happy | Gabriel Scherer | 2019-09-10 | 1 | -2/+3 | |
| | | ||||||
| * | Minor refactor in lift_code | Pierre Chambart | 2019-09-09 | 1 | -15/+13 | |
| | | ||||||
| * | Flambda: lift mutable lets along with immutable ones | Leo White | 2019-09-09 | 1 | -34/+55 | |
| | | ||||||
| * | warning 60: enable on local modules | Thomas Refis | 2019-08-28 | 2 | -2/+0 | |
| | | ||||||
* | | Merge commit '5e4b55d3bd3fdf3e7512c132ad36d103d7131e72' into ↵ | Tom Kelly | 2020-04-27 | 1 | -1/+1 | |
|\ \ | |/ | | | | | parallel_minor_gc_4_10 | |||||
| * | Merge pull request #8826 from glondu/4.08-spelling-errors | Gabriel Scherer | 2019-07-29 | 1 | -1/+1 | |
| | | | | | | | | | | | | Fix spelling errors reported by Lintian (cherry picked from commit c808ce7068f3e31975594bcd5e6a41dceab3a80e) | |||||
* | | Merge commit '455bd0ffae85a9b63cb331ac532ea2ab52fe418c' into ↵ | Tom Kelly | 2020-04-27 | 13 | -31/+29 | |
|\ \ | |/ | | | | | parallel_minor_gc_4_10 | |||||
| * | Merge pull request #8692 from lpw25/remove-may-map | Gabriel Scherer | 2019-05-24 | 13 | -30/+28 | |
| |\ | | | | | | | Remove Misc.may_map and similar | |||||
| | * | Remove Misc.may_map and similar | Leo White | 2019-05-23 | 13 | -30/+28 | |
| | | | ||||||
| * | | Fixing misspellings | JPR | 2019-05-21 | 1 | -1/+1 | |
| |/ | ||||||
* | | Merge commit '72b4ec7362c1576a2c377d8f575f4089a2b7d8bb' into ↵ | Tom Kelly | 2020-04-27 | 10 | -40/+205 | |
|\ \ | |/ | | | | | parallel_minor_gc_4_10 | |||||
| * | Move some code from Asmgen to the middle end directory etc. (#2288) | Mark Shinwell | 2019-05-10 | 10 | -40/+205 | |
| | | | | | | Followup to (#2281) | |||||
* | | Merge commit '8afe2db3c6bdf06d2596ddba95cb889991196fc5' into ↵ | Tom Kelly | 2020-04-21 | 156 | -207/+7966 | |
|\ \ | |/ | | | | | parallel_minor_gc_4_09 | |||||
| * | Move some middle-end files around (#2281) | Mark Shinwell | 2019-04-01 | 156 | -207/+7879 | |
| | | | | | | | | | | | | * Various file moves in the middle end: this is the first stage of improving separation between the middle end and backend. * Creation of file_formats/ directory (with associated file moves) to hold the definitions of compilation artifact formats. * Creation of lambda/ directory (with associated file moves) to hold Lambda language definition files, transformation passes and construction passes from Typedtree. * Disable (hopefully temporarily) dynlink, debugger and ocamldoc for the dune build. | |||||
* | | Merge commit '8e5e3c0ed46ad4ab6849930ccc3de651439cc26d' into ↵ | Tom Kelly | 2020-04-20 | 4 | -8/+8 | |
|\ \ | |/ | | | | | parallel_minor_gc_4_09 | |||||
| * | Shorten symbol names of anonymous functions in Flambda mode | Mark Shinwell | 2019-03-18 | 1 | -2/+2 | |
| | | ||||||
| * | Add a few utility functions in Misc (#2284) | Mark Shinwell | 2019-03-15 | 3 | -6/+6 | |
| | | ||||||
* | | Merge commit '1dba5329a2ea19320ed2ed019e367bf9e99a6618' into ↵ | Tom Kelly | 2020-04-17 | 16 | -0/+0 | |
|\ \ | |/ | | | | | parallel_minor_gc_4_09 | |||||
| * | Additional executable file from GPR#614 | David Allsopp | 2019-02-27 | 1 | -0/+0 | |
| | | | | | | | | Subsequently moved! | |||||
| * | Remove unnecesary executable bit from sources | David Allsopp | 2019-02-27 | 15 | -0/+0 | |
| | | | | | | | | Added in cad3b523 in GPR#614 (presumably misconfigured core.fileMode) | |||||
* | | Merge commit 'c4d0fec0251883decc6e82fc243159b785c4e874' into ↵ | Tom Kelly | 2020-04-17 | 16 | -102/+84 | |
|\ \ | |/ | | | | | parallel_minor_gc_4_09 | |||||
| * | Merge pull request #1579 from chambart/split_backend_primitives | Pierre Chambart | 2019-02-14 | 16 | -102/+84 | |
| |\ | | | | | | | Use a different type for primitives in clambda and lambda | |||||
| | * | Rename for_primitive_clambda to for_primitive | Pierre Chambart | 2019-02-11 | 1 | -1/+1 | |
| | | | ||||||
| | * | Push clambda_primitives to flambda | Pierre Chambart | 2019-02-11 | 14 | -82/+40 | |
| | | |