aboutsummaryrefslogtreecommitdiff
path: root/kernel/vm.ml
AgeCommit message (Expand)Author
2018-03-26Moving the VM global atom table to a ML reference.Pierre-Marie Pédrot
2018-03-26Moving the VM global data to a ML reference.Pierre-Marie Pédrot
2018-03-05Merge PR #6855: Update headers following #6543.Maxime Dénès
2018-03-04Merge PR #935: Handling evars in the VMMaxime Dénès
2018-03-03Handling evars in the VM.Pierre-Marie Pédrot
2018-03-02[VM] Unify Const_sorts and Const_type, and remove Vsort.Maxime Dénès
2018-02-27Update headers following #6543.Théo Zimmermann
2018-01-26Safer VM interfacesMaxime Dénès
2017-11-06[api] Move structures deprecated in the API to the core.Emilio Jesus Gallego Arias
2017-11-06[api] Deprecate all legacy uses of Names in core.Emilio Jesus Gallego Arias
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-02Drop '.' from CErrors.anomaly, insert it in argsJason Gross
2016-10-26Merge branch 'v8.5' into v8.6Pierre-Marie Pédrot
2016-10-24Fix #5127 Memory corruption with the VMMaxime Dénès
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-01-20Update copyright headers.Maxime Dénès
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-12Gather VM tags in Cbytecodes.Maxime Dénès
2015-10-09Complete handling of primitive projections in VM.Maxime Dénès
2015-10-09Code cleaning in VM (with Benjamin).Maxime Dénès
2015-07-05Fix handling of primitive projections in VM.Maxime Dénès
2015-03-27use a more compact representation of non-constant constructorsBenjamin Gregoire
2015-03-26Fix bug 4157,Benjamin Gregoire
2015-01-15Correct restriction of vm_compute when handling universe polymorphicMatthieu Sozeau
2015-01-12Update headers.Maxime Dénès
2014-03-03Fixing generic hashes and replacing them with proper ones.Pierre-Marie Pédrot
2013-03-12invalid_arg instead of raise (Invalid_argement ...)letouzey
2013-01-28Uniformization of the "anomaly" command.ppedrot
2012-11-08Monomorphized a lot of equalities over OCaml integers, thanks toppedrot
2012-10-02Remove some dead code in the vmletouzey
2012-09-14This patch removes unused "open" (automatically generated fromregisgia
2012-08-08Updating headers.herbelin
2012-03-02Noise for nothingpboutill
2011-03-08adding eta in the vmbgregoir
2010-09-24Some dead code removal, thanks to Oug analyzerletouzey
2010-07-30better fix to bug #2319: types are compiled in the env of the bodiesbarras
2010-07-28fixed bug #2139: compiled cofix loops, missing offset to evaluate cofix bodiesbarras
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-07-16removed a potentially dangerous try ... with _ -> ...barras
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-11-13Move Obj.magic call to the Vm moduleglondu
2009-10-04Removal of trailing spaces.serpyc
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2008-04-01Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaientherbelin
2007-01-19Protection contre les warnings 'unused variable' de ocaml 3.09herbelin
2006-12-11Changement dans le kernel : bgregoir
2006-08-25correction bug vm_computebgregoir
2006-07-22- Ajout d'un cast vm dans la syntaxe : x <: t bgregoir
2005-12-05changement d'egalite pour le named_context_valgregoire
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:36:32 +0000