SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
GNU General Public License v3.0
249
stars
33
forks
source link
IPstack/AIP epoch. Year 2038 problem #47
Open
kevlar700 opened 12 months ago
The support files aip-time_types.ads mention an unspecified epoch.
This will likely be Jan 1st 1970, however that is susceptible to overflow in 2038. A user could use a more recent epoch to buy e.g. 50 years.
The best way to fix it would be for the type Time to be mod 2 ** 64.
Would a PR be welcome? It would likely require users to update their support files.