Two flags for printing goals: -upto and -lastgoals#944

Open

namasikanam wants to merge 2 commits intoEasyCrypt:mainfrom

namasikanam:main

Commits on Apr 7, 2026

goal printing infrastructure: -upto and -lastgoals options

authored and
strub
committed
Merge branch 'main' into main
strub
authored