aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/vm.mli
Commit message (Expand)AuthorAge
* deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
* bug fixes to vm computation + test cases.Gravatar Gregory Malecha2015-12-09
* 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
* 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
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-23 04:09:12 +0000