frama-c.com/2016/11/22/Frama-C-and-ACSL-are-on-GitHub.html
Preview meta tags from the frama-c.com website.
Linked Hostnames
3General Meta Tags
3- titleFrama-C and ACSL are on GitHub
- charsetUTF-8
- viewportwidth=device-width,initial-scale=1,maximum-scale=1,user-scalable=no
Link Tags
9- alternate/feed/everything.xml
- alternate/feed/news.xml
- alternate/feed/blogs.xml
- shortcut icon/assets/img/favicon.ico
- stylesheet/assets/css/main.css
Links
82- https://fosstodon.org/@frama_c
- https://frama-c.com/2016/10/12/A-mini-ACSL-tutorial-for-Value-part-3-indirect-assigns.html
- https://frama-c.com/2016/12/13/Frama-C-Silicon-has-been-released.html
- https://frama-c.com/blog/index.html
- https://frama-c.com/category/acsl/index.html