- Integrate notes into introduction.
- Group write on formalization.
- Generate all possible implementations of each instruction in the evaluation.
- Automate the importing of the primitives that we currently have supported manually. For now, don’t worry about the things we don’t support (Lattice DSPs, SOFA carries and DSPs). So we want to get Xilinx LUTs, Xilinx carries, Lattice LUTs, Lattice carries, SOFA LUTs.