--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on May 2020 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Installing Frama-c from https://git.frama-c.com/pub/frama-c.git



Hello Virgile,

Yes, pinning why3 to 1.2.1 did the trick.

> The git version is pulled each day from the master branch of the internal Frama-C repository. It is thus much closer to Frama-C 21 than to Frama-C 20.

Thanks a lot for the help and the clarification!

Jens