CHANGES:

• Add cast kinds (#179, #199).
• Add _Static_assert checking (#65, #209).
• Optimize hasAttribute, etc. (#221, #222, #223, #224).
• Remove hardcoded unary minus constant folding in Cabs2cil (#216).
• Fix unary plus integer promotion (#200).
• Add division overflow check to modulo constant folding (#217).
• Add impure expression support to __auto_type (#207).
• Add more __builtin_* evaluation (#204, #205, #206).
• Fix for loop component locations (#183, #211).

CHANGES:

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

CHANGES:

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

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).

CHANGES:

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

CHANGES:

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

CHANGES:

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

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).

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.

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).