aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/vm.ml
Commit message (Expand)AuthorAge
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Refine Gregory Malecha's patch on VM and universe polymorphism.Gravatar Maxime Dénès2015-10-28
* Adds support for the virtual machine to perform reduction of universe polymor...Gravatar Gregory Malecha2015-10-28
* Gather VM tags in Cbytecodes.Gravatar Maxime Dénès2015-10-12
* Complete handling of primitive projections in VM.Gravatar Maxime Dénès2015-10-09
* Code cleaning in VM (with Benjamin).Gravatar Maxime Dénès2015-10-09
* Fix handling of primitive projections in VM.Gravatar Maxime Dénès2015-07-05
* use a more compact representation of non-constant constructorsGravatar Benjamin Gregoire2015-03-27
* Fix bug 4157,Gravatar Benjamin Gregoire2015-03-26
* Correct restriction of vm_compute when handling universe polymorphicGravatar Matthieu Sozeau2015-01-15
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fixing generic hashes and replacing them with proper ones.Gravatar Pierre-Marie Pédrot2014-03-03
* invalid_arg instead of raise (Invalid_argement ...)Gravatar letouzey2013-03-12
* Uniformization of the "anomaly" command.Gravatar ppedrot2013-01-28
* Monomorphized a lot of equalities over OCaml integers, thanks toGravatar ppedrot2012-11-08
* Remove some dead code in the vmGravatar letouzey2012-10-02
* This patch removes unused "open" (automatically generated fromGravatar regisgia2012-09-14
* Updating headers.Gravatar herbelin2012-08-08
* Noise for nothingGravatar pboutill2012-03-02
* adding eta in the vmGravatar bgregoir2011-03-08
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* better fix to bug #2319: types are compiled in the env of the bodiesGravatar barras2010-07-30
* fixed bug #2139: compiled cofix loops, missing offset to evaluate cofix bodiesGravatar barras2010-07-28
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* removed a potentially dangerous try ... with _ -> ...Gravatar barras2010-07-16
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Move Obj.magic call to the Vm moduleGravatar glondu2009-11-13
* Removal of trailing spaces.Gravatar serpyc2009-10-04
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaientGravatar herbelin2008-04-01
* Protection contre les warnings 'unused variable' de ocaml 3.09Gravatar herbelin2007-01-19
* Changement dans le kernel : Gravatar bgregoir2006-12-11
* correction bug vm_computeGravatar bgregoir2006-08-25
* - Ajout d'un cast vm dans la syntaxe : x <: t Gravatar bgregoir2006-07-22
* changement d'egalite pour le named_context_valGravatar gregoire2005-12-05
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* compatibility with POWERPCGravatar gregoire2004-11-22
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20