aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/vmvalues.ml
Commit message (Expand)AuthorAge
* [VM] Remove projection names from structured constants.Gravatar Maxime Dénès2018-06-10
* Wrap VM bytecode used on the OCaml side in an OCaml block.Gravatar Pierre-Marie Pédrot2018-04-30
* More efficient reallocation of VM global tables.Gravatar Pierre-Marie Pédrot2018-03-26
* Moving the VM global atom table to a ML reference.Gravatar Pierre-Marie Pédrot2018-03-26
* Moving the VM global data to a ML reference.Gravatar Pierre-Marie Pédrot2018-03-26
* Merge PR #6855: Update headers following #6543.Gravatar Maxime Dénès2018-03-05
|\
* \ Merge PR #935: Handling evars in the VMGravatar Maxime Dénès2018-03-04
|\ \
| * | Handling evars in the VM.Gravatar Pierre-Marie Pédrot2018-03-03
* | | [VM] Unify Const_sorts and Const_type, and remove Vsort.Gravatar Maxime Dénès2018-03-02
|/ /
| * Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
|/
* Fix #6677: Critical bug with VM and universesGravatar Maxime Dénès2018-02-12
* Safer VM interfacesGravatar Maxime Dénès2018-01-26