aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/byterun/coq_memory.c
Commit message (Expand)AuthorAge
* Adapt the VM GC hook to handle the no-naked-pointers option flag.Gravatar Pierre-Marie Pédrot2018-04-30
* Make the VM accumulator look like an OCaml block.Gravatar Pierre-Marie Pédrot2018-04-30
* Wrap VM bytecode used on the OCaml side in an OCaml block.Gravatar Pierre-Marie Pédrot2018-04-30
* Moving the VM global atom table to a ML reference.Gravatar Pierre-Marie Pédrot2018-03-26
* Moving the VM global data to a ML reference.Gravatar Pierre-Marie Pédrot2018-03-26
* Fix #5127 Memory corruption with the VMGravatar Maxime Dénès2016-10-24
* Remove some unused variables.Gravatar Guillaume Melquiond2015-10-14
* Code cleaning in VM (with Benjamin).Gravatar Maxime Dénès2015-10-09
* Remove some dead code in the vmGravatar letouzey2012-10-02
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* Changement dans le kernel : Gravatar bgregoir2006-12-11
* - Ajout d'un cast vm dans la syntaxe : x <: t Gravatar bgregoir2006-07-22
* compatibility with POWERPCGravatar gregoire2004-11-22
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-29 09:08:15 +0000