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] Options of the value analysis that are going to disappear

  • Subject: [Frama-c-discuss] Options of the value analysis that are going to disappear
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
  • Date: Tue, 25 Jan 2011 10:24:19 +0100
To repay technical debt and make room for new, useful improvements,
the following options are going to disappear either in Carbon or in the
following release:

-mem-exec
-mem-exec-all
-no-overflow (documented as boolean option -overflow with an implicit dual
option built with "-no" prefix. The default behavior (option set) will be kept)

These options were experiments for which no actual use case came up
once they were implemented.
As far as we know, these options are not used by anyone.

If you use any of them, this is your last chance to speak.

Pascal