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] Is support for running frama-c in the place of a C compiler being considered?

  • Subject: [Frama-c-discuss] Is support for running frama-c in the place of a C compiler being considered?
  • From: sstewartgallus00 at mylangara.bc.ca (Steven Stewart-Gallus)
  • Date: Wed, 09 Apr 2014 03:19:51 +0000 (GMT)
Hello,

Is support for running frama-c in the place of a C compiler being considered?
Obviously, this would be a lot of work and happen far off in the future but it
would allow Frama-C to check files that have different options defined and
integrate with build systems much easier.
It would be really nice if something like CBMC's goto-cc program was possible.

Thank you,
Steven Stewart-Gallus