About j_admin

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

a³ Release 18.10

New targets and compilers ------------- ● aiT for ARM now supports Cortex-M0 [...]

a³ Release 18.102018-10-17T00:09:08+00:00

CompCert Release 18.10

New features ------------ ● New versions of the isel/usel builtin functions for [...]

CompCert Release 18.102018-10-17T00:04:13+00:00