Improved path replacements
Improved Results Viewer
MPC55xx: support for TLB
a³ for C16x now supports CX167CI-32F40F.
Prior to installation or deinstallation, the installer now detects running processes of the tool in question and asks the user to close them so as to avoid problems.
qualifyguito show the percentage of finished test cases.
qk_apx_delay_all_mastersas this option has been removed.
qk_apx_assume_data_accessesas this option does not exist in the GUI for the H8.
Extended the specification to allow more a³ specific options to be passed over.
restrict (a, b, ...)now leads to an error if the intersection is empty
range (a, b)and
a..bnow leads to an error if the range is empty
E with x % a == bnow leads to an error if the result is empty
switch (...)now leads to an error if no switch case matches
default-unrollto be larger than
max-unrollin the mapping specification.
calls viaannotation introduces an external routine, as the target is not contained in the executable, a corresponding message is issued that includes references to the problematic annotations.
exec2crland value analysis cooperation).
Instead of calculating with only one interval of values the user can specify to use a set of intervals for each register/memory cell. To use more than one interval per register/memory cell the option “Analyses” → “Advanced” → “Size limit for interval sets” has to be increased to more than 1. Alternatively, the user can add an annotation of the form:
routine "foo" features "size_limit_for_interval_sets" = N
This increases the number of intervals per register/memory cell in the specified routine to N independently of the global setting.
eieiobehavior instead of the documented one.
eieiobehavior instead of documented one.