Skip to content

Readfile range many args#61

Merged
ampetz merged 5 commits intomainfrom
readfile_range_many_args
Feb 15, 2026
Merged

Readfile range many args#61
ampetz merged 5 commits intomainfrom
readfile_range_many_args

Conversation

@ampetz
Copy link
Copy Markdown
Contributor

@ampetz ampetz commented Feb 15, 2026

Changing interface and implementation of readfile_rang_many_* ASPs to trim down size of inputs (config + evidence) and outputs (evidence) to support scaling of auto-generated terms in HAMR workflow demo.

@Durbatuluk1701 Durbatuluk1701 self-requested a review February 15, 2026 19:49
@ampetz ampetz merged commit 77e1beb into main Feb 15, 2026
1 check passed
@ampetz ampetz deleted the readfile_range_many_args branch March 3, 2026 17:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants