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] Caching/Session Behavior

  • Subject: [Frama-c-discuss] Caching/Session Behavior
  • From: abakst at galois.com (Alexander Bakst)
  • Date: Wed, 18 Mar 2020 07:19:15 -0700
Hi,

I’ll try to minimize. Unfortunately the file is probably subject to some export restrictions, and moreover it is rather large and the proofs took some time to construct, so it may be challenging to do so. Nevertheless I will give it a shot. 

A separate but related question: if I run the cache in cleanup mode with -wp-fct f, will the cache entries for goals from other functions be garbage collected?

Thanks,
Alexander

> El mar. 18, 2020, a la(s) 1:03 a. m., CORRENSON Loic <loic.correnson at cea.fr> escribió:
>