aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/byterun/coq_memory.c
Commit message (Expand)AuthorAge
* 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