Ссылки ведут на полные списки заметок на английском.
айТи, СтекАналайзер, ТаймингПрофайлер
Релиз 24.10
- Ускоренный анализ кэша и конвейера
- Улучшенный поиск по текстовым файлам и графам потока контроля
- Упрощённая работа с группами анализов
- Улучшенная поддержка Rust
- Анализ стека и времени выполнения для AURIX’а 212 и 222
- Шесть дополнительных Пакетов Поддержки Квалификации
Релиз 24.04
- Поддержка отладочной информации DWARF для Rust
- Улучшенная поддержка ORTI
- Визуализация зависимостей между анализами
- Анализ стека и времени выполнения для AURIX 4x
Релиз 21.10
- Поддержка TargetLink 5.1
- Анализ стека для MIPS32
- Дополнительные и улучшенные Пакеты Поддержки Квалификации
Релиз 21.04
- Анализ времени выполнения для MCF5307
- Анализ стека для Nios II
- Последний релиз, поддерживающий Виндоус 7
КомпСерт
Релиз 22.04
- Formally verified handling of bitfields in structs and unions
- Expanded built-in functions
- Support for producing Csyntax abstract syntax instead of Clight abstract syntax
Релиз 20.10
- New built-in functions
- Improved diagnostics
- Support for C11
_Static_assert
Релиз 20.04
- Поддержка AArch64
- Улучшенная поддержка отладочной информации DWARF
Релиз 19.10
- If-conversion optimization
- Improved built-in functions
- New diagnostics