Skip to content

Dev preload

Dassire requested to merge dev_preload into main

Split label.ml into two modules :

  • Flow module, which contain a record type with the maps, and function related to jumps to a label and to manipulate this record
  • Preload module, which contain the build and the preload functions, to create the maps that for the strings and the routines, and the record for the jumps

Update memory.ml

Closes #2 (closed)

Merge request reports