Release 2.1.0

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

Release 2.0.9

CHANGES:

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

Release 2.0.8

CHANGES:

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

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

Release 2.0.6

CHANGES:

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

Release 2.0.5

CHANGES:

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

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

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

Release 2.0.2

CHANGES:

* Rename `Rmtmps` to `RmUnused` (#135).
* Add option to add return statement to `noreturn` functions (#129).
* Fix empty `if`s 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.

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