-
Yannick Moy authored
Some units in types.ads are defined as floating-point types and others as signed integer types. Start using the dimension system in GNAT on floating-point units. Next step is to see if there is a benefit in using floating-point types instead of signed integer types for the input and output types, so that we can use the standard dimension system. Otherwise, we could use a signed integer type with the Dimension_System aspect as the root type for all these signed integer types.
3df4ef5c
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
Layer0_UAV | ||
Layer1_EPS | ||
Layer1_HBS | ||
Layer1_MMS | ||
Layer2_MMS_SW_SPARK | ||
Layer2_MMS_SW_Scade |