Skip to content

Bound ACT streaming line reuse with fingerprint-to-offset caching - #158

Merged
imlvts merged 2 commits into
Adam-Vandervorst:masterfrom
adamv-symbolica:bounded-to-act
Oct 6, 2026
Merged

Bound ACT streaming line reuse with fingerprint-to-offset caching#158
imlvts merged 2 commits into
Adam-Vandervorst:masterfrom
adamv-symbolica:bounded-to-act

Declare required features for ACT line-cache example

fc9eaf0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Oct 5, 2026 in 10s