Skip to content

Import the minidoop analysis

Alexandru Dura requested to merge al7330du/metadl:master into master
  • Translate minidoop to our Datalog dialect
  • Generalize arithmetic operations to functors and introduce the "cat" operation

Merge request reports