The first patched version of the frama-c was added.
Why-2 first patched version was added.
The first patch version of why3 was added.
The first level ISPRAS patched versions of the deductive verification instruments were added.