Pipe data extraction functions to file #204

Closed
opened 2025-05-06 09:19:14 -07:00 by aniva · 1 comment
Owner

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
aniva added a new dependency 2025-06-18 21:15:08 -07:00
Author
Owner

Done #208

Done #208
aniva closed this issue 2025-06-18 21:15:12 -07:00
Sign in to join this conversation.
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Reference: aniva/Pantograph#204
No description provided.