Théo Degioanni

I used latest High Sierra. Come to think of it, I believe we may have fixed without wanting it building for all platforms, either MacOSX or iPhoneOS, considering we're requesting...

This code is fairly old, but I do remember dropping iPhoneSimulator because it was causing issues somewhere, but I don't remember where exactly. Also, what is erroneous with the sysroot...

As an update: I have managed to make this work on my fork of melior that uses LLVM 19. I assume there is no interest in LLVM 19-only features for...

Yes, basically it's just a matter of exposing [mlirLoadIRDLDialects](https://mlir.llvm.org/doxygen/mlir-c_2Dialect_2IRDL_8h.html#a6e95db2a616a1e4b8589911114d302ee), which takes a ModuleOp and loads any IRDL dialect defined in it.

I am currently writing a library that uses dumpster and that must be licensed as Apache 2.0 with LLVM exceptions (as it is compiler technology), and I did not notice...

This is much appreciated! Thank you. Don't forget you need approval from previous code contributors if you change the licensing terms. I believe this would only be @anna-hope and @MWPuppire...

I also adjusted the verifier for the replicate op so it is more consistent with the mathematical definition of a multiple.

@maerhart @fabianschuiki I have also documented it so people can come and remove the constraint if they can provide a situation where they need it.

I like the idea of that Moxinilian guy. I think you can do all this by just adding one pattern in the Arc to LLVM conversion. The assertion will end...

> The tricky thing is that assertions interact with a clock: `verif.assert` is very likely to have an operand defined by `ltl.clock`, which limits the checking of the condition to...