summaryrefslogtreecommitdiff
path: root/middle_end/semantics_of_primitives.ml
Commit message (Expand)AuthorAgeFilesLines
* Multicore cleanup: remove traces of Obj.truncate (#11967)Nick Barnes2023-01-271-2/+1
* remove multicore nop debugging (reverts ocaml-multicore#384)Tom Kelly2021-10-081-5/+2
* add polling at mach layerSadiq Jaffer2021-09-061-1/+0
* Add primitive for fetching dls stateKC Sivaramakrishnan2021-06-101-3/+7
* Merge commit '017d4a3eaddbd2b25649d04ed576258e4ddf60cc' into parallel_minor_g...Tom Kelly2021-03-011-0/+2
|\
| * Replace caml_int_compare and caml_float_compare with primitives (#2324)Greta Yorsh2020-03-261-0/+2
* | Merge upstream updatesKC Sivaramakrishnan2020-11-061-1/+2
|\ \
| * | Fix up Ppoll semantics_of_primitives entryTom Kelly2020-10-131-1/+2
* | | Add a primitive to insert nop instructionKC Sivaramakrishnan2020-07-311-0/+3
|/ /
* | Merge commit '8afe2db3c6bdf06d2596ddba95cb889991196fc5' into parallel_minor_g...Tom Kelly2020-04-211-0/+158
|\ \ | |/
| * Move some middle-end files around (#2281)Mark Shinwell2019-04-011-0/+153
|/
* Move Semantics_of_primitives to bytecomp/ and use it in closure.alainfrisch2017-01-031-172/+0
* fix whitespace and overlong linesDamien Doligez2016-12-141-1/+2
* Avoid checking twice if divisor is zero (#702)Pierre Chambart2016-10-051-4/+9
* add needed lambda IR for safe stringHongbo Zhang2016-08-071-4/+6
* Improve location handling in the middle end (version for merging) (#666)Mark Shinwell2016-07-061-2/+2
* Improve approximations using block kindPierre Chambart2016-04-121-0/+20
* Update headers for the new license.Damien Doligez2016-02-181-2/+2
* Reformatting only (to the standards of tools/check-typo)Mark Shinwell2016-02-101-33/+34
* Enable flambdaPierre Chambart2016-01-281-1/+2
* Add warning headers to flambda filesPierre Chambart2016-01-221-0/+2
* Correct name of licenceMark Shinwell2016-01-051-1/+1
* New files for flambdaMark Shinwell2016-01-041-0/+140