Christof Leutenegger
Christof Leutenegger
Same thing as #542. Should also work for `Staypoints`, `TripsGeoDataFrame` and `Locations`
same thing as #542 but now for the `temporal_tracking_quality` function. Here `locations`, `trips` and `tours` are missing the method. `TrackintelBase` could implement this method, with `Positionfixes` overriding it and throwing...
Currently `Triplegs`, `Staypoints`, `Locations` have the `spatial_filter` method. But this should also be enabled on `Positionfixes` and `TripsGeoDataFrame`. As there are no further requirements on the GeoDataFrames we can easily...
Through inheritance, we could simplify some function calls by including them in the TrackintelBase class whenever it makes sense and is applicable.
The Trackintel model has two types of columns that it accesses. The required ones, without which you can't create a Trackintel object, and the optional ones mentioned in the documentation....
part of #172 Add `panic` as intrinsic and `assert` as Terminator. For now just added strings `"exited"` or `"panicked"` to `MachineStop` to differentiate between the two.
Currently the following code cannot be translated ```rust fn main() { let _ = Box::new(42); } ``` Currently we can reach **3** different error states (due to nondeterminism in translation)...
Currently we cannot translate the following code: ```rust fn main() { ub_checks!(false); let _ = std::mem::size_of::(); let _ = std::mem::align_of::(); let _ = std::mem::offset_of!(F, field); } ``` This is due...
There is probably simpler code to create an `Aggregate(Ptr(Raw))` but here is how I ended up with one: ```rust #![feature(strict_provenance)] fn main() { let x_ptr = &0 as *const i32;...
For the following code, ```rust fn main() { let b = &mut 42 as *mut i32; let _ = b as *const i32; } ``` We get the following error...