aboutsummaryrefslogtreecommitdiff
path: root/kernel/cemitcodes.mli
AgeCommit message (Expand)Author
2018-02-14Use a more compact representation for bytecode relocations stored on disk.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
2017-11-06[api] Deprecate all legacy uses of Names in core.Emilio Jesus Gallego Arias
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-01-15Correct restriction of vm_compute when handling universe polymorphicMatthieu Sozeau
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-04-29Various minor improvements of comments in mli for ocamldocletouzey
2010-04-29Move from ocamlweb to ocamdoc to generate mli documentationpboutill
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2004-11-16Names.substitution (and related functions) and Term.subst_mps moved tosacerdot
2004-11-12Changement dans les boxed values .gregoire
2004-10-20COMMITED BYTECODE COMPILERbarras
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:12:01 +0000