aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/vm.mli
Commit message (Expand)AuthorAge
* Modulification of identifierGravatar ppedrot2012-12-14
* Remove some dead code in the vmGravatar letouzey2012-10-02
* adding eta in the vmGravatar bgregoir2011-03-08
* Various minor improvements of comments in mli for ocamldocGravatar letouzey2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Move Obj.magic call to the Vm moduleGravatar glondu2009-11-13
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - 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