issues
search
boogie-org
/
boogie
Boogie
http://research.microsoft.com/en-us/projects/boogie/
MIT License
506
stars
111
forks
source link
[Civl] Eliminated linearity checks in favor of local checks
#914
Closed
shazqadeer
closed
2 months ago