1. Is "Caml Virtual Machine — Instruction set, v1.4" by Xavier Clerc - http://cadmium.x9c.fr/distrib/caml-instructions.pdf up to date? He describes virtual machine of 3.12, while current version is 4.04. According to GitHub logs there were some changes in the VM. Did they touch instruction set?

The definitive list of byte codes understood by the "vanila" CAML virtual machine is in byterun/caml/instruct.h, so one could, in theory compare the two lists side-by-side, if that is what you are asking.

2. How are handled operations on floats in bytecode? In MosML, which uses bytecode machine of CamlLight, they added set of instructions FLOATOFINT, SMLNEGFLOAT, SMLADDFLOAT, SMLSUBFLOAT, SMLMULFLOAT, SMLDIVFLOAT, INTOFFLOAT and etc.

They are not handled in the byte code. They are handled by C code in the run time. Look around line 340 of bytecomp/bytegen.ml on Github to see how those calls are translated.

--

Best,

Женя