From: jordanleemauro@gmail.com
Subject: GNAT GPL Edition for 8Bit AVR microcontrollers
Date: Tue, 6 Sep 2016 14:30:48 -0700 (PDT)
Date: 2016-09-06T14:30:48-07:00 [thread overview]
Message-ID: <a2f8f6ee-6a90-466b-81ed-3f9fda70332a@googlegroups.com> (raw)
Hi All,
I am currently working on a Project that involves programming a device (using ATmega328P) using the Ada programming language as well as SPARK Tools or Ravenscar profiles if possible to verify and validate the software.
Here is my question:
What version of GNAT must be used for full compatibility of AVR, what other tools are required for a smooth Achievement?
Thanks
next reply other threads:[~2016-09-06 21:30 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-09-06 21:30 jordanleemauro [this message]
2016-09-07 10:00 ` GNAT GPL Edition for 8Bit AVR microcontrollers fabien.chouteau
2016-09-07 11:04 ` Simon Wright
2016-09-07 10:28 ` rrr.eee.27
2016-09-07 16:51 ` Tero Koskinen
2016-09-09 20:14 ` jordanleemauro
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox