Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-20 02:53:15 +08:00
Code Issues Actions 28 Packages Projects Releases Wiki Activity

Add latest leap seconds

Browse Source
This commit is contained in:
Felix Ruess
2017-01-02 11:22:10 +01:00
committed by GitHub
parent 558cb68f91
commit f7eb7dc3e8
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/latlong.ml
+3 -3
View File
@@ -483,12 +483,12 @@ let bearing = fun geo1 geo2 ->
let leap_seconds = 16
(** leap seconds in GPS time.
* There have been 16 leap seconds so far, with the last one at
* June 30, 2012 at 23:59:60 UTC which equals 1025136015 in GPS seconds
* There have been 18 leap seconds so far, with the last one at
* Dec 31, 2016 at 23:59:60 UTC which equals 1167264017 in GPS seconds
* http://www.leapsecond.com/java/gpsclock.htm
* http://www.andrews.edu/~tzs/timeconv/timealgorithm.html
*)
let leap_seconds_list = [46828800.; 78364801.; 109900802.; 173059203.; 252028804.; 315187205.; 346723206.; 393984007.; 425520008.; 457056009.; 504489610.; 551750411.; 599184012.; 820108813.; 914803214.; 1025136015.]
let leap_seconds_list = [46828800.; 78364801.; 109900802.; 173059203.; 252028804.; 315187205.; 346723206.; 393984007.; 425520008.; 457056009.; 504489610.; 551750411.; 599184012.; 820108813.; 914803214.; 1025136015.; 1119744016.; 1167264017.]
(** Count number of leap seconds when converting gps to unix time *)
let gps_count_leaps = fun gps_time ->