Proof Logging#216

Open

mmcilree wants to merge 18 commits intohuub-solver:developfrom

mmcilree:feat/proof_logging

Commits on Aug 18, 2025

Commits on Aug 19, 2025

Commits on Aug 20, 2025

Start re-adding proof hint infrastructure.
mmcilree
committed

Commits on Aug 22, 2025

Add proof hints and VeriPB formatting.
mmcilree
committed

Commits on Aug 25, 2025

fix: antecedents should be in reverse order in proof log.
mmcilree
committed

Commits on Aug 28, 2025

Commits on Aug 29, 2025

Commits on Sep 22, 2025

Commits on Oct 10, 2025

Merge develop into feat/proof_logging.
mmcilree
committed

⚡