Goals

  • Land evaluation refactor
  • Finish Calyx eval
  • Work on CIRCT eval
  • Draft intro
  • Draft overview
  • Draft formalization