Frama Clang tagshttps://git.frama-c.com/pub/frama-clang/-/tags2024-03-25T14:20:05Zhttps://git.frama-c.com/pub/frama-clang/-/tags/0.0.150.0.15Release 0.0.15<ul data-sourcepos="2:1-4:40" dir="auto">
<li data-sourcepos="2:1-2:67">Better handling of mixed C/C++ code and <code>extern "C"</code> declarations</li>
<li data-sourcepos="3:1-3:29">Compatibility with Clang 17</li>
<li data-sourcepos="4:1-4:40">Compatibility with Frama-C 28.x Nickel</li>
</ul>2024-03-25T14:20:05ZVirgile Prevostohttps://git.frama-c.com/pub/frama-clang/-/tags/0.0.140.0.14v0.0.14<ul data-sourcepos="1:1-2:69" dir="auto">
<li data-sourcepos="1:1-1:28">Compatible with Frama-C 27</li>
<li data-sourcepos="2:1-2:69">Compatible with Clang 15 and 16 (minimal Clang version is still 11)</li>
</ul>2023-09-01T07:21:25ZVirgile Prevostohttps://git.frama-c.com/pub/frama-clang/-/tags/0.0.130.0.13<p data-sourcepos="1:1-1:155" dir="auto">Apart from the compatibility with Frama-C 25.0 Manganese, this release brings two additional libc++ headers, <code>limits</code> and <code>ratio</code>, contributed by <a href="/T-Gruber" data-reference-type="user" data-user="658" data-container="body" data-placement="top" class="gfm gfm-project_member js-user-link" title="T-Gruber">@T-Gruber</a></p>2022-10-06T07:36:24ZVirgile Prevostohttps://git.frama-c.com/pub/frama-clang/-/tags/pre-dunepre-duneAllan Blanchardhttps://git.frama-c.com/pub/frama-clang/-/tags/0.0.120.0.12<p data-sourcepos="1:1-1:111" dir="auto">Also adds compatibility with clang 13.0 and 14.0, and requires clang >= 10. See README.md for more information.</p>
<h1 data-sourcepos="3:1-3:18" dir="auto">
<a id="user-content-released-sources" class="anchor" href="#released-sources" aria-hidden="true"></a>Released sources</h1>
<p data-sourcepos="5:1-5:96" dir="auto"><a href="/pub/frama-clang/uploads/bbfcc3bdbeed6d30b306a214da2ca336/frama-clang-0.0.12.tar.gz" data-canonical-src="/uploads/bbfcc3bdbeed6d30b306a214da2ca336/frama-clang-0.0.12.tar.gz" data-link="true" class="gfm">frama-clang-0.0.12.tar.gz</a></p>2022-04-11T08:58:06ZVirgile Prevostohttps://git.frama-c.com/pub/frama-clang/-/tags/24.0-beta24.0-betaVirgile Prevostohttps://git.frama-c.com/pub/frama-clang/-/tags/0.0.100.0.10Virgile Prevostohttps://git.frama-c.com/pub/frama-clang/-/tags/v0.0.10v0.0.10Virgile Prevostohttps://git.frama-c.com/pub/frama-clang/-/tags/VESSEDIA-D2.5VESSEDIA-D2.5Release made as part of VESSEDIA deliverable D2.5Virgile Prevostohttps://git.frama-c.com/pub/frama-clang/-/tags/VESSEDIA-D2.3VESSEDIA-D2.3release made for VESSEDIA deliverable D2.3Virgile Prevostohttps://git.frama-c.com/pub/frama-clang/-/tags/0.0.40.0.4Tag release 0.0.4Virgile Prevostohttps://git.frama-c.com/pub/frama-clang/-/tags/2015032420150324Stance internal release on 2015-03-24Virgile Prevosto