About j_admin

This author has not yet filled in any details.
So far j_admin has created 119 blog entries.

KEIL MDK-ARM Version 5.28a

Corrected MDK Nuvoton Edition - Cortex-M0/M23 not recognized as valid product by [...]

KEIL MDK-ARM Version 5.28a2019-06-25T04:25:14+00:00

KEIL MDK-ARM Version 5.28

[uVision updated to V5.28.0.0] µVision now has the ability to set the [...]

KEIL MDK-ARM Version 5.282019-06-25T04:27:24+00:00

KEIL C51 Version 9.60a

[Target debugging \ Device programmer] Updated: Segger JLink IS2083 debug driver to [...]

KEIL C51 Version 9.60a2019-06-25T04:31:39+00:00

KEIL C51 Version 9.60

[CX51 Compiler] Modified: sbit symbol names with more than 40 characters get [...]

KEIL C51 Version 9.602019-06-25T04:31:36+00:00

AbsInt a³ Version 19.04

a³ Release 19.04 ---------------- New targets and compilers ------------------------ ● StackAnalyzer, ValueAnalyzer [...]

AbsInt a³ Version 19.042019-06-25T04:31:30+00:00

AbsInt Astrée and RuleChecker Version 19.04

Astrée and RuleChecker Release 19.04 ----------------------------------- Spectre vulnerability detection ------------------------------ Astrée now [...]

AbsInt Astrée and RuleChecker Version 19.042019-06-25T04:31:27+00:00

AbsInt CompCert Version 19.04

CompCert Release 19.04 ---------------------- New features ------------ ● New command-line option -f(no-)common [...]

AbsInt CompCert Version 19.042019-06-25T04:31:22+00:00

AbsInt Astrée and RuleChecker Version 19.04

Astrée and RuleChecker Release 19.04 ----------------------------------- Spectre vulnerability detection ------------------------------ Astrée now [...]

AbsInt Astrée and RuleChecker Version 19.042019-06-25T04:31:21+00:00

AbsInt a³ Version 19.04

a³ Release 19.04 ---------------- New targets and compilers ------------------------ ● StackAnalyzer, ValueAnalyzer [...]

AbsInt a³ Version 19.042019-06-25T04:31:18+00:00