Skip to content

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

Matt Wala requested to merge save-and-reload-improvements into master
  • 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