Skip to content

[WIP] Scans

Matt Wala requested to merge scan into master

Work in progress closing:

Partially addressed, but not intended to close:

Still needs:

  • Precompute support for tuple-typed substitution rules (req'd for two level segmented scan)
  • Address todos, fixmes in the code
  • Finish writing scan tests
  • Finish writing tests for all auxiliary functions added (e.g. add_nosync_to_instructions)
  • Come up with a consistent naming convention for auto-generated scan code

Merge request reports