aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/vm_printers.ml
Commit message (Expand)AuthorAge
* Merge PR #935: Handling evars in the VMGravatar Maxime Dénès2018-03-04
|\
| * Handling evars in the VM.Gravatar Pierre-Marie Pédrot2018-03-03
* | [VM] Unify Const_sorts and Const_type, and remove Vsort.Gravatar Maxime Dénès2018-03-02
|/
* Safer VM interfacesGravatar Maxime Dénès2018-01-26
* [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