Emmanuel

I am getting: ``` error: [Prusti: invalid specification] use of impure function "std::ops::Div::div" in pure code is not allowed --> src/vec3.rs:43:9 | 43 | self / self.length() | ^^^^^^^^^^^^^^^^^^^^ thread...

It looks like https://github.com/viperproject/prusti-dev/releases/tag/v-2023-08-22-1715 binaries don't have the executable bit set.

To use the toolchain with rustrover I linked cargo to cargo-prusti but it seems the syntax is different. Is there a way to have the same command syntax? ``` ./cargo-prusti...

The ionospheric map delay is implemented as: https://github.com/commaai/laika/blob/a0f0c7938a01ec4401684e45ea773cc66cac7f18/laika/iono.py#L145-L159 where the factor is `40.30E16 / (freq**2) * 10**(self.exp) `, was this tested? Is the constant's exponent correct? See https://iers-conventions.obspm.fr/content/tn36.pdf equations 9.14...

[raw.zip](https://github.com/user-attachments/files/21413752/raw.zip) There is no error, for the NAV it doesn't parse most data, for the OBS it doesn't parse. Adding warnings would be ideal.

Floats using D parse without warning but are broken

8

FORTRAN allows use of the character "D"/"d" instead of "E"/"e" in floats, it looks like the parser doesn't warn the user when this is done in sdf, but it doesn't...

Link to the API in the examples

8

I think APIs should be linked to in the examples in the docs. For example in [Writing a simple publisher and subscriber](https://docs.ros.org/en/jazzy/Tutorials/Beginner-Client-Libraries/Writing-A-Simple-Py-Publisher-And-Subscriber.html#writing-a-simple-publisher-and-subscriber-python) where it says: > The first lines of...

Add a warning to action doc that it cannot be created under ament_python

10

The https://docs.ros.org/en/jazzy/Tutorials/Intermediate/Creating-an-Action.html document should have a warning that only a C++ package can create an action. Messages and services have the same restriction AFAIK, but I haven't check if they...

Opening pvqt.QtInteractor in two windows breaks when one of the windows is closed, as it freezes the second one.

Running ```py import pyvista as pv mesh = pv.Sphere() pl = pv.Plotter() actor = pl.add_mesh(mesh) pl.show() ``` from a qt app breaks other windows that already have a `QtInteractor` (the...