Skip to content

Implement UTC to TAI offset#25

Merged
matzipan merged 6 commits intomainfrom
implement_leap_seconds
Dec 3, 2023
Merged

Implement UTC to TAI offset#25
matzipan merged 6 commits intomainfrom
implement_leap_seconds

Conversation

@matzipan
Copy link
Copy Markdown
Contributor

@matzipan matzipan commented Nov 22, 2023

  • Implement offset_tai_utc
  • Write docs for API
  • Add more tests

Closes #16

Comment thread crates/lox_core/src/time/leap_seconds/api.rs Outdated
Comment thread crates/lox_core/src/time/leap_seconds/api.rs
@matzipan matzipan force-pushed the implement_leap_seconds branch 2 times, most recently from f6858ff to 33c4e18 Compare November 23, 2023 23:31
Copy link
Copy Markdown
Contributor

@AngusGMorrison AngusGMorrison left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Largely looks good to me, but Helge will know better than me whether all the edge-case leap second insanity has been avoided 😅 I've left some minor comments. If you have any questions, let me know 🙂

Comment thread crates/lox_core/src/time/leap_seconds/api.rs
Comment thread crates/lox_core/src/time/leap_seconds/api.rs Outdated
Comment thread crates/lox_core/src/time/leap_seconds/api.rs Outdated
Comment thread crates/lox_core/src/time/leap_seconds/api.rs
Comment thread crates/lox_core/src/time/leap_seconds/api.rs
Comment thread crates/lox_core/src/time/leap_seconds/api.rs Outdated
Comment thread crates/lox_core/src/time/leap_seconds/api.rs Outdated
let mjd = tai_date_time.0 - MJD_EPOCH + tai_date_time.1;

// Before 1960-01-01
if mjd < 36934.0 {
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

As above.

Comment thread crates/lox_core/src/time/leap_seconds/api.rs Outdated
@matzipan matzipan force-pushed the implement_leap_seconds branch from 33c4e18 to c22185d Compare November 26, 2023 22:19
@matzipan matzipan force-pushed the implement_leap_seconds branch from c22185d to cbb2e80 Compare November 26, 2023 22:22
Comment thread crates/lox_core/src/time/leap_seconds/api.rs Outdated
Comment thread crates/lox_core/src/time/leap_seconds/api.rs Outdated
Comment thread crates/lox_core/src/time/leap_seconds/api.rs
Comment thread crates/lox_core/src/time/leap_seconds/api.rs
Comment thread crates/lox_core/src/time/leap_seconds/api.rs
Comment thread crates/lox_core/src/time/leap_seconds/api.rs Outdated
Comment thread crates/lox_core/src/time/leap_seconds/gen.rs
@matzipan matzipan force-pushed the implement_leap_seconds branch from 4b66f49 to c5f21bc Compare November 30, 2023 22:26
@matzipan matzipan merged commit c7fae84 into main Dec 3, 2023
@matzipan matzipan deleted the implement_leap_seconds branch December 16, 2023 13:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Implement leap second support

3 participants