ratio values which were living in the BuiltinInstanceDef in other implementations are refactored into the Layout as the ratios dictionnary.
getBuiltinSegment method which allows extracting any memory segment which represents a builtin. It needs to know which builtins have been initialized by the run.
builtins attribute for CairoRunner, needed for getBuiltinSegment
NOTE: The builtins attribute currently stores the builtins used by the called program entrypoint (program.builtins). It works well in ExecutionMode as only the builtins in the program are used. However, in Proof Mode, all the builtins from the chosen layout are initialized, that won't be represented by the current builtins attribute.
When introducting the proof mode, this builtins attribute initialization should be refactored to take this into account.
Closes #89
-l, --layoutin the CLIratiovalues which were living in the BuiltinInstanceDef in other implementations are refactored into the Layout as theratiosdictionnary.getBuiltinSegmentmethod which allows extracting any memory segment which represents a builtin. It needs to know which builtins have been initialized by the run.builtinsattribute for CairoRunner, needed forgetBuiltinSegmentNOTE: The
builtinsattribute currently stores the builtins used by the called program entrypoint (program.builtins). It works well in ExecutionMode as only the builtins in the program are used. However, in Proof Mode, all the builtins from the chosen layout are initialized, that won't be represented by the currentbuiltinsattribute. When introducting the proof mode, thisbuiltinsattribute initialization should be refactored to take this into account.