2022-10-01
HAC (HAC Ada Compiler) is a quick, small, open-source Ada compiler, covering a subset of the Ada language.
HAC is itself fully programmed in Ada.
Author : Gautier de Montmolin
Read More…2022-05-27
GNAT (FSF) ~ GCC 12.1.0
Compilers included: Ada, C, C++.
Available on
Simon’s GitHub, and soon through ALIRE
Unlike previous GCC packages for macOS,
this package installs at a fixed location:
/opt/gcc-12.0.1-aarch64
Read More…Tags: MacOS,GCC
2022-05-11
GNAT (FSF) ~ GCC 12.1.0, X86_64 build.
Compilers included: Ada, C, C++.
Available on
Simon’s GitHub, and soon through ALIRE
Also runs on macOS versions up to at least Monterey (12, Darwin 21)
Read More…Tags: GCC,MacOS
2022-04-01
GNAT (FSF) ~ GCC 12.0.1
Compilers included: Ada, C, C++.
Available on
Simon’s GitHub, and soon through ALIRE
Unlike previous GCC packages for macOS,
this package installs at a fixed location:
/opt/gcc-12.0.1-aarch64
Read More…Tags: GCC,MacOS
2022-03-12
GNAT (FSF) ~ GCC 12.0.1 of 20220311
Compilers included: Ada, C, C++.
Available on
Simon’s GitHub, and soon through ALIRE
Read More…Tags: GCC,MacOS
2022-02-19
GNAT (FSF) ~ GCC 12.0.1 of 20220128 (only Ada, C, C++, built on Mac OS-X El Capitan, runs up to macOS 12 Monterey).
Compilers included: Ada, C, C++.
Available on Simon’s
GitHubSPARK2014 built against it (provers CVC4, Z3, Alt-Ergo; CVC4 requires Sierra and upwards).
Available on Simon’s
GitHub.
Needs GCC 12.0.1 installed.
Read More…Tags: SPARK2014,GCC,MacOS
2022-01-22
HAC (HAC Ada Compiler) is a small, quick, open-source Ada compiler, covering a subset of the Ada language.
HAC is itself fully programmed in Ada.
Main improvements since v.0.095:
- range checks on discrete subtype assignment (:=) and conversion
- short-circuit logical operators: "and then", "or else"
- for S = Scalar subtype: S'First, S'Last, S'Succ, S'Pred, S'Pos, S'Val, S'Image, S'Value, S'Range attributes
- for A = array object or array subtype: A'First [(N)], A'Last [(N)], A'Range [(N)], A'Length [(N)] attributes
- "&", "<", ">", "=", "/=" operators defined for the String type (additionally to HAL.VString type)
- CASE choices admit ranges
- forward declarations for subprograms
Read More…2021-10-25
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
Read More…Tags: Linux,Sources Editor
2021-08-24
PTC announced the release of version 10.3 of ObjectAda for Windows and PTC ObjectAda64 for Windows Ada compiler products.
This new release provides upgraded Ada 2012 language support compliant with the Ada Conformity Assessment Test Suite (ACATS) version 4.1V and including complete support for Annex G “Numerics”.
ObjectAda for Windows and ObjectAda64 for Windows support development of native Windows 32-bit or 64-bit applications using the Microsoft Visual Studio 2017 / 2019 development tools and libraries from the Windows 10 Software Development Kit (SDK).
Read the PTC product release brief Read More…Tags: Sources Editor,Windows
2017-02-08
Now the entire FreeBSD Ports Ada framework is available on this soon-to-be-tier-1 platform. The existing gcc6-aux port (http://www.freshports.org/lang/gcc6-aux) was expanded to support aarch64.
From John R. Marino
Read More…Tags: ARM,FreeBSD
2016-07-11
This is GCC 6.1.0 built for Mac OS X El Capitan (10.11.4, Darwin 15.4.0), with the Command Line Tools for Xcode 7.
Compilers included: Ada, C, C++, Objective C, Objective C++, Fortran.
gcc-6.1.0-x86_64-apple-darwin15-2016-bin.tar.bz2
at
https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/6.1.0/native-2016/From Simon Wright
Read More…Tags: OSX,MacOS
2016-06-06
- This is GNAT GPL 2016, rebuilt as a cross-compiler from Mac OS X to arm-eabi.
- The CPUs supported include cortex-m3, cortex-m4, cortex-r4.
Read More…Tags: GCC,ARM,Arduino,Cortex,OSX
2016-06-05
This is GCC 6.1.0, rebuilt as a cross-compiler from Mac OS X to arm-eabi specifically,
- the Cortex-M3 as found on the Arduino Due
- the Cortex-M4 as found on the STMicroelectronics[2] STM32F4 Discovery and STM32F429I Discovery boards.
The compiler comes with no Ada Runtime System (RTS). See the
Cortex GNAT Run Time Systems project for candidates.
From Simon Wright
Read More…Tags: GCC,ARM,Arduino,Cortex,OSX,MacOS
2016-05-22
This release includes GNAT Ada Run Time Systems (RTSs) based on FreeRTOS (http://www.freertos.org) and targeted at boards with Cortex-M3, -M4, -M4F MCUs (
Arduino Due, the STM32F4-series evaluation boards from
STMicroelectronics.
In this release,
- There is no longer any dependence on the STMicroelectronics' STM32Cube package.
- The support for on-chip peripherals is limited to the SVD2Ada-generated spec files. The AdaCore 'bareboard' software (currently https://github.com/AdaCore/bareboard, but a name change is under consideration) supports the STM32 line.
- Tasking no longer requires an explicit start (https://sourceforge.net/p/cortex-gnat-rts/tickets/5/).
- Locking in interrupt-handling protected objects no longer inhibits all interrupts, only those of equal or lower priority (https://sourceforge.net/p/cortex-gnat-rts/tickets/18/).
https://sourceforge.net/projects/cortex-gnat-rts/files/20160522/From Simon Wright
Read More…Tags: RTS, GNAT
2016-01-26
- This is GCC 5.2.1 for arm-eabi from GCC ARM Launchpad, tested on
- the Cortex-M3 as found on the Arduino Due and the Cortex-M4 as
- found on the STMicroelectronics STM32F4 Discovery and STM32F429I
- Discovery boards.
- Downloads on SourceForge, prepared by Simon Wright
Read More…Tags: GCC,ARM,Arduino,Cortex,OSX
