Frama-C and ACSL are on GitHub André Maroneze on 22 November 2016
We are glad to announce the creation of official GitHub repositories for Frama-C and ACSL, to stimulate contributions from the community, and to better contribute back to it. Frama-C is on GitHub Frama-C now (in fact, since a few months) has an official GitHub repository: https://github.com/Frama-C/Frama-C-snapshot It contains snapshots of...
Read More