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] gWhy: Live update and Cache

  • Subject: [Frama-c-discuss] gWhy: Live update and Cache
  • From: hollas at (Boris Hollas)
  • Date: Fri, 09 Jul 2010 13:10:12 +0200


gWhy contains an option "Live update" in menu "Proof" and an option
"Cache enabled" in menu "Configuration". What is the function of these?

At least, these options don't seem to enable incremental proving as in
Spec#. It would be very convenient if gWhy watched the source file and
ran the prover just for the lines that were changed in the source.