4.0.0-beta: Nearing 4.0.0

[ChristopherRabotin]

New features / improvements

• MJD/JDE UTC fix + to_time_scale now available in Python by @ChristopherRabotin in MJD/JDE UTC fix + to_time_scale now available in Python #332
• Add Python datetime interop by @ChristopherRabotin in Add Python datetime interop #333
• Add autogenerated Kani harnesses by @cvick32 in Add autogenerated Kani harnesses #316
• Introduce doc_cfg and mark ut1 within ut1 crate feature by @gwbres in Introduce doc_cfg and mark ut1 within ut1 crate feature #321
• Kani autogen follow on by @ChristopherRabotin in Kani autogen follow on #318

Bug fixes

• Rename EpochError to HifitimeError and add exception testing by @ChristopherRabotin in Rename EpochError to HifitimeError and add exception testing #315
• Prevent rounding of the GNSS from nanoseconds initializers by @ChristopherRabotin in Prevent rounding of the GNSS from nanoseconds initializers #319
• Fix ceil with zero duration by @cardigan1008 in Fix ceil with zero duration #323
• Fix token exceed in from_str() by @cardigan1008 in Fix token exceed in from_str() #324

Maintenance

• Update pyo3 requirement from 0.21.1 to 0.22.0 by @dependabot in Update pyo3 requirement from 0.21.1 to 0.22.0 #312
• Update tabled requirement from 0.15.0 to 0.16.0 by @dependabot in Update tabled requirement from 0.15.0 to 0.16.0 #325
• Update lexical-core requirement from 0.8.5 to 1.0.1 by @dependabot in Update lexical-core requirement from 0.8.5 to 1.0.1 #330

New Contributors

• @cvick32 made their first contribution in Add autogenerated Kani harnesses #316

Full Changelog: 4.0.0-alpha...4.0.0-beta

---

This discussion was created from the release 4.0.0-beta: Nearing 4.0.0.