Skip to content

Improve save and reload towards global scan (see: #62).

  • Closes #40 (closed), by changing the way storage is computes for save and reload by using the tags of the accessing instructions, not the inames.
  • Allow a single representative per base_storage equivalence class to be saved and reloaded (see also: #42).
  • Removes InstructionQuery class from schedule tools.

Still needs:

  • tests

Merge request reports

Loading