Skip to content

[WIP] Implement a first draft of a 'flip flop buffer'

Dominic Kempf requested to merge feature/flipflop-buffer into master

Get endless temporaries who circularly switch around their base storage. Any temporary may have different shape or dim_tags, reinterpreting the data at will.

Working towards sum factorization.

What remains to be done here:

  • Have our temporary declaration mechanism (which bypasses loopys) be aware of base_storage
  • Mark some temporaries for flat indexing (in contrast to the C++ indexing which is unaware of data layout)

Merge request reports