Frama-c was updated to the Neon-20140301 version.
Why-2.34 was added.
Why3-0.83 was added.
Some updated programs related to deductive verification tools were added.