Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • stable/zinc
  • stable/copper
  • stable/nickel
  • stable/cobalt
  • stable/iron
  • stable/manganese
  • stable/chromium
  • revert-6a4cd7cd
  • forward-rvalue-ref
  • stable/vanadium
  • stable/titanium
  • stable/scandium
  • stable/calcium
  • 0.0.17
  • 0.0.17-beta
  • 0.0.16
  • 0.0.15
  • 0.0.14
  • 0.0.13
  • pre-dune
  • 0.0.12
  • 24.0-beta
  • 0.0.10
  • v0.0.10
  • VESSEDIA-D2.5
  • VESSEDIA-D2.3
  • 0.0.4
  • 20150324
29 results
Blame Permalink
To find the state of this project's repository at the time of any of these versions, check out the tags.
CHANGELOG.md 464 B

Version +dev

  • Compatibility with Clang 19

Version 0.0.17

  • Compatibility with Frama-C 30 Zinc

Version 0.0.16

  • Better handling of ACSL constructions
  • Compatibility with Clang 18
  • Compatibility with Frama-C 29 Copper

Version 0.0.15

  • Better handling of mixed C/C++ code and extern "C" declarations
  • Compatibility with Clang 17
  • Compatibility with Frama-C 28.x Nickel

Version <= 0.0.14