6 Commits

Author	SHA1	Message	Date
Johannes Kliemann	1bdd18a196	ada-runtime: update to 1.1	2019-08-21 13:25:25 +02:00
Johannes Kliemann	35b1440c97	ada-runtime: update to GCC 8.3.0 ... ref #3362 fixes #3371	2019-05-27 14:52:53 +02:00
Christian Prochaska	b4649d84ee	ada-runtime: adjustments for Genode tool chain 19.05 ... Issue #3307	2019-05-27 14:52:52 +02:00
Christian Helmuth	9948a77558	spark: provide rcheck symbols in ABI	2019-04-09 12:30:35 +02:00
Alexander Senier	f30a82d599	ada: provide runtime symbols for elaboration code	2019-02-28 11:32:53 +01:00
Alexander Senier	5ccae43552	Rename Ada runtime to SPARK runtime ... The minimal-footprint Ada runtime for implementing library-like functionality in SPARK is now called "spark" runtime. The full Ada runtime for entire components written in Ada and using the libc as glue to the underlying system will move to the world repository as "ada" runtime. Issue #3144	2019-02-19 11:08:17 +01:00