-
Yannick Moy authored
Root type System.Dim.Mks is of type Long_Long_Float which is not supported in SPARK, on systems where this is a larger type than the IEEE-754 64bits floats. Redefine a local version of Mks package to use Long_Float as a root type instead.
c611f718
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
Layer0_UAV | ||
Layer1_EPS | ||
Layer1_HBS | ||
Layer1_MMS | ||
Layer2_MMS_SW_SPARK | ||
Layer2_MMS_SW_Scade |