web analytics
Newspapers

 
Categories: Compiler

PTC ObjectAda Version 10.4

PTC announced the release of version 10.4 of the following popular PTC® ObjectAda development environment products for native application development on Windows and Linux using the Ada programming language:

  • PTC ObjectAda for Windows
  • PTC ObjectAda64 for Windows
  • PTC ObjectAda for Linux
  • PTC ObjectAda64 for Linux

It is a native commercial Ada compiler providing an upgraded Ada 2012 support, enhanced Windows 11 support, and runtime library compatibility.

Categories: Compiler

PTC ObjectAda Version 10.3 for Linux/Intel

PTC announced the release of version 10.3 of its PTC ObjectAda® for Linux and PTC ObjectAda64 for Linux Ada compiler products.

Building upon the Ada 2012 and 64- bit code generation introduced by the previous version, this new product release provides upgraded Ada 2012 language support compliant with the Ada Conformity Assessment Test Suite (ACATS) version 4.1V and includes complete support for Annex G “Numerics”.

Read the PTC product release brief

Categories: Framework

Muen microkernel 0.7 released

The Muen Separation Kernel is the world’s first Open Source microkernel that has been formally proven to contain no runtime errors at the source code level. It is developed in Switzerland by the Institute for Internet Technologies and Applications (ITA) at the University of Applied Sciences Rapperswil (HSR).

The following major features and improvements have been implemented :

  • Support for Genode VM subjects
  • Subject time mechanism
  • Hardware and platform policy abstractions
  • Linux virtual filesystem and network interface drivers

EEC GDPR compliant