aboutsummaryrefslogtreecommitdiff
path: root/kernel/byterun
AgeCommit message (Expand)Author
2020-03-27Merge PR #11102: Use the Alloc_small macro from the OCaml runtime rather than...Maxime Dénès
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-09Do not rely on the implicit declaration of caml_minor_collection.Guillaume Melquiond
2019-12-22Use the Alloc_small macro from the OCaml runtime rather than our own.Guillaume Melquiond
2019-12-17failwith -> caml_failwithGuillaume Munch-Maccagnoni
2019-12-17Fatal error in VM if SIGINT was seen but no exception occured.Guillaume Munch-Maccagnoni
2019-12-17Fix signal polling for OCaml 4.10Guillaume Munch-Maccagnoni
2019-12-17[VM] fix volatile declarationGuillaume Munch-Maccagnoni
2019-12-12[vm] Untabify the VM C code.Emilio Jesus Gallego Arias
2019-12-04[dune] Update to dune language version 2.0Emilio Jesus Gallego Arias
2019-11-11Have only one dune rule calling configurePierre Roux
2019-11-01Communicate CFLAGS to dunePierre Roux
2019-11-01Fix ldshiftexpPierre Roux
2019-11-01Add "==", "<", "<=" in PrimFloat.vErik Martin-Dorel
2019-11-01Make primitive float work on WindowsPierre Roux
2019-11-01Reimplement is_floatPierre Roux
2019-11-01Make primitive float work on x86_32Pierre Roux
2019-11-01Add next_{up,down} primitive float functionsPierre Roux
2019-11-01Implement classify on primitive floatPierre Roux
2019-11-01Change return type of primitive float comparisonPierre Roux
2019-11-01Put axioms on ldshiftexp and frshiftexpGuillaume Bertholon
2019-11-01Add primitive floats to 'vm_compute'Guillaume Bertholon
2019-07-29Use the precondition of diveucl_21 to avoid massaging the dividend.Guillaume Melquiond
2019-07-29Use a more traditional definition for uint63_div21 (fixes #10551).Guillaume Melquiond
2019-05-23Fixing typos - Part 2JPR
2019-05-15Merge PR #9905: [vm] x86_64 registersMaxime Dénès
2019-05-03Remove now useless commented codePierre Roux
2019-05-03[primitive integers] Make div21 implems consistent with its specificationPierre Roux
2019-04-30[vm] Backport from OCamlPierre Roux
2019-04-30[vm] PPC64 registersPierre Roux
2019-04-30[vm] ARM registersPierre Roux
2019-04-30[vm] Arm 64 registersPierre Roux
2019-04-30[vm] x86_64 registersPierre Roux
2019-04-15[vm] Protect accu and coq_envPierre Roux
2019-03-01[Kernel] Simpler generation of opcode filesVincent Laporte
2019-02-04[dune] Fix Dune build in Windows.Emilio Jesus Gallego Arias
2019-02-04Primitive integersMaxime Dénès
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
2018-05-28Make some comments more precise about compilation of cofixpointsMaxime Dénès
2018-04-30Adapt the VM GC hook to handle the no-naked-pointers option flag.Pierre-Marie Pédrot
2018-04-30Make the VM accumulator look like an OCaml block.Pierre-Marie Pédrot
2018-04-30Wrap VM bytecode used on the OCaml side in an OCaml block.Pierre-Marie Pédrot
2018-03-26Moving the VM global atom table to a ML reference.Pierre-Marie Pédrot
2018-03-26Moving the VM global data to a ML reference.Pierre-Marie Pédrot
2016-12-23Handle application of a primitive projection to a not yet evaluated cofixpoin...Guillaume Melquiond
2016-12-06Fix #5248 - test-suite fails in 8.6beta1Maxime Dénès
2016-11-24Fix incorrect long multiplication in the VM.Guillaume Melquiond
2016-10-26Merge branch 'v8.5' into v8.6Pierre-Marie Pédrot
2016-10-24Fix #5127 Memory corruption with the VMMaxime Dénès
2016-10-19More comments in VM.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:48:34 +0000