feat: add pred CLI tool for problem reductions#82

Merged

GiggleLiu merged 29 commits intomainfrom

cli-tool-design

Feb 18, 2026

Commits on Feb 17, 2026

Commits on Feb 18, 2026

feat: scaffold problemreductions-cli crate with pred binary

GiggleLiu
and
claude
committed
feat(cli): add problem name resolver with aliases and variant parsing

GiggleLiu
and
claude
committed
feat(cli): add output module for human/JSON output modes

GiggleLiu
and
claude
committed
feat(cli): add clap command hierarchy for all subcommands

GiggleLiu
and
claude
committed
feat(cli): implement 'pred graph list' command

GiggleLiu
and
claude
committed
feat(cli): implement 'pred graph show' command

GiggleLiu
and
claude
committed
feat(cli): implement 'pred graph path' command

GiggleLiu
and
claude
committed
feat(cli): implement 'pred schema' command

GiggleLiu
and
claude
committed
build: add Makefile target for pred CLI tool
GiggleLiu
committed
test(cli): add integration tests for graph and schema commands

GiggleLiu
and
claude
committed
fix(cli): resolve clippy warnings in CLI crate

GiggleLiu
and
claude
committed
new docs
GiggleLiu
committed
refactor(rules): replace ExecutablePath+ChainedReduction with ReductionChain

GiggleLiu
and
claude
committed
feat(cli): add DynProblem dispatch table for runtime problem loading

GiggleLiu
and
claude
committed
feat(cli): implement 'pred evaluate' command

GiggleLiu
and
claude
committed
feat(cli): implement 'pred reduce' command with full reduction bundle

GiggleLiu
and
claude
committed
test(cli): add integration tests for evaluate and reduce commands

GiggleLiu
and
claude
committed
docs: document evaluate and reduce CLI commands

GiggleLiu
and
claude
committed
update
GiggleLiu
committed
update
GiggleLiu
committed
feat(cli): add solve command with ILP auto-reduction and configurable backends

GiggleLiu
and
claude
committed
polish CLI help messages and fix CI

GiggleLiu
and
claude
committed
feat(cli): implement --cost minimize:<field> and show size fields

GiggleLiu
and
claude
committed
test(cli): add comprehensive tests for solve, create, and error cases

GiggleLiu
and
claude
committed
chore: remove completed plan files

GiggleLiu
and
claude
committed
docs: update CLI page to match actual command output

GiggleLiu
and
claude
committed
ci: exclude CLI crate from codecov patch coverage

GiggleLiu
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: add pred CLI tool for problem reductions#82

feat: add pred CLI tool for problem reductions#82
GiggleLiu merged 29 commits intomainfrom
cli-tool-design

Commits on Feb 17, 2026

Add CLI tool design document for `pred`

Add CLI tool implementation plan for `pred`

Commits on Feb 18, 2026

feat: scaffold problemreductions-cli crate with pred binary

feat(cli): add problem name resolver with aliases and variant parsing

feat(cli): add output module for human/JSON output modes

feat(cli): add clap command hierarchy for all subcommands

feat(cli): implement 'pred graph list' command

feat(cli): implement 'pred graph show' command

feat(cli): implement 'pred graph path' command

feat(cli): implement 'pred schema' command

build: add Makefile target for pred CLI tool

test(cli): add integration tests for graph and schema commands

fix(cli): resolve clippy warnings in CLI crate

new docs

refactor(rules): replace ExecutablePath+ChainedReduction with ReductionChain

feat(cli): add DynProblem dispatch table for runtime problem loading

feat(cli): implement 'pred evaluate' command

feat(cli): implement 'pred reduce' command with full reduction bundle

test(cli): add integration tests for evaluate and reduce commands

docs: document evaluate and reduce CLI commands

update

update

feat(cli): add solve command with ILP auto-reduction and configurable backends

polish CLI help messages and fix CI

feat(cli): implement --cost minimize:<field> and show size fields

test(cli): add comprehensive tests for solve, create, and error cases

chore: remove completed plan files

docs: update CLI page to match actual command output

ci: exclude CLI crate from codecov patch coverage