aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/vm.ml
Commit message (Expand)AuthorAge
* Moving the VM global atom table to a ML reference.Gravatar Pierre-Marie Pédrot2018-03-26
* Moving the VM global data to a ML reference.Gravatar Pierre-Marie Pédrot2018-03-26
* Merge PR #6855: Update headers following #6543.Gravatar Maxime Dénès2018-03-05
|\
* \ 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
|/ /
| * Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
|/
* Safer VM interfacesGravatar Maxime Dénès2018-01-26
* [api] Move structures deprecated in the API to the core.Gravatar Emilio Jesus Gallego Arias2017-11-06
* [api] Deprecate all legacy uses of Names in core.Gravatar Emilio Jesus Gallego Arias2017-11-06
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Drop '.' from CErrors.anomaly, insert it in argsGravatar Jason Gross2017-06-02
* Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-10-26
|\
| * Fix #5127 Memory corruption with the VMGravatar Maxime Dénès2016-10-24
* | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-28 05:18:28 +0000