Théo Degioanni

Results 51 comments of Théo Degioanni

Oh, I see! That's unfortunate. In that case, if you don't feel like making it a compile-time option, I can just tweak the script for it to work the way...

A good solution to native file browsing dialogs is necessary. However, to solve your immediate problem, have you tried polling the future manually in a system? It does not look...

If you can reproduce the bug with rodio alone, consider reporting it upstream at rodio's issue tracker. Otherwise, there is something to investigate in bevy_audio. I made an example of...

For reference, MLIR kept the non-opaque pointer functionality so it is easier to transition out. Commit `4983432f17eb4b445e161c5f8278c6ea4d5d1241` has since removed it.

@fabianschuiki How do you want to go about this? The verifier is not allowed to check beyond its own operation. The only way would be to embed the model structure...

So it is a bit silly but I genuinely do not believe verifiers are allowed to look at anything other than the local operation. We had an extensive conversation about...

Ah yes! I forgot about region verification. In that case yes, I'll set up the symbol-based thing.

So there is a problem with the symbol approach: if the validity of ports is enforced at all times, this means simulation logic cannot point to high level things that...

@fabianschuiki ``` Benchmark run successful! ---------------------------------------- 412348 cycles total vtor: 63630.1 Hz arcs: 477011 Hz ```

I think it would be nice if `OperationRef` had more documentation on what the lifetimes model. I work with MLIR in C++ a lot yet I am not super sure...