Dev memory
Add the memory record which regroup different parts of the VM's memory state Add some comments in cpu.ml Adapt the other files (mainly eval.ml) for these changes
Add the memory record which regroup different parts of the VM's memory state Add some comments in cpu.ml Adapt the other files (mainly eval.ml) for these changes