Habemus Frama-C in Fenestris (Frama-C on Windows, with WSL) André Maroneze on 7 June 2019
We have successfully compiled and tested the beta release of Frama-C 19 (Potassium) in the WSL (Windows Subsystem for Linux), using Debian. Installation is not trivial, especially for the graphical interface, but in the future this should provide a more robust way to run Frama-C on Windows, than relying on...
Read More