Заметки о выпусках

айТи, СтекАналайзер, ТаймингПрофайлер

Релиз 17.04

Релиз 16.10

Релиз 16.04

Астрé

Релиз 17.10

  • Новый режим коментариев
  • Значительно ускоренные анализы
  • Поддержка ассемблерных вставок GCC
  • Расширенные Пакеты Поддержки Квалификации
  • Свыше ста других улучшений

Релиз 17.04

  • Самостоятельный РулЧекер
  • Улучшенный пользовательский интерфейс

Релиз 16.10

Релиз 16.04

КомпСерт

Релиз 17.10

  • New backend for hybrid 64-bit/32-bit PowerPC code
  • Improved code generation for ARM and PowerPC
  • New generic compiler optimizations
  • Qualification Support Kit for Valex

Релиз 17.04

  • Full support for C11 anonymous compound types
  • Checks for unused variables and parameters

Релиз 16.10

  • Улучшенная поддержка K&R, ARM и PowerPC
  • Совместимость с coq v8.5pl2

Релиз 16.04

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