aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/vmvalues.mli
Commit message (Expand)AuthorAge
* 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
|/
* Safer VM interfacesGravatar Maxime Dénès2018-01-26