Tag Archives: windows-cygwin-wsl

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