aboutsummaryrefslogtreecommitdiff
path: root/dev/vm_printers.ml
AgeCommit message (Expand)Author
2017-06-16Fix a bug in cumulativityAmin Timany
2017-06-07Put all plugins behind an "API".Matej Kosik
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2015-10-28Refine Gregory Malecha's patch on VM and universe polymorphism.Maxime Dénès
2015-10-28Adds support for the virtual machine to perform reduction of universe polymor...Gregory Malecha
2015-10-09Code cleaning in VM (with Benjamin).Maxime Dénès
2015-07-23adding a missing case for printing zippers.Gregory Malecha
2015-03-27use a more compact representation of non-constant constructorsBenjamin Gregoire
2015-03-26fix compilationBenjamin Gregoire
2015-01-15vm_printers: fix compilationEnrico Tassi
2012-12-14Modulification of identifierppedrot
2009-10-21This big commit addresses two problems:soubiran
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2006-07-22- Ajout d'un cast vm dans la syntaxe : x <: t bgregoir
2005-01-02Découpage des printers pour ne pas avoir de dépendances en la vm dans les p...herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 16:38:23 +0000