aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/csymtable.ml
Commit message (Expand)AuthorAge
* Removing generic hashes in kernel.Gravatar Pierre-Marie Pédrot2014-03-03
* Made Pre_env.lazy_val opaque.Gravatar Pierre-Marie Pédrot2014-02-11
* STM: additional fix for STM + vm_computeGravatar Enrico Tassi2014-01-07
* STM: fix worker crash when doing vm_computeGravatar Enrico Tassi2014-01-06
* Removing native_name reference from constant_body.Gravatar Maxime Dénès2013-12-28
* Merging Context and Sign.Gravatar ppedrot2013-04-29
* Splitting Term into five unrelated interfaces:Gravatar ppedrot2013-04-29
* Restrict (try...with...) to avoid catching critical exn (part 8)Gravatar letouzey2013-03-13
* Actually adding backtrace handling.Gravatar ppedrot2013-01-28
* Modulification of identifierGravatar ppedrot2012-12-14
* Remove some dead code in the vmGravatar letouzey2012-10-02
* Remove some more "open" and dead code thanks to OCaml4 warningsGravatar letouzey2012-10-02
* Updating headers.Gravatar herbelin2012-08-08
* fixed bug 2580. Quick fix: copy emitcodes before patching itGravatar barras2011-08-01
* Remove the "Boxed" syntaxes and the const_entry_boxed fieldGravatar letouzey2011-01-28
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* fixed bug #2105 (compilation of free de Bruijn) and missing lift of predicate...Gravatar barras2010-07-29
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Removed $Id$ introduced inadvertently in r13005 (no more $Id$ since r12972)Gravatar herbelin2010-05-09
* Added a few informations about file lineages (for the most part in kernel)Gravatar herbelin2010-05-09
* Move Obj.magic call to the Vm moduleGravatar glondu2009-11-13
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Moved parts of Sign to Term. Unified some names (e.g. decomp_n_prod ->Gravatar herbelin2008-12-31
* Modification de la vm:Gravatar notin2007-03-27
* Changement des named_contextGravatar gregoire2005-12-02
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* compatibility with POWERPCGravatar gregoire2004-11-22
* IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).Gravatar sacerdot2004-11-16
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20