-
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 | ||
BaselineDevelopmentAssurance | ||
SafetyAssurance | ||
UseCaseDevelopment | ||
.gitignore | ||
README.md |