aboutsummaryrefslogtreecommitdiff
path: root/kernel/csymtable.ml
AgeCommit message (Expand)Author
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-11-01Add primitive floats to 'vm_compute'Guillaume Bertholon
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-09-24[kernel] Compile with almost all warnings enabled.Emilio Jesus Gallego Arias
2018-07-24Projections use index representationGaëtan Gilbert
2018-06-10[VM] Remove projection names from structured constants.Maxime Dénès
2018-05-28Unify pre_env and envMaxime Dénès
2018-03-26More efficient reallocation of VM global tables.Pierre-Marie Pédrot
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-03Handling evars in the VM.Pierre-Marie Pédrot
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-23New IR in VM: Clambda.Maxime Dénès
2018-02-14Factorize the relocations in the on-disk VM representation.Pierre-Marie Pédrot
2018-02-14Move the call to the computation of bytecode inside Cemitcodes.Pierre-Marie Pédrot
2018-02-14Abstract further the type of VM bytecode compilation.Pierre-Marie Pédrot
2018-02-12Fix #6677: Critical bug with VM and universesMaxime Dénès
2018-01-26Safer VM interfacesMaxime Dénès
2017-12-29Fast environment lookup for rels.Pierre-Marie Pédrot
2017-11-06[api] Move structures deprecated in the API to the core.Emilio Jesus Gallego Arias
2017-07-04Bump year in headers.Pierre-Marie Pédrot
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:30:28 +0000