Arnaud Golfouse

Hi, I have a solution to this, that from ```rust #[repr("C")] pub struct S { x: T, } #[no_mangle] pub extern "C" fn gives() -> *mut S { loop {}...

Well i put some more thought into it, and I think there are 2 issues with this 1. The original example would compile to ```cpp template struct S { T...

I think you are right that the Rust API in "dijkstra-map" should not count toward backward compatibility, especially since it has it's own version in the `Cargo.toml` file (0.1.0 at...

Hi, thank you for using our project ! :smile: If I understand correctly, I think it should be already possible to solve this in user code : using the same...

The behaviour is the same in the web app

Some tests had their source (`.rs`) changed: - `iterators/02_iter_mut`: - in `completed`: `self.resolve()` becomes `(*self).inner@ == (^self).inner@` - in `produces`, rather than comparing the two sequences directly, we need to...

This should be good to go

I think this was resolved ? I cannot reproduce it on the latest creusot version.

Here is a list of the tests that now fail: - should_succeed/bdd.mlcfg - should_succeed/heapsort_generic.mlcfg - should_succeed/hillel.mlcfg - should_succeed/iterators/02_iter_mut.mlcfg - should_succeed/iterators/03_std_iterators.mlcfg - should_succeed/iterators/04_skip.mlcfg - should_succeed/iterators/05_map.mlcfg - should_succeed/iterators/06_map_precond.mlcfg - should_succeed/iterators/12_zip.mlcfg - should_succeed/iterators/13_cloned.mlcfg...

Would that `addr` field be inherited on reborrows (so `TermKind::Reborrow { cur, fin }` would become `TermKind::Reborrow { cur, fin, addr }`) ?