Johannes Hayeß

Generally the idea is that the Flatpak package is added to an online repository. The most popular one is https://flathub.org. I have little prior experience with the technology, but if...

I'm trying to get it to compile with Creusot first. This is a side project of mine which I want to use to gauge Creusot's ability to integrate with an...

This appears to have fixed things for me. I can't reproduce the errors described in #616 any more.

I see, I thought the most recent changes included those fixes. Seems like these problems are a bit harder to reproduce than I thought. Sorry for the misunderstanding.

Another caveat, if a reactor is initialised in another, and 1. The contained reactor is used via childref 2. The width of the bank used via childref is initialised via...

It could definitely be related, but it's hard to tell. I could reproduce the failure locally. Running the test 100 times, I got 2 failures. However, they are different: ```...

The best thing we can do right now to prevent this error from happening when running CI is to hard code the number of workers as 1.

I just ran this with the latest changes 1000 times and succeeded every time. I think it's safe to assume that the issue is gone.

Note for me: it seems like at least one of the unstable features that were used were custom profiles. These were [stabilised in v1.57](https://github.com/rust-lang/rust/blob/1.57.0/RELEASES.md#cargo).

We use the `--out-dir` option on Cargo, which is still unstable: https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#out-dir This could be implemented manually if we really wanted to. From what I can tell this is the...