2.0.9

CHANGES:

• Add __loop_condition labels before syntactic loop conditions (#197).

2.0.8

CHANGES:

• Fix 32bit Machdep generation on 64bit host (#195).

2.0.7

CHANGES:

• Add _Float16 type support (#190, #193).
• Add C23 alignof and alignas support (#189, #191).
• Add initializer support for anonymous struct in union (#176, #184).
• Fix enumerator printing (#185).
• Remove global state from Pretty (#187).
• Remove OCaml <4.12 support (#180, #181).
• Use gnu11 standard in most tests (#188, #192).

2.0.6

CHANGES:

• Optimize Pretty.text (#169, #177).
• Remove dynlink and findlib dependencies from library (#170).

2.0.5

CHANGES:

• Add enumerator attributes (#172).
• Generate 32bit and 64bit Machdep if possible (#173).

2.0.4

CHANGES:

• Add Return statement expression location (#167).
• Add availability attribute support (#168, #171).
• Remove unused Libmaincil module (#165).
• Fix some synthetic locations (#166, #167).

2.0.3

CHANGES:

• Add asm inline parsing (#151).
• Ignore top level qualifiers in __builtin_types_compatible_p (#157).
• Add attribute goblint_cil_nested to local variables in inner scopes (#155).
• Expose Cil.typeSigAddAttrs.
• Add option to suppress long double warnings (#136, #156).
• Fix syntactic search (#147).

2.0.2

CHANGES:

• Rename Rmtmps to RmUnused (#135).
• Add option to add return statement to noreturn functions (#129).
• Fix empty ifs being removed (#140).
• Fix _Float128 support (#118, #119).
• Fix C11 _Alignas computation (#130).
• Fix renaming and merging of inline functions based on C standard (#120, #124).
• Fix Pretty not resetting all global state between calls (#133, #134).
• Fix fundec location in merger (#139).
• Fix cilly patcher (#128).
• Disable basename by default in parser.

2.0.1

CHANGES:

• Fix scope of enum definition in return type (#112, #113).
• Fix signed integer left shift constant folding overflow (#122, #123).
• Fix fitsInInt for booleans (#111).
• Mark more loop statement locations synthetic (#125).
• Optimize integer truncation (#115).
• Fix FrontC and Cabs2cil partial application (#116).
• Fix external usage of freshLabel (#121).

2.0.0

CHANGES:

• Wrap library into GoblintCil module (#107).
• Remove all MSVC support (#52, #88).
• Port entire build process from configure/make to dune (#104).
• Add C11 _Generic support (#48).
• Add C11 _Noreturn support (#58).
• Add C11 _Static_assert support (#62).
• Add C11 _Alignof support (#66).
• Add C11 _Alignas support (#93, #108).
• Add partial C11 _Atomic support (#61).
• Add _Float32, _Float64, _Float32x and _Float64x type support (#8, #60).
• Add Universal Character Names, char16_t and char32_t type support (#80).
• Change locations to location spans and add additional expression locations (#51).
• Add synthetic marking for CIL-inserted statement locations (#98).
• Expose list of files from line control directives (#73).
• Add parsed location transformation hook (#89).
• Use Zarith for integer constants (#47, #53).
• Fix constant folding overflows (#59).
• Add option to disable constant branch removal (#103).
• Add standalone expression parsing and checking (#97, #96).
• Improve inline function merging (#72, #85, #84, #86).
• Fix some attribute parsing cases (#71, #75, #76, #77).
• Fix global NaN initializers (#78, #79).
• Fix cilly binary installation (#99, #100, #102).
• Remove batteries dependency to support OCaml 5 (#106).