Pipe data extraction functions to file #204

New Issue

aniva · 2025-05-06T09:19:14-07:00

aniva commented

2025-05-06 09:19:14 -07:00

Tactic invocation extraction can easily overwhelm stdio machinery. We should be able to dump the tactics to a file.

Speaking of which, tactic invocation and other data extraction functions could be split into another command. e.g. frontend.extract.

Tactic invocation extraction can easily overwhelm stdio machinery. We should be able to dump the tactics to a file. Speaking of which, tactic invocation and other data extraction functions could be split into another command. e.g. `frontend.extract`.

aniva added this to the 0.3.2 milestone 2025-05-06 09:19:14 -07:00

aniva added the

category

optimization

part/Frontend

labels 2025-05-06 09:19:14 -07:00

aniva self-assigned this 2025-05-06 09:19:14 -07:00

Sign in to join this conversation.