Skip to content

Releases: BinaryAnalysisPlatform/FrontC

v4.1.0

24 May 19:50
@ivg ivg
db5fd85
Compare
Choose a tag to compare
  • tweaks the grammar to handle empty files (#18)
  • enables type redefinitions (#19)
  • supports attributes after asm in function declaration (#22)
  • allows a typedefed named to immediately follow its typedef (#26)
  • removes all grammar conflicts (#27)
  • allows const volatile type modifiers (#28)
  • enables GNU attributes in record fields and types inside attributes (#30)
  • supports GNU extension in union declarations (#31)
  • supports designated initialization style (#35)
  • implements complex types (#36)
  • enables type qualifiers between brackets in the array parameters (#38)
  • adds the C99 _Bool type (#39)
  • adds GCC-specific builtin floating types (#40)
  • adds support for unnamed bit fields (#41)

v4.0.0

04 May 20:38
@ivg ivg
d7c9ae5
Compare
Choose a tag to compare
  • switches to menhir and tweaks the grammar to prevent the end of stream conflicts
  • switches to dune
  • splits FrontC into three subpackages
  • adds units tests

v3.4.3

22 Apr 16:09
@ivg ivg
a313b21
Compare
Choose a tag to compare
  • #7 raises parse errors rather than asserting false
  • #11 supports functions with pure-asm bodies
  • #13 builds and installs cmxs

v3.4.2

14 Jun 15:39
@ivg ivg
be30bc9
Compare
Choose a tag to compare
  • adds support for trailing commas in enums (C99)

V_3_4_1

21 Nov 20:14
618c4a6
Compare
Choose a tag to compare

FrontC can now be built with a modern version of OCaml which enables safe-strings by default

V_3_4

19 Nov 18:26
Compare
Choose a tag to compare

The base version as exported from the upstream repository
(https://www.irit.fr/hg/TRACES/frontc/3.4/rev/e3a45506311e)