Release notes

Our tools are being actively supported and constantly improved. Major new releases are pub­lished twice a year. Customers with active support receive the updates fully automatically as soon as they are made available. Intermediate updates are obtainable on request.

Every license purchased includes six months of free updates, meaning that you receive at least one major new release free of charge. If you need to extend or renew support for any tool, contact support@absint.com.

aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer

Release 17.04

Release 16.10

Release 16.04

Release 15.10

Astrée

Release 17.04

RuleChecker

Release 17.04

CompCert

Release 17.04

  • Full support for C11 anonymous compound types
  • Checks for unused variables and parameters
  • New options
  • Various improvements and fixes

Release 16.10

  • Improved support for K&R, ARM and PowerPC
  • Compatibility with coq v8.5pl2

Release 16.04

  • New options for GCC compatibility
  • More built-in functions
  • Various fixes

Release 15.10

  • Valex tool
  • DWARF2 support
  • New language features