Skip to content

2.0.3

Latest
Compare
Choose a tag to compare
@sim642 sim642 released this 20 Nov 13:53
· 12 commits to develop since this release

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