• Yannick Moy's avatar
    Layer2_MMS_SW_SPARK: fix use of standard dimensioned types · c611f718
    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 Loading commit data...
Layer1_EPS Loading commit data...
Layer1_HBS Loading commit data...
Layer1_MMS Loading commit data...
Layer2_MMS_SW_SPARK Loading commit data...
Layer2_MMS_SW_Scade Loading commit data...