Repository navigation

feat(Classes/Time): explicit-time verifier characterization of NTIME - #2025

Merged

SamuelSchlesinger merged 3 commits into

mainfrom

claude/ntime-hierarchy

Oct 31, 2026

Merged

feat(Classes/Time): explicit-time verifier characterization of NTIME#2025
SamuelSchlesinger merged 3 commits into
mainfrom
claude/ntime-hierarchy

Commits on Oct 31, 2026
- feat(Classes/Time): explicit-time verifier characterization of NTIME (#1572)
  
  SamuelSchlesinger
  and
  claude
  committed
  415d328
- Merge origin/main into claude/ntime-hierarchy
  SamuelSchlesinger
  committed
  d0d8822
- refactor(Machines/PTM): make the pair sampler's proof configurations private
  
  SamuelSchlesinger
  and
  claude
  committed
  48a6545