[WIP] CBMC loops#158

Closed

andrewmwells-amazon wants to merge 4 commits intomainfrom

andrewmwells/cbmc_loops

Commits on Oct 6, 2025

checkpoint
andrewmwells-amazon
committed

Commits on Oct 7, 2025

Loop example working
andrewmwells-amazon
committed

Commits on Oct 9, 2025

working for boogie
andrewmwells-amazon
committed

Commits on Oct 10, 2025

Add loop invariant
andrewmwells-amazon
committed