Improve the VeriFast scripts#507

Merged

tautschnig merged 7 commits intomodel-checking:mainfrom

btj:verifast-scripts

Jan 18, 2026

Commits on Oct 11, 2025

Improve the VeriFast scripts
btj
committed

Commits on Oct 12, 2025

Whitespace change
tautschnig
authored

Commits on Oct 21, 2025

Merge branch 'main' into verifast-scripts
btj
authored

Commits on Nov 27, 2025

Merge branch 'main' into verifast-scripts
btj
committed

Commits on Jan 16, 2026

Merge branch 'main' into verifast-scripts
tautschnig
authored

Commits on Jan 18, 2026