feat(cli): gdb console script, bundled verify fixture, and v0-* suites (0.2.0)#7

Merged

mohitgargai merged 6 commits into

mainfrom

feat/gdb-cli-and-bundled-verify

Apr 24, 2026

Commits on Apr 24, 2026

feat(cli): add `gdb` console script with subcommands and suite resolver
mohitgargai
committed
feat(verify): bundle a minimal fixture so `gdb verify` runs offline
mohitgargai
committed
chore(scripts): deprecate run_benchmarks.py in favor of `gdb` CLI
mohitgargai
committed
docs(readme): clarify 39 benchmarks vs 45 paper tasks vs 49 paper total
mohitgargai
committed
docs(readme): migrate quickstart examples to the `gdb` CLI
mohitgargai
committed
release: bump lica-gdb to 0.2.0
mohitgargai
committed