Loading...
News2019-01-31T16:32:48+00:00

KEIL MDK-ARM Version 5.28

[uVision updated to V5.28.0.0] µVision now has the ability to set the trace clock separately from the core clock, so that trace is captured and processed [...]

May 28th, 2019|KEIL, News|

KEIL C51 Version 9.60

[CX51 Compiler] Modified: sbit symbol names with more than 40 characters get truncated. This limitation has been removed. Example: #define SFR_P2 0xA0 sbit tested_very_long_compiler_symbol_name_group_a_section_b = SFR_P2^1; [...]

May 13th, 2019|KEIL, News|

AbsInt a³ Version 19.04

a³ Release 19.04 ---------------- New targets and compilers ------------------------ ● StackAnalyzer, ValueAnalyzer and TimingProfiler now available for dsPIC33E. ● StackAnalyzer, ValueAnalyzer and TimingProfiler now available for [...]

April 18th, 2019|AbsInt, News|

AbsInt Astrée and RuleChecker Version 19.04

Astrée and RuleChecker Release 19.04 ----------------------------------- Spectre vulnerability detection ------------------------------ Astrée now detects and reports Spectre v1, Spectre v1.1, and SplitSpectre vulnerabilities. The detection is disabled [...]

April 18th, 2019|AbsInt, News|

AbsInt CompCert Version 19.04

CompCert Release 19.04 ---------------------- New features ------------ ● New command-line option -f(no-)common that controls the placement of global variables defined without an initializer, known as tentative [...]

April 18th, 2019|AbsInt, News|