aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/vm_printers.ml
Commit message (Expand)AuthorAge
* [api] Deprecate all legacy uses of Names in core.Gravatar Emilio Jesus Gallego Arias2017-11-06
* Fix a bug in cumulativityGravatar Amin Timany2017-06-16
* Put all plugins behind an "API".Gravatar Matej Kosik2017-06-07
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* 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
* adding a missing case for printing zippers.Gravatar Gregory Malecha2015-07-23
* use a more compact representation of non-constant constructorsGravatar Benjamin Gregoire2015-03-27
* fix compilationGravatar Benjamin Gregoire2015-03-26
* vm_printers: fix compilationGravatar Enrico Tassi2015-01-15
* Modulification of identifierGravatar ppedrot2012-12-14
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* 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
* Découpage des printers pour ne pas avoir de dépendances en la vm dans les p...Gravatar herbelin2005-01-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-22 05:13:08 +0000