issues
search
xr0-org
/
xr0
The Xr0 Verifier for C
https://xr0.dev
Apache License 2.0
173
stars
4
forks
source link
Track progress through programs in stack rather than at a statement-by-statement level
#42
Closed
akiarie
closed
5 months ago