cubesatlab / cubedos

A flight software framework in SPARK/Ada
48 stars 5 forks source link

Encoding/Decoding of Time should include fractional part #54

Open pchapin opened 4 months ago

pchapin commented 4 months ago

Currently when a message parameter of type Ada.Real_Time.Time is encoded and decoded, only the SC (seconds count) component as returned by Ada.Real_Time.Split is handled. While this is adequate for our current needs, this is clearly not desirable in the long run. The TS (fractional seconds as a Time_Span) component should also be routinely encoded and decoded.