Todor
Results
1
comments of
Todor
I didn't. I just ran: ``` v -prod self ``` followed by the previous steps. The compilation speed for `result.v` increased from ~40k LOC/s to ~45k LOC/s (~22s in total).
Todor
I didn't. I just ran: ``` v -prod self ``` followed by the previous steps. The compilation speed for `result.v` increased from ~40k LOC/s to ~45k LOC/s (~22s in total).