Commit 402accd8 authored by Marc Schoolderman's avatar Marc Schoolderman
Browse files

version bump of tools used

parent e7a225ea
......@@ -16,12 +16,12 @@ https://gitlab.science.ru.nl/sovereign/why3-avr/tree/master
## Checking the proofs
The proofs were developed using Why3 0.87.2; as well as the following theorem provers:
The proofs were developed using Why3 0.87.3; as well as the following theorem provers:
* Alt-Ergo 1.01
* CVC3 2.4.1
* CVC4 1.4
* Eprover 1.8
* Z3 4.4.1
* Z3 4.5.0
Then, simply running `why3 replay -L . avr_code` should work.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment