Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Provers versions


  • Subject: [Frama-c-discuss] Provers versions
  • From: richard.bonichon at gmail.com (Richard Bonichon)
  • Date: Fri, 27 Sep 2013 14:36:11 -0300
  • In-reply-to: <CAEtoXR0u7Hpu+tf2-95pe=CazhktApzz02vMdJM0Tr3pcNofLA@mail.gmail.com>
  • References: <CAEtoXR0u7Hpu+tf2-95pe=CazhktApzz02vMdJM0Tr3pcNofLA@mail.gmail.com>

This can be risky for example if the interface between a prover and the
outside world has changed.  For example, one prover might now support a new
syntax to specify the problems and dropped the old ones.

In practice, these interfaces usually do not change a lot from version to
version. The only problem is if you happen to run into the version that
changed :-)

Most of your provers should be doing ok (I'm thinking Alt-Ergo, Coq, Z3).
The safe bet is however to install known supported versions.

-- 
Richard Bonichon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130927/7f67e2b9/attachment.html>