Issues · nyx-space/hifitime · GitHub

Labels Milestones New issue

`try_truncated_nanoseconds` returns `Underflow` instead of `Overflow` for positive century overflow

#475

· feliperodri opened

on Apr 23, 2026

Confusion around `J1900_REF_EPOCH` and `J2000_REF_EPOCH`

#435

· AljoschaMeyer opened

on Oct 24, 2025

·

Version 4.3.0: Add time scales

Ut1Provider - JPL servers unstability, lack of caching

#425

· Theodlz opened

on Oct 6, 2025

Leap second is applied at the 59th TAI second instead of 59th UTC second

#417

· szqtc opened

on Aug 13, 2025

·

Version 4.3.0: Add time scales

Optimize the kani formal verification steps

#296

· ChristopherRabotin opened

on Apr 24, 2024

Replace reference epoch constants with TimeScale's

#294

· ChristopherRabotin opened

on Apr 23, 2024

·

Version 4.3.0: Add time scales

Lunar coordinated time

#291

· ChristopherRabotin opened

on Apr 3, 2024

·

Version 4.3.0: Add time scales

Incorrect leap second handling when converting to UTC

#255

· Cognoscan opened

on Aug 22, 2023

Add support for QZSS and IRNSS time scale

#210

· ljbade opened

on Mar 18, 2023

·

Version 4.3.0: Add time scales

Reenable the `formal_epoch_reciprocity_tdb` formal verification test

#193

· ChristopherRabotin opened

on Dec 28, 2022

Integrate UNIX to other timescales?

#191

· gwbres opened

on Dec 8, 2022

·

Version 4.3.0: Add time scales

Increase precision of Duration to cover 10^-29 seconds to 10^28 seconds

breaking-change

#186

· ChristopherRabotin opened

on Dec 3, 2022