Chris

Investigate return case of de440s_transform_verif_venus2emb

1

# Bug report _Bug reports will lead to a stakeholder need report, and will need to be linked to this issue_ ## Describe the bug The lower half of `de440s_transform_verif_venus2emb`...

# Bug report ## Describe the bug In the `de440s_translation_verif_aberrations` test, it's clear that the velocity computation has a difference on the other of a few millimeters per second compared...

Trajectory structure and event finding

1

# High level description ## New feature I've put a substantial amount of work into the [`Trajectory`](https://rustdoc.nyxspace.com/nyx_space/md/trajectory/struct.Traj.html) type in [Nyx](https://github.com/nyx-space/nyx). Quite frankly, it's _extremely_ useful, and it should be ported...

Local solar time computations

3

# High level description **Note: only the high level description needs to be filled out to report an issue or to request a new feature.** ## New feature _If this...

# High level description **Note: only the high level description needs to be filled out to report an issue or to request a new feature.** Prior to calling `hermite_eval`, the...

Formal verification / property testing

2

1. What should be formally verified? 2. How should it be verified? References: + https://github.com/project-oak/rust-verification-tools + https://github.com/AltSysrq/proptest + https://github.com/BurntSushi/quickcheck/ (and differences between quickcheck and proptest [here](https://github.com/AltSysrq/proptest/blob/master/proptest/README.md#differences-between-quickcheck-and-proptest))

[Documentation](https://naif.jpl.nasa.gov/pub/naif/toolkit_docs/C/req/spk.html#Type%2018:%20ESOC/DDID%20Hermite/Lagrange%20Interpolation) _Note:_ this should already be supported with the data structure. It's important to confirm that this format is supported prior to to version 1.0. # Purpose Be able to...

Testing hifitime v4 core

1

### Effects This branch is to continuously test hifitime v4 before it's published in alpha.

Switch to Mozilla Public License

1

After careful consideration, starting with version 4.0.0, Hifitime will be licensed in the Mozilla Public License (MPL) -- cf. the [Mozilla Public License FAQ](https://www.mozilla.org/en-US/MPL/2.0/FAQ/) and [Github's _choose a license_](https://choosealicense.com/licenses/mpl-2.0/). This...

IDEs don't know what's in the Python module. This can be solved by writing `pyi` files. The goal of this task is to essentially repeat what Dora did here: https://github.com/dora-rs/dora/pull/493...