aboutsummaryrefslogtreecommitdiff
path: root/kernel/csymtable.ml
AgeCommit message (Expand)Author
2016-10-05Merge branch 'v8.6'Pierre-Marie Pédrot
2016-09-09Packing the named_context_val in a proper record and marking it private.Pierre-Marie Pédrot
2016-09-07Merge branch 'v8.6'Pierre-Marie Pédrot
2016-09-02Remove useless debug code.Guillaume Melquiond
2016-08-24CLEANUP: minor readability improvementsMatej Kosik
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-03-05Merge branch 'v8.5'Pierre-Marie Pédrot
2016-03-04Rename Ephemeron -> CEphemeron.Maxime Dénès
2016-02-15CLEANUP: Simplifying the changes done in "kernel/*"Matej Kosik
2016-02-09CLEANUP: Context.{Rel,Named}.Declaration.tMatej Kosik
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-11CLEANUP: kernel/context.ml{,i}Matej Kosik
2015-10-29Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-28Adds support for the virtual machine to perform reduction of universe polymor...Gregory Malecha
2015-10-16Exporting a purely functional interface to bytecode patching.Pierre-Marie Pédrot
2015-07-29Fixing some English misspelling.Hugo Herbelin
2015-07-05Fix handling of primitive projections in VM.Maxime Dénès
2015-07-02More robust pattern matching on structured constants in VM.Maxime Dénès
2015-03-25Fix vm compiler to refuse to compile code making use of inductives withMatthieu Sozeau
2015-01-15Correct restriction of vm_compute when handling universe polymorphicMatthieu Sozeau
2015-01-12Update headers.Maxime Dénès
2014-12-16Getting rid of Exninfo hacks.Pierre-Marie Pédrot
2014-03-03Removing generic hashes in kernel.Pierre-Marie Pédrot
2014-02-11Made Pre_env.lazy_val opaque.Pierre-Marie Pédrot
2014-01-07STM: additional fix for STM + vm_computeEnrico Tassi
2014-01-06STM: fix worker crash when doing vm_computeEnrico Tassi
2013-12-28Removing native_name reference from constant_body.Maxime Dénès
2013-04-29Merging Context and Sign.ppedrot
2013-04-29Splitting Term into five unrelated interfaces:ppedrot
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 8)letouzey
2013-01-28Actually adding backtrace handling.ppedrot
2012-12-14Modulification of identifierppedrot
2012-10-02Remove some dead code in the vmletouzey
2012-10-02Remove some more "open" and dead code thanks to OCaml4 warningsletouzey
2012-08-08Updating headers.herbelin
2011-08-01fixed bug 2580. Quick fix: copy emitcodes before patching itbarras
2011-01-28Remove the "Boxed" syntaxes and the const_entry_boxed fieldletouzey
2010-09-24Some dead code removal, thanks to Oug analyzerletouzey
2010-07-29fixed bug #2105 (compilation of free de Bruijn) and missing lift of predicate...barras
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-05-09Removed $Id$ introduced inadvertently in r13005 (no more $Id$ since r12972)herbelin
2010-05-09Added a few informations about file lineages (for the most part in kernel)herbelin
2009-11-13Move Obj.magic call to the Vm moduleglondu
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2008-12-31Moved parts of Sign to Term. Unified some names (e.g. decomp_n_prod ->herbelin
2007-03-27Modification de la vm:notin
2005-12-02Changement des named_contextgregoire
2005-11-08Nettoyage suite à la détection par défaut des variables inutilisées par o...herbelin
2004-11-22compatibility with POWERPCgregoire
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:33:01 +0000