Skip to content
GitLab
Explore
Sign in
sovereign
why3-avr
Repository
why3-avr
README.md
Find file
Blame
History
Permalink
checked the result with alt-ergo 0.99.1, removing reliance on buggy 1.01-1.30 range,
· 54e2d69c
Marc Schoolderman
authored
Jul 03, 2019
to validate that the result of the original paper is still solid
54e2d69c