aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/csymtable.ml
Commit message (Expand)AuthorAge
* Merge PR #6855: Update headers following #6543.Gravatar Maxime Dénès2018-03-05
|\
* | Handling evars in the VM.Gravatar Pierre-Marie Pédrot2018-03-03
| * Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
|/
* New IR in VM: Clambda.Gravatar Maxime Dénès2018-02-23
* Factorize the relocations in the on-disk VM representation.Gravatar Pierre-Marie Pédrot2018-02-14
* Move the call to the computation of bytecode inside Cemitcodes.Gravatar Pierre-Marie Pédrot2018-02-14
* Abstract further the type of VM bytecode compilation.Gravatar Pierre-Marie Pédrot2018-02-14
* Fix #6677: Critical bug with VM and universesGravatar Maxime Dénès2018-02-12
* Safer VM interfacesGravatar Maxime Dénès2018-01-26
* Fast environment lookup for rels.Gravatar Pierre-Marie Pédrot2017-12-29
* [api] Move structures deprecated in the API to the core.Gravatar Emilio Jesus Gallego Arias2017-11-06
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-05
|\
| * Packing the named_context_val in a proper record and marking it private.Gravatar Pierre-Marie Pédrot2016-09-09
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-09-07
|\|
| * Remove useless debug code.Gravatar Guillaume Melquiond2016-09-02
* | CLEANUP: minor readability improvementsGravatar Matej Kosik2016-08-24
|/
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-03-05
|\
| * Rename Ephemeron -> CEphemeron.Gravatar Maxime Dénès2016-03-04
* | CLEANUP: Simplifying the changes done in "kernel/*"Gravatar Matej Kosik2016-02-15
* | CLEANUP: Context.{Rel,Named}.Declaration.tGravatar Matej Kosik2016-02-09
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | CLEANUP: kernel/context.ml{,i}Gravatar Matej Kosik2016-01-11
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-29
|\|
| * Adds support for the virtual machine to perform reduction of universe polymor...Gravatar Gregory Malecha2015-10-28
* | Exporting a purely functional interface to bytecode patching.Gravatar Pierre-Marie Pédrot2015-10-16
|/
* Fixing some English misspelling.Gravatar Hugo Herbelin2015-07-29
* Fix handling of primitive projections in VM.Gravatar Maxime Dénès2015-07-05
* More robust pattern matching on structured constants in VM.Gravatar Maxime Dénès2015-07-02
* Fix vm compiler to refuse to compile code making use of inductives withGravatar Matthieu Sozeau2015-03-25
* Correct restriction of vm_compute when handling universe polymorphicGravatar Matthieu Sozeau2015-01-15
* Update headers.Gravatar Maxime Dénès2015-01-12
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* 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