• 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
AlternativeDevelopmentAssurance Loading commit data...
BaselineDevelopmentAssurance Loading commit data...
SafetyAssurance Loading commit data...
UseCaseDevelopment Loading commit data...
.gitignore Loading commit data...
README.md Loading commit data...