Release 26.04 aiT, TimeWeaver, TimingProfiler, StackAnalyzer, ValueAnalyzer, EnergyAnalyzer

a³ 26.04 release notes

An HTML version of these notes is available at
absint.com/releasenotes/a3/26.04

A video summary is available at
youtube.com/watch?v=rQmJIzzgohE


New targets

* TimeWeaver is now available for RISC-V.

* aiT for TriCore now supports AURIX TC48x.

* All tools for ARM and x86 now support the AdaCore GNAT Pro compiler
  for C, C++, and Ada.
  
* All tools for AURIX now support the formally verified CompCert compiler.


zlib-ng integration

zlib-compressed input files are now read much faster.


Documentation

Improved description of the handling of denormalized floating point values
for ARM and V850.


GUI improvements

* When searching graphs for addresses of memory reads/writes,
  precise hits are now ranked higher.

* Improved display of additional information in Diff Viewer.

* Minor visual tweaks to the Windows installer.


Annotations

* New functors:

  exists()
  
    Checks for existence of symbols, instructions, routines and loops.
    Can be used to guard the application of specific annotations, 
    as an alternative to the "try" directive.
    Example:

      if (exists(symbol("CPUZ6"))) {
          area "MODE" contains data: 4;
      }

    The above will annotate the memory contents of the variable MODE 
    if a symbol by the name of CPUZ6 exists.
    
  cast()
  
    Casts addresses to a specific type.
    Example:

      area (cast("Record", 0x400)."IntComp") contains data: 4;

    The above will tell the decoder
    to treat the object at address 0x400 as being of type "Record"
    and to annotate the memory contents of the structure field IntComp.

* Improved resolving of complex area definitions.

* Improved handling of assertion annotations.

* Improved evaluation of expressions.


Decoding

* Improved handling of additional HEX files.

* Improved resolving of virtual-function calls
  for classes with multiple inheritance.


DWARF

* Improved demangling of EDG template names.

* Improved export of type information.
  All available typedefs found are exported now.

* Improved handling of global type information
  and of duplicate routine symbols.

* Improved extraction of type information and of data structures 
  with many member variables or functions.


TimingProfiler pipeline analysis

* Write accesses to cached memory no longer burst-write a single cache line,
  but are performed as single write-throughs.
  
* Improved handling of imprecise accesses
  to cached and uncached memory regions.

  
Value analysis

* Improved handling of infeasibility annotations.

* Improved precision of the type domain.

* Improved feasibility check for virtual function calls.


ARM

* Improved automatic switch table decoding for THUMB.

* Improved pipeline analysis for Cortex-R
  by optimizing guard splits in local worst case.
  
* Support for the AdaCore GNAT Pro compiler for C, C++, and Ada.


PowerPC

Support for denormalized floating-point values
by accounting for possible normalization delays
for e300, MPC7448(s), MPC755(s), and PPC750.


RISC-V

Support for the Zicond ISA extension.


TriCore

Support for the formally verified CompCert compiler.


x86

* Support for moves to and from xmm registers (added by SSE).

* Support for the AdaCore GNAT Pro compiler for C, C++, and Ada.


TimeWeaver

* A trace snippet that cannot be mapped to the control-flow graph
  now triggers a warning rather than an info message.

* Improved handling of Lauterbach ASCII trace events.

* Improved timestamp handling for Infineon MCDS DAS/TAB traces.


TraceVisualizer

* Improved extraction of multi-core traces.

* Improved handling of unresolved computed control-flow transitions.


Reporting

Routines that take zero cycles but lie on the WCET path
are now included in the XML report.


Qualification Support Kits

* New QSKs:

  * aiT for TMS320F2812
  * aiT for TC387
  * TimeWeaver for RISC-V

* New compiler-specific QSKs:

  * StackAnalyzer for ARM with GCC 12.1.1
  * StackAnalyzer for ARM AArch64 with GCC 9.4.0
  * StackAnalyzer for C28x with TI 16.9.3.lts
  * aiT for ARM with GHS 2024.1.4 (ARM and THUMB)

* Improved handling of license files that have
  both a generic and a specific derivate of the same architecture enabled.


------------------------------------------------------------------------
Last updated on 28 April 2026 by alex@absint.com. Copyright 2026 AbsInt.
------------------------------------------------------------------------

An HTML version of these release notes is available at
absint.com/releasenotes/a3/26.04

A video summary is available at
youtube.com/watch?v=rQmJIzzgohE