2022 Week 21 Research Journal
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.