2021-10-25 Filed in:
CompilerPTC 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
Read More…Tags: Linux,Sources Editor
2016-02-22 Filed in:
FrameworkThe
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
Read More…Tags: Linux,SPARK
