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