Hifitime

Thanks again to [gwbres](https://github.com/gwbres) for his work in this release!

+ Fix CI of the formal verification and upload artifacts, cf. [179](https://github.com/nyx-space/hifitime/pull/179)
+ Introduce time of week construction and conversion by [gwbres](https://github.com/gwbres), cf.[#180](https://github.com/nyx-space/hifitime/pull/180) and [#188](https://github.com/nyx-space/hifitime/pull/188)
+ Fix minor typo in `src/timeunits.rs` by [gwbres](https://github.com/gwbres), cf. [#189](https://github.com/nyx-space/hifitime/pull/189)
+ Significantly extend formal verification of `Duration` and `Epoch`, and introduce `kani::Arbitrary` to `Duration` and `Epoch` for users to formally verify their use of time, cf. [192](https://github.com/nyx-space/hifitime/pull/192)
+ It is now possible to specify a Leap Seconds file (in IERS format) using the `LeapSecondsFile::from_path` (requires the `std` feature to read the file), cf. [43](https://github.com/nyx-space/hifitime/issues/43).
+ UT1 time scale is now supported! You must build a `Ut1Provider` structure with data from the JPL Earth Orientation Parameters, or just use `Ut1Provider::download_short_from_jpl()` to automatically download the data from NASA JPL.
+ `strptime` and `strftime` equivalents from C89 are now supported, cf. [181](https://github.com/nyx-space/hifitime/issues/181). Please refer to the [documentation](https://docs.rs/hifitime/latest/hifitime/efmt/format/struct.Format.html) for important limitations and how to build a custom formatter.
+ ISO Day of Year and Day In Year are now supported for initialization of an Epoch (provided a time scale and a year), and formatting, cf. [182](https://github.com/nyx-space/hifitime/issues/182).
+ **Python:** the representation of an epoch is now in the time scale it was initialized in



What's Changed
* Fix formal verification by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/179
* timeofweek: introduce time of week construction and conversion by gwbres in https://github.com/nyx-space/hifitime/pull/180
* src/timeunits.rs: fix minor typo by gwbres in https://github.com/nyx-space/hifitime/pull/189
* src/epoch.rs: fix gh 187 by gwbres in https://github.com/nyx-space/hifitime/pull/188
* Extend formal verification by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/192
* Support strftime and strptime equivalent for formatting and parsing by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/190
* Add support for LeapSecondsFile and UT1 by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/194


**Full Changelog**: https://github.com/nyx-space/hifitime/compare/3.7.0...3.8.0

What's Changed
* timescale.rs: derive serdes traits when feasible by gwbres in https://github.com/nyx-space/hifitime/pull/167
* timecale.rs: introduce format/display by gwbres in https://github.com/nyx-space/hifitime/pull/168
* readme: fix BeiDou typo by gwbres in https://github.com/nyx-space/hifitime/pull/169
* epoch: derive Hash by gwbres in https://github.com/nyx-space/hifitime/pull/170
* timescale: identify GNSS timescales from standard 3 letter codes by gwbres in https://github.com/nyx-space/hifitime/pull/171
* timescale: standard formatting is now available by gwbres in https://github.com/nyx-space/hifitime/pull/174
* epoch, duration: improve and fix serdes feature by gwbres in https://github.com/nyx-space/hifitime/pull/175
* epoch, timescale: implement default trait by gwbres in https://github.com/nyx-space/hifitime/pull/176


**Full Changelog**: https://github.com/nyx-space/hifitime/compare/3.6.0...3.7.0

+ Galileo System Time and BeiDou Time are now supported, huge thanks to [gwbres](https://github.com/gwbres) for all that work!
+ Significant speed improvement in the initialization of Epochs from their Gregorian representation, thanks [conradludgate](https://github.com/conradludgate) for [#160](https://github.com/nyx-space/hifitime/pull/160).
+ Epoch and Duration now have a `min` and `max` function which respectively returns a copy of the epoch/duration that is the smallest or the largest between `self` and `other`, cf. [164](https://github.com/nyx-space/hifitime/issues/164).
+ [Python] Duration and Epochs now support the operators `>`, `>=`, `<`, `<=`, `==`, and `!=`. Epoch now supports `init_from_gregorian` with a time scape, like in Rust. Epochs can also be subtracted from one another using the `timedelta` function, cf. [162](https://github.com/nyx-space/hifitime/issues/162).
+ TimeSeries can now be formatted in different time scales, cf. [163](https://github.com/nyx-space/hifitime/issues/163)

What's Changed
* optimise gregorian by conradludgate in https://github.com/nyx-space/hifitime/pull/160
* Remove redundant tests by SUPERCILEX in https://github.com/nyx-space/hifitime/pull/161
* Usability enhancements, especially for Python by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/165
* introducing GNSS timescales by gwbres in https://github.com/nyx-space/hifitime/pull/166

New Contributors
* conradludgate made their first contribution in https://github.com/nyx-space/hifitime/pull/160
* SUPERCILEX made their first contribution in https://github.com/nyx-space/hifitime/pull/161
* gwbres made their first contribution in https://github.com/nyx-space/hifitime/pull/166

**Full Changelog**: https://github.com/nyx-space/hifitime/compare/3.5.0...3.6.0

+ Epoch now store the time scale that they were defined in: this allows durations to be added in their respective time scales. For example, adding 36 hours to 1971-12-31 at noon when the Epoch is initialized in UTC will lead to a different epoch than adding that same duration to an epoch initialized at the same time in TAI (because the first leap second announced by IERS was on 1972-01-01), cf. the `test_add_durations_over_leap_seconds` test.
+ RFC3339 and ISO8601 fully supported for initialization of an Epoch, including the offset, e.g. `Epoch::from_str("1994-11-05T08:15:30-05:00")`, cf. [73](https://github.com/nyx-space/hifitime/issues/73).
+ Python package available on PyPI! To build the Python package, you must first install `maturin` and then build with the `python` feature flag. For example, `maturin develop -F python && python` will build the Python package in debug mode and start a new shell where the package can be imported.
+ Fix bug when printing Duration::MIN (or any duration whose centuries are minimizing the number of centuries).
+ TimeSeries can now be formatted
+ Epoch can now be `ceil`-ed, `floor`-ed, and `round`-ed according to the time scale they were initialized in, cf. [145](https://github.com/nyx-space/hifitime/issues/145).
+ Epoch can now be initialized from Gregorian when specifying the time system: `from_gregorian`, `from_gregorian_hms`, `from_gregorian_at_noon`, `from_gregorian_at_midnight`.
+ Fix bug in Duration when performing operations on durations very close to `Duration::MIN` (i.e. minus thirty-two centuries).
+ Duration parsing now supports multiple units in a string and does not use regular expressions. THis allows it to work with `no-std`.
+ Epoch parsing no longer requires `regex`.
+ Functions are not more idiomatic: all of the `as_*` functions become `to_*` and `in_*` also becomes `to_*`, cf. [155](https://github.com/nyx-space/hifitime/issues/155).

What's Changed
* Usability enhancements and python package by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/144
* Add {ceil, floor, round}_in_timesystem by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/146
* Workflow improvements by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/148
* RFC3339 and Epoch store the initial time scale used by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/149
* Use lexical_core for parsing durations by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/152
* Remove Regex in favor of lexical_core for parsing by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/153
* Fix formatting of Epochs by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/156
* Methods renamed to be idiomatic by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/157


**Full Changelog**: https://github.com/nyx-space/hifitime/compare/3.4.0...3.5.0

What's Changed
* Fix Duration display and allow init from hi/lo values by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/105


**Full Changelog**: https://github.com/nyx-space/hifitime/compare/2.3.1...2.3.2

Enhancement
+ `Errors` now implements `std:err::Error` allowing it to be used as an actual error.