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] frama-c in windows

  • Subject: [Frama-c-discuss] frama-c in windows
  • From: ziloochizahra at (zahra Ziloochi)
  • Date: Fri, 6 Jun 2014 12:33:35 -0700 (PDT)

Hi everybody
I'm new in frama-c . i want to install it in windows, i installed?frama-c-Boron-20100401.exe, but unfortunatly i can't use it. i open it and see user interface , but when i choose a .c file and press new button ?it shows the error "frama-c aborted because of an invalid input..." , but i use the first.c example of frama-c . please help me!
sorry for my elementary problem , but i can't find it any where, the archive is not organised well, it's not possible to search on it.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>