Chris
Chris
By the end of 2026, NASA should have a formal definition of LCT. Hifitime should provide some example reference to support that. > OSTP chief Arati Prabhakar's memo said that...
Reopening https://github.com/nyx-space/hifitime/pull/241
PyO3 provides that support for `chrono`. I don't think that PyO3 would support it for hifitime because that would introduce cyclical dependencies. Hence, the work in https://github.com/PyO3/pyo3/blob/249c0209fd41336b9e68bae14290e598fcad34ea/src/conversions/chrono.rs should be duplicated...
This is really just for fun and I don't imagine anyone ever needing this, but behind an `ultra` feature crate, the `Duration` struct could change the `centuries` from `i16` to...
The first PR for version 4 [adds non-exhaustive](https://github.com/nyx-space/hifitime/pull/228) to the `TimeScale` enum. This gives us plenty of flexibility to add additional time scales, like #191. However, we also currently have...
At the moment, the `serde` of a Duration exposes its internal representation, and is not very convenient for a human to read. In Nyx, I had to resort to adding...
In a previous version of Hifitime 3.x, the Epoch didn't store the time scale in which it was defined. For that reason, all of the epochs were converted to TAI...
There are currently a few spots in the code where we check that the input f64 is finite. If not, the function will panic (on purpose). This is potentially catastrophic...
The `asn1_der` dependency was added for [ANISE](https://github.com/anise-toolkit/anise.rs/). But it isn't quite clear whether this project will need the ASN1 encoding just yet. More importantly, `Duration` and `Epoch` [now both expose](https://docs.rs/hifitime/latest/hifitime/?search=_parts)...
Once https://github.com/model-checking/kani/issues/2049 has been addressed, then I should be able to reenable the TDB reciprocity test in `epoch.rs`. The original issue in Kani has been reported here: https://github.com/model-checking/kani/issues/1342 .