search

Frama-C / Frama-C-snapshot

Release snapshots of the Frama-C platform for source code analysis
http://frama-c.com
169 stars 38 forks source link

Frama-C 19.0 beta, why3 and coq #19

Closed jensgerlach closed 5 years ago

jensgerlach commented 5 years ago

Are there recommended versions of why3 and coq to be used with Frama-C/WP 19?

bobot commented 5 years ago

It could be found in the INSTALL.md file: https://github.com/Frama-C/Frama-C-snapshot/blob/19.0-beta/INSTALL.md#known-working-configuration

Do you have a problem with these versions?

jensgerlach commented 5 years ago

Thanks a lot! In particular for the link to the known configurations!