Goals

  • Have re-measurement of goog dataset well underway.
  • Finish synthesizing existing instructions on Xilinx.

How do I use the choose* construct in Rosette? Specifically, I want to use it without actually creating an entire grammar. To do so I need to construct some kind of object in Racket that represents the thing I want synthesized. Then when I get a solution, I evaluate it, and that makes it concrete.