ada-runtime
ada-runtime copied to clipboard
Componolit
With the update to GNAT 12 I noticed that there are more and more files that change in newer GNAT versions. With the latest version the pragma `Compiler_Unit_Warning` is no...
The runtime is not yet compatible to FSF GNAT 12. ```console make SRC_COMMON="a-except.adb a-unccon.ads ada.ads a-tags.ads a-tags.adb a-numeri.ads a-nubinu.ads a-nbnbin.adb i-c.adb i-cexten.ads interfac.ads componolit.ads componolit-runtime.ads componolit-runtime-strings.adb componolit-runtime-debug.adb componolit-runtime-platform.adb componolit-runtime-exceptions.ads componolit-runtime-conversions.adb...
When this runtime is used, the whole project is rebuilt every time. That is at least the case for RecordFlux. With the original runtime only changed files are rebuilt.
Potentially relevant: Support for `Ada.Numerics.Big_Numbers.Big_Integers` (#68) for overflow elimination in contracts (cf. [T416-051])
Implement allocator to enable use of `new`. On Linux, `__gnat_malloc` is implemented using `malloc()`. On Genode, `env` is passed to the runtime using a platform-specific interface (called by Genode-specific C++...
While working on issue #47 I noticed that some properties are harder to prove than expected and are not feasible to prove in the time given. The missing parts are:...