summaryrefslogtreecommitdiff
path: root/asmcomp/cmm.mli
Commit message (Expand)AuthorAgeFilesLines
* Add comment to document flag in CmmOlivier Nicole2022-01-241-1/+2
* Merge commit 'edf0075888ec27a50c4f50f76dba46f730797651' into 5.00_rebase_to_prTom Kelly2021-12-201-0/+1
|\
| * Add [@poll error] attribute (#10462)Sadiq Jaffer2021-11-091-0/+1
* | remove multicore nop debugging (reverts ocaml-multicore#384)Tom Kelly2021-10-081-1/+0
* | Merge commit 'd967318148ace47c721901b7a933c700b3869a07' into 5.00Tom Kelly2021-10-011-2/+2
|\ \ | |/
| * Remove Cmm.memory_chunk.Double_u (#10433)Greta Yorsh2021-06-211-2/+2
* | Merge commit 'b720b583a1d8eeeb295adbf597c6d2ddf994c1cd' into parallel_minor_g...Tom Kelly2021-09-301-0/+1
|\ \ | |/
| * Keep Sys.opaque_identity in Cmm and Mach (#9412)Stephen Dolan2021-04-151-0/+1
* | Remove fun_suppress_pollsMark Shinwell2021-09-061-1/+0
* | add polling at mach layerSadiq Jaffer2021-09-061-1/+1
* | Add primitive for fetching dls stateKC Sivaramakrishnan2021-06-101-0/+1
* | Merge commit '86c8a98f3c36b25c2e3f2185c24809d0babad5b4' into parallel_minor_g...Tom Kelly2021-03-081-2/+1
|\ \ | |/
| * Merge pull request #9948 from nojb/remove_spacetimeXavier Leroy2020-10-091-2/+1
| |\
| | * Remove labels after calls, checkbound, and GC pointsNicolás Ojeda Bär2020-10-081-1/+1
| | * Remove CblockheaderNicolás Ojeda Bär2020-10-081-1/+0
* | | Merge commit '0069123c61344acc9b35de56a1324ba8a011ae7d' into parallel_minor_g...Tom Kelly2021-03-081-0/+2
|\ \ \ | |/ /
| * | Save Linear IR before emit (#8939)Greta Yorsh2020-10-071-0/+2
| |/
* | Merge commit 'e41dc9c44327f40c1ab0feea12f779c931c9e31e' into parallel_minor_g...Tom Kelly2021-03-041-1/+15
|\ \ | |/
| * Revised passing of arguments to external C functionsXavier Leroy2020-07-241-1/+15
* | Merge commit '41548a735900a74202b07f918521ef9ac52ece1e' into parallel_minor_g...Tom Kelly2021-03-021-2/+0
|\ \ | |/
| * Remove Const_pointer (#9578)Stephen Dolan2020-05-191-2/+0
* | Merge commit 'b82d5194c21fcb96a2a2f8aec8af396056910460' into parallel_minor_g...Tom Kelly2021-03-011-0/+3
|\ \ | |/
| * Use typing information from Clambda for mutable Cmm variablesStephen Dolan2020-02-251-0/+3
* | Add a primitive to insert nop instructionKC Sivaramakrishnan2020-07-311-0/+1
* | removal of CloadmutTom Kelly2020-07-141-3/+0
* | Merge commit 'dbd717e817307dc6a527dd54cc1c9765b30cfad2' into parallel_minor_g...Tom Kelly2020-04-291-1/+4
|\ \ | |/
| * Split cmmgen into generic cmm helpers and clambda-specific transformations (#...Vincent Laviron2019-10-041-1/+4
* | Merge commit 'd01f0b7d7130f3f3b0c982d4c69ab5eabf071d37' into parallel_minor_g...Tom Kelly2020-04-291-0/+3
|\ \ | |/
| * Unbox across static handlers (#8735)Alain Frisch2019-10-031-0/+3
* | Merge commit 'e6096b8f6c3211a83f7855bda3d820c2408257dd' into parallel_minor_g...Tom Kelly2020-04-281-0/+15
|\ \ | |/
| * Decide unboxing of let-bound expressions based on their Cmm translation (#2165)Alain Frisch2019-09-171-0/+15
* | Merge commit '5ad64306d36755b600f2556805effb73627508c8' into parallel_minor_g...Tom Kelly2020-04-281-3/+1
|\ \ | |/
| * Move backtrace support global variables to domain state.KC Sivaramakrishnan2019-08-231-5/+1
* | Merge commit '455bd0ffae85a9b63cb331ac532ea2ab52fe418c' into parallel_minor_g...Tom Kelly2020-04-271-4/+0
|\ \ | |/
| * Move size computations from Cmm to SelectgenVincent Laviron2019-05-241-4/+0
* | Merge commit '8e5e3c0ed46ad4ab6849930ccc3de651439cc26d' into parallel_minor_g...Tom Kelly2020-04-201-14/+15
|\ \ | |/
| * More debugging information in Cmm terms (#2308)Mark Shinwell2019-03-131-14/+15
* | Merge commit '1dba5329a2ea19320ed2ed019e367bf9e99a6618' into parallel_minor_g...Tom Kelly2020-04-171-1/+0
|\ \ | |/
| * Remove loop constructors in Cmm and MachVincent Laviron2019-02-191-1/+0
* | Merge commit '4c130cae87cd29621aa2ed8a36a68fc7eaa950a2' into parallel_minor_g...Tom Kelly2020-04-091-8/+41
|\ \ | |/
| * Phantom let support in Cmm (#2070)Mark Shinwell2018-10-161-0/+29
| * GPR#2056 (Backend_var)Mark Shinwell2018-09-281-8/+12
* | Merge commit '1435a6a6a279dff1fbb81a92a828a2e1ee50922e' into parallel_minor_g...Tom Kelly2020-04-071-2/+5
|\ \ | |/
| * GPR#1833 check-typo complianceDavid Allsopp2018-07-011-2/+5
| * Allow non-val payload types in CMM Ccatch (#1833)Simon Fowler2018-06-291-2/+2
* | Merge commit 'e866ba3f6891a18ede3235f125babd5f7fd6d03a' into parallel_minor_g...Tom Kelly2020-03-301-1/+5
|\ \ | |/
| * Revert "Replace constant pointers by regular integers (#1580)"Damien Doligez2018-04-061-0/+2
| * Disable CSE for the initialization function (#1455)Pierre Chambart2018-03-151-1/+5
| * Replace constant pointers by regular integers (#1580)Vincent Laviron2018-03-151-2/+0
* | Fixup ocamldoc/stdlib_non_prefixed/.depend. Fixup bad cmm raise_kind mergeTom Kelly2020-03-301-1/+1
View Lorry Controller Status